The lion chases the squirrel. The lion eats the squirrel. The lion is red. The lion is round. The lion likes the squirrel. The mouse chases the lion. The mouse chases the squirrel. The mouse is green. The mouse likes the lion. The mouse likes the squirrel. The squirrel chases the mouse. The squirrel eats the lion. The squirrel is green. The squirrel is round. The squirrel is young. The squirrel likes the lion. If someone eats the squirrel and the squirrel chases the mouse then the squirrel eats the lion. If someone likes the mouse then they like the lion. If someone likes the lion then they like the mouse. If someone likes the mouse and they like the lion then they chase the lion. If someone eats the lion then they like the mouse. If someone likes the mouse and the mouse eats the lion then the lion eats the mouse. If someone is blue then they eat the squirrel. If someone chases the mouse then they are blue.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If someone eats the squirrel and the squirrel chases the mouse then the squirrel eats the lion.
((("someone" "eats" "squirrel" "+") ("squirrel" "chases" "mouse" "+")) -> ("squirrel" "eats" "lion" "+"))
If someone likes the mouse then they like the lion.
((("someone" "likes" "mouse" "+")) -> ("someone" "likes" "lion" "+"))
If someone likes the lion then they like the mouse.
((("someone" "likes" "lion" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the mouse and they like the lion then they chase the lion.
((("someone" "likes" "mouse" "+") ("someone" "likes" "lion" "+")) -> ("someone" "chases" "lion" "+"))
If someone eats the lion then they like the mouse.
((("someone" "eats" "lion" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the mouse and the mouse eats the lion then the lion eats the mouse.
((("someone" "likes" "mouse" "+") ("mouse" "eats" "lion" "+")) -> ("lion" "eats" "mouse" "+"))
If someone is blue then they eat the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone chases the mouse then they are blue.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "blue" "+"))
The squirrel is round.
True
1
proof
[(triple14)]
("squirrel" "is" "round" "+")
triple14
The squirrel is not round.
False
1
inv-proof
[(triple14)]
("squirrel" "is" "round" "-")
triple14
The mouse likes the mouse.
True
2
proof
[(((triple9) -> rule3))]
("mouse" "likes" "mouse" "+")
((triple9) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple9) -> rule3))]
("mouse" "likes" "mouse" "-")
((triple9) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The squirrel eats the squirrel.
True
3
proof
[(((((triple11) -> rule8)) -> rule7))]
("squirrel" "eats" "squirrel" "+")
((((triple11) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel does not chase the lion.
False
4
inv-proof
[(((((triple12) -> rule5) triple16) -> rule4) OR ((((triple16) -> rule3) triple16) -> rule4) OR ((((((triple2 triple11) -> rule1)) -> rule5) triple16) -> rule4) OR ((((triple12) -> rule5) ((((triple12) -> rule5)) -> rule2)) -> rule4) OR ((((triple16) -> rule3) ((((triple12) -> rule5)) -> rule2)) -> rule4) OR ((((((triple2 triple11) -> rule1)) -> rule5) ((((triple12) -> rule5)) -> rule2)) -> rule4) OR ((((triple12) -> rule5) ((((((triple2 triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple16) -> rule3) ((((((triple2 triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple2 triple11) -> rule1)) -> rule5) ((((((triple2 triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5) triple16) -> rule4) OR ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5) ((((triple12) -> rule5)) -> rule2)) -> rule4) OR ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5) ((((((triple2 triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple12) -> rule5) ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple16) -> rule3) ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple2 triple11) -> rule1)) -> rule5) ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5) ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4))]
("squirrel" "chases" "lion" "-")
((((triple12) -> (rule5 % int2)) triple16) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
((((triple16) -> (rule3 % int2)) triple16) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
((((((triple2 triple11) -> (rule1 % int3))) -> (rule5 % int2)) triple16) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
((((triple12) -> (rule5 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
((((triple16) -> (rule3 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
((((((triple2 triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
((((triple12) -> (rule5 % int4)) ((((((triple2 triple11) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int4
((((triple16) -> (rule3 % int4)) ((((((triple2 triple11) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int4
((((((triple2 triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple2 triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
((((((((((triple11) -> (rule8 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int2)) triple16) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5
((((((((((triple11) -> (rule8 % int6))) -> (rule7 % int5)) triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The squirrel is blue.
("squirrel" "is" "blue" "+")
int6
((((((((((triple11) -> (rule8 % int6))) -> (rule7 % int5)) triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple2 triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The squirrel is blue.
("squirrel" "is" "blue" "+")
int6
((((triple12) -> (rule5 % int6)) ((((((((((triple11) -> (rule8 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int6
((((triple16) -> (rule3 % int6)) ((((((((((triple11) -> (rule8 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int6
((((((triple2 triple11) -> (rule1 % int6))) -> (rule5 % int5)) ((((((((((triple11) -> (rule8 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int5
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int6
((((((((((triple11) -> (rule8 % int6))) -> (rule7 % int5)) triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((((triple11) -> (rule8 % int6))) -> (rule7 % int5)) triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The squirrel is blue.
("squirrel" "is" "blue" "+")
int6
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "is" "blue" "-")
The lion likes the mouse.
Unknown
rconc
[@3: The lion likes the mouse.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule5 <- FAIL)]]
("lion" "likes" "mouse" "+")
The lion does not eat the mouse.
Unknown
inv-rconc
[@1: The lion eats the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "eats" "mouse" "-")
The mouse eats the lion.
Unknown
random
[@0: The mouse eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "lion" "+")
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The lion chases the mouse.
Unknown
random
[@0: The lion chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "mouse" "+")
@0: The lion chases the squirrel.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is red.[(triple3)] The lion is round.[(triple4)] The lion likes the squirrel.[(triple5)] The mouse chases the lion.[(triple6 OR ((((triple9) -> rule3) triple9) -> rule4))] The mouse chases the squirrel.[(triple7)] The mouse is green.[(triple8)] The mouse likes the lion.[(triple9)] The mouse likes the squirrel.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel eats the lion.[(triple12 OR ((triple2 triple11) -> rule1) OR ((((((triple11) -> rule8)) -> rule7) triple11) -> rule1))] The squirrel is green.[(triple13)] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the lion.[(triple16 OR ((((triple12) -> rule5)) -> rule2) OR ((((((triple2 triple11) -> rule1)) -> rule5)) -> rule2) OR ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5)) -> rule2))] @1: The mouse likes the mouse.[(((triple9) -> rule3))] The squirrel is blue.[(((triple11) -> rule8))] The squirrel likes the mouse.[(((triple12) -> rule5) OR ((triple16) -> rule3) OR ((((triple2 triple11) -> rule1)) -> rule5) OR ((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5))] @2: The squirrel chases the lion.[(((((triple12) -> rule5) triple16) -> rule4) OR ((((triple16) -> rule3) triple16) -> rule4) OR ((((((triple2 triple11) -> rule1)) -> rule5) triple16) -> rule4) OR ((((triple12) -> rule5) ((((triple12) -> rule5)) -> rule2)) -> rule4) OR ((((triple16) -> rule3) ((((triple12) -> rule5)) -> rule2)) -> rule4) OR ((((((triple2 triple11) -> rule1)) -> rule5) ((((triple12) -> rule5)) -> rule2)) -> rule4) OR ((((triple12) -> rule5) ((((((triple2 triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple16) -> rule3) ((((((triple2 triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple2 triple11) -> rule1)) -> rule5) ((((((triple2 triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5) triple16) -> rule4) OR ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5) ((((triple12) -> rule5)) -> rule2)) -> rule4) OR ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5) ((((((triple2 triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple12) -> rule5) ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple16) -> rule3) ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple2 triple11) -> rule1)) -> rule5) ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5) ((((((((((triple11) -> rule8)) -> rule7) triple11) -> rule1)) -> rule5)) -> rule2)) -> rule4))] The squirrel eats the squirrel.[(((((triple11) -> rule8)) -> rule7))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple2
The lion is red.
("lion" "is" "red" "+")
triple3
The lion is round.
("lion" "is" "round" "+")
triple4
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple5
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple6
((((triple9) -> (rule3 % int2)) triple9) -> (rule4 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple9
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple10
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple11
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple12
((triple2 triple11) -> (rule1 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
((((((triple11) -> (rule8 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple16
((((triple12) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
((((((triple2 triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
((((((((((triple11) -> (rule8 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple9) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple11) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((triple12) -> (rule5 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
((triple16) -> (rule3 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
((((triple2 triple11) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
((((((((triple11) -> (rule8 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
((((triple12) -> (rule5 % int2)) triple16) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
((((triple16) -> (rule3 % int2)) triple16) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
((((((triple2 triple11) -> (rule1 % int3))) -> (rule5 % int2)) triple16) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
((((triple12) -> (rule5 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
((((triple16) -> (rule3 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
((((((triple2 triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
((((triple12) -> (rule5 % int4)) ((((((triple2 triple11) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int4
((((triple16) -> (rule3 % int4)) ((((((triple2 triple11) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int4
((((((triple2 triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple2 triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
((((((((((triple11) -> (rule8 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int2)) triple16) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5
((((((((((triple11) -> (rule8 % int6))) -> (rule7 % int5)) triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The squirrel is blue.
("squirrel" "is" "blue" "+")
int6
((((((((((triple11) -> (rule8 % int6))) -> (rule7 % int5)) triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple2 triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The squirrel is blue.
("squirrel" "is" "blue" "+")
int6
((((triple12) -> (rule5 % int6)) ((((((((((triple11) -> (rule8 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int6
((((triple16) -> (rule3 % int6)) ((((((((((triple11) -> (rule8 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int6
((((((triple2 triple11) -> (rule1 % int6))) -> (rule5 % int5)) ((((((((((triple11) -> (rule8 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int5
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int6
((((((((((triple11) -> (rule8 % int6))) -> (rule7 % int5)) triple11) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((((triple11) -> (rule8 % int6))) -> (rule7 % int5)) triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int5
The squirrel is blue.
("squirrel" "is" "blue" "+")
int6
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((triple11) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2