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