The cow is round. The cow likes the dog. The cow needs the dog. The cow visits the dog. The dog is green. The dog is red. The dog is round. The dog likes the cow. The dog needs the cow. The dog visits the cow. If someone likes the dog and they like the cow then the cow is big. If someone needs the dog and the dog is kind then the dog likes the cow. If someone likes the cow and the cow needs the dog then they like the dog. If someone needs the dog then they like the cow. If someone needs the cow then the cow needs the dog. If someone likes the dog and the dog visits the cow then the cow needs the dog.
The cow is round.
("cow" "is" "round" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone likes the dog and they like the cow then the cow is big.
((("someone" "likes" "dog" "+") ("someone" "likes" "cow" "+")) -> ("cow" "is" "big" "+"))
If someone needs the dog and the dog is kind then the dog likes the cow.
((("someone" "needs" "dog" "+") ("dog" "is" "kind" "+")) -> ("dog" "likes" "cow" "+"))
If someone likes the cow and the cow needs the dog then they like the dog.
((("someone" "likes" "cow" "+") ("cow" "needs" "dog" "+")) -> ("someone" "likes" "dog" "+"))
If someone needs the dog then they like the cow.
((("someone" "needs" "dog" "+")) -> ("someone" "likes" "cow" "+"))
If someone needs the cow then the cow needs the dog.
((("someone" "needs" "cow" "+")) -> ("cow" "needs" "dog" "+"))
If someone likes the dog and the dog visits the cow then the cow needs the dog.
((("someone" "likes" "dog" "+") ("dog" "visits" "cow" "+")) -> ("cow" "needs" "dog" "+"))
The dog is green.
True
1
proof
[(triple5)]
("dog" "is" "green" "+")
triple5
The dog is not green.
False
1
inv-proof
[(triple5)]
("dog" "is" "green" "-")
triple5
The dog likes the dog.
True
3
proof
[(((triple8 triple3) -> rule3) OR ((triple8 ((triple9) -> rule5)) -> rule3) OR ((triple8 ((triple2 triple10) -> rule6)) -> rule3))]
("dog" "likes" "dog" "+")
((triple8 triple3) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((triple8 ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
((triple8 ((triple2 triple10) -> (rule6 % int2))) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The dog does not like the dog.
False
3
inv-proof
[(((triple8 triple3) -> rule3) OR ((triple8 ((triple9) -> rule5)) -> rule3) OR ((triple8 ((triple2 triple10) -> rule6)) -> rule3))]
("dog" "likes" "dog" "-")
((triple8 triple3) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((triple8 ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
((triple8 ((triple2 triple10) -> (rule6 % int2))) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is big.
True
4
proof
[(((triple2 ((triple3) -> rule4)) -> rule1) OR ((((triple8 triple3) -> rule3) triple8) -> rule1) OR ((triple2 ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((triple2 ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((triple8 ((triple9) -> rule5)) -> rule3) triple8) -> rule1) OR ((((triple8 ((triple2 triple10) -> rule6)) -> rule3) triple8) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1))]
("cow" "is" "big" "+")
((triple2 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((triple8 triple3) -> (rule3 % int2)) triple8) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((triple2 ((((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((triple2 ((((triple2 triple10) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((triple8 ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((triple8 ((triple2 triple10) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple9) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple2 triple10) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((triple3) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple9) -> (rule5 % int3))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple2 triple10) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((((triple2 triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2)) ((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2)) ((((triple2 triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
The cow is not big.
False
4
inv-proof
[(((triple2 ((triple3) -> rule4)) -> rule1) OR ((((triple8 triple3) -> rule3) triple8) -> rule1) OR ((triple2 ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((triple2 ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((triple8 ((triple9) -> rule5)) -> rule3) triple8) -> rule1) OR ((((triple8 ((triple2 triple10) -> rule6)) -> rule3) triple8) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1))]
("cow" "is" "big" "-")
((triple2 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((triple8 triple3) -> (rule3 % int2)) triple8) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((triple2 ((((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((triple2 ((((triple2 triple10) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((triple8 ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((triple8 ((triple2 triple10) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple9) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple2 triple10) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((triple3) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple9) -> (rule5 % int3))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple2 triple10) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((((triple2 triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2)) ((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2)) ((((triple2 triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cow is round.[(triple1)] The cow likes the dog.[(triple2 OR ((((triple3) -> rule4) triple3) -> rule3) OR ((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) OR ((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) OR ((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3))] The cow needs the dog.[(triple3 OR ((triple9) -> rule5) OR ((triple2 triple10) -> rule6))] The cow visits the dog.[(triple4)] The dog is green.[(triple5)] The dog is red.[(triple6)] The dog is round.[(triple7)] The dog likes the cow.[(triple8)] The dog needs the cow.[(triple9)] The dog visits the cow.[(triple10)] @1: The cow likes the cow.[(((triple3) -> rule4) OR ((((triple9) -> rule5)) -> rule4) OR ((((triple2 triple10) -> rule6)) -> rule4))] The dog likes the dog.[(((triple8 triple3) -> rule3) OR ((triple8 ((triple9) -> rule5)) -> rule3) OR ((triple8 ((triple2 triple10) -> rule6)) -> rule3))] @2: The cow is big.[(((triple2 ((triple3) -> rule4)) -> rule1) OR ((((triple8 triple3) -> rule3) triple8) -> rule1) OR ((triple2 ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((triple2 ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((triple8 ((triple9) -> rule5)) -> rule3) triple8) -> rule1) OR ((((triple8 ((triple2 triple10) -> rule6)) -> rule3) triple8) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((triple3) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) triple3) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3) ((triple3) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple9) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule3) ((((triple2 triple10) -> rule6)) -> rule4)) -> rule1))]
The cow is round.
("cow" "is" "round" "+")
triple1
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
((((triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2)) ((triple9) -> (rule5 % int3))) -> (rule3 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
triple3
((triple9) -> (rule5 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
((triple2 triple10) -> (rule6 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The dog is round.
("dog" "is" "round" "+")
triple7
The dog likes the cow.
("dog" "likes" "cow" "+")
triple8
The dog needs the cow.
("dog" "needs" "cow" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple3) -> (rule4 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
((((triple2 triple10) -> (rule6 % int2))) -> (rule4 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple8 triple3) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((triple8 ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
((triple8 ((triple2 triple10) -> (rule6 % int2))) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is big.
("cow" "is" "big" "+")
((triple2 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((triple8 triple3) -> (rule3 % int2)) triple8) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((triple2 ((((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((triple2 ((((triple2 triple10) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((triple8 ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((triple8 ((triple2 triple10) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
((((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple9) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple2 triple10) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((triple3) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple9) -> (rule5 % int3))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((triple3) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2)) ((((triple2 triple10) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow needs the dog.
("cow" "needs" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((((triple2 triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2)) ((((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2)) ((((triple2 triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
int4