The dog chases the squirrel. The dog is blue. The dog is nice. The dog is red. The dog is round. The dog likes the squirrel. The dog needs the squirrel. The squirrel chases the dog. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the dog. The squirrel needs the dog. If something likes the dog and it likes the squirrel then it is blue. If something chases the squirrel and the squirrel needs the dog then the squirrel likes the dog. If something is round then it chases the dog. If the dog likes the squirrel and the squirrel needs the dog then the squirrel chases the dog. If something is nice and it likes the dog then it needs the squirrel. If something is round and it chases the dog then it likes the dog. If the squirrel chases the dog and the dog is nice then the dog needs the squirrel. If something needs the dog then it chases the squirrel.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something likes the dog and it likes the squirrel then it is blue.
((("something" "likes" "dog" "+") ("something" "likes" "squirrel" "+")) -> ("something" "is" "blue" "+"))
If something chases the squirrel and the squirrel needs the dog then the squirrel likes the dog.
((("something" "chases" "squirrel" "+") ("squirrel" "needs" "dog" "+")) -> ("squirrel" "likes" "dog" "+"))
If something is round then it chases the dog.
((("something" "is" "round" "+")) -> ("something" "chases" "dog" "+"))
If the dog likes the squirrel and the squirrel needs the dog then the squirrel chases the dog.
((("dog" "likes" "squirrel" "+") ("squirrel" "needs" "dog" "+")) -> ("squirrel" "chases" "dog" "+"))
If something is nice and it likes the dog then it needs the squirrel.
((("something" "is" "nice" "+") ("something" "likes" "dog" "+")) -> ("something" "needs" "squirrel" "+"))
If something is round and it chases the dog then it likes the dog.
((("something" "is" "round" "+") ("something" "chases" "dog" "+")) -> ("something" "likes" "dog" "+"))
If the squirrel chases the dog and the dog is nice then the dog needs the squirrel.
((("squirrel" "chases" "dog" "+") ("dog" "is" "nice" "+")) -> ("dog" "needs" "squirrel" "+"))
If something needs the dog then it chases the squirrel.
((("something" "needs" "dog" "+")) -> ("something" "chases" "squirrel" "+"))
The squirrel is red.
True
1
proof
[(triple11)]
("squirrel" "is" "red" "+")
triple11
The dog is not blue.
False
1
inv-proof
[(triple2 OR ((((triple5 ((triple5) -> rule3)) -> rule6) triple6) -> rule1))]
("dog" "is" "blue" "-")
triple2
((((triple5 ((triple5) -> (rule3 % int3))) -> (rule6 % int2)) triple6) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog chases the dog.
True
2
proof
[(((triple5) -> rule3))]
("dog" "chases" "dog" "+")
((triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not chase the dog.
False
2
inv-proof
[(((triple5) -> rule3))]
("dog" "chases" "dog" "-")
((triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog likes the dog.
True
4
proof
[(((triple5 ((triple5) -> rule3)) -> rule6))]
("dog" "likes" "dog" "+")
((triple5 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog does not like the dog.
False
4
inv-proof
[(((triple5 ((triple5) -> rule3)) -> rule6))]
("dog" "likes" "dog" "-")
((triple5 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is blue.[(triple2 OR ((((triple5 ((triple5) -> rule3)) -> rule6) triple6) -> rule1))] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog is round.[(triple5)] The dog likes the squirrel.[(triple6)] The dog needs the squirrel.[(triple7 OR ((triple8 triple3) -> rule7) OR ((((triple13) -> rule3) triple3) -> rule7) OR ((((triple6 triple15) -> rule4) triple3) -> rule7) OR ((triple3 ((triple5 ((triple5) -> rule3)) -> rule6)) -> rule5))] The squirrel chases the dog.[(triple8 OR ((triple13) -> rule3) OR ((triple6 triple15) -> rule4))] The squirrel is blue.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the dog.[(triple14 OR ((triple1 triple15) -> rule2) OR ((triple13 triple8) -> rule6) OR ((triple13 ((triple13) -> rule3)) -> rule6) OR ((triple13 ((triple6 triple15) -> rule4)) -> rule6) OR ((((triple15) -> rule8) triple15) -> rule2))] The squirrel needs the dog.[(triple15)] @1: The dog chases the dog.[(((triple5) -> rule3))] The squirrel chases the squirrel.[(((triple15) -> rule8))] The squirrel needs the squirrel.[(((triple10 triple14) -> rule5) OR ((triple10 ((triple1 triple15) -> rule2)) -> rule5) OR ((triple10 ((triple13 triple8) -> rule6)) -> rule5) OR ((triple10 ((triple13 ((triple13) -> rule3)) -> rule6)) -> rule5) OR ((triple10 ((triple13 ((triple6 triple15) -> rule4)) -> rule6)) -> rule5) OR ((triple10 ((((triple15) -> rule8) triple15) -> rule2)) -> rule5))] @2: The dog likes the dog.[(((triple5 ((triple5) -> rule3)) -> rule6))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
((((triple5 ((triple5) -> (rule3 % int3))) -> (rule6 % int2)) triple6) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple6
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple7
((triple8 triple3) -> (rule7 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
((((triple13) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
((((triple6 triple15) -> (rule4 % int2)) triple3) -> (rule7 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
((triple3 ((triple5 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple8
((triple13) -> (rule3 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
((triple6 triple15) -> (rule4 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple14
((triple1 triple15) -> (rule2 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
((triple13 triple8) -> (rule6 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
((triple13 ((triple13) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
((triple13 ((triple6 triple15) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
((((triple15) -> (rule8 % int2)) triple15) -> (rule2 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple15
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple15) -> (rule8 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple10 triple14) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
((triple10 ((triple1 triple15) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
((triple10 ((triple13 triple8) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
((triple10 ((triple13 ((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int3
((triple10 ((triple13 ((triple6 triple15) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int3
((triple10 ((((triple15) -> (rule8 % int3)) triple15) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple5 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2