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