[14383 ms] ["!store-triple \"#guessed language is german\" -> if then -> #say \"Sorry, I don't speak German\"", "!store-triple {a and b} is true -> if X then Y -> {a is true} and {b is true}", "!store-triple {a is true} and {b is true} -> if X then Y -> {a and b} is true", "\"!eval flexMatchIC(/\"if * then * endif/\", loadSnippet(#1011999))\"", "\"!eval getFlexMatchIC(/\"if * then * endif/\", loadSnippet(#1011999))\"", "[[\nIf   swic(trimFirstLine(#input), \"If \")\nand  swic(trimLastLine(#input), \"then \")\nthen (#input is multiline-if-then)\n]] -> is -> the multiline-if-then-rule", "[[\nIf   swic(trimFirstLine(#input), \"If \")\nand  swic(trimLastLine(#input), \"then \")\nthen (#input is multiline-if-then)\n]] is the multiline-if-then-rule", "[[If  (swic(trimFirstLine(#input), \"If \")\nand  (swic(trimLastLine(#input), \"then \")\nthen (#input is multiline-if-then)]] -> is -> the multiline-if-then-rule", "[[If  (swic(trimFirstLine(#input), \"If \")\nand  (swic(trimLastLine(#input), \"then \")\nthen (#input is multiline-if-then)]] is the multiline-if-then-rule", "[if, \"what is 2+2\", then, \"4. duh\"]", "an if-then pattern", "an if-then pattern -> is -> a pattern", "an if-then pattern is a pattern", "if  (Unix is the best operating system)\nthen (Unix", "if  (Unix is the best operating system)\nthen (Unix is an operating system)", "if (Unix -> is -> the best operating system) then (Unix", "if (Unix -> is -> the best operating system) then (Unix is an operating system)", "if * then * endif", "if * then * endif\" flexMatchI\"", "if * then * endif\" is an if patter\"", "if * then * endif\" with flexMatchI\"", "if * then * endif\" with flexMatchIC is an if patter\"", "if * then * endif/\" flexMatchI/\"", "if * then * endif/\" with flexMatchI/\"", "if then", "if X then Y", "if {$X is too big} then {$X does not fit", "if {$X is too big} then {$X does not fit in $Y}", "if {(Unix is the best operating system)\nthen (Unix is an operating system)}", "if {(Unix is the best operating system)\nthen (Unix}", "if {* then * endif\" with flexMatchI\"}", "if {* then * endif}", "if {X then Y}", "if {{$X is too big} then {$X does not fit in $Y}}", "if-then pattern", "the multiline-if-then-rule"]