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