The dog chases the squirrel. The dog is big. The dog is blue. The dog is red. The dog is round. The dog is young. The dog likes the squirrel. The dog visits the squirrel. The squirrel chases the dog. The squirrel is big. The squirrel is blue. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the dog. The squirrel visits the dog. If someone likes the dog then they visit the squirrel. If someone is round and they visit the squirrel then they are young. If the dog is big then the dog likes the squirrel.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone likes the dog then they visit the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone is round and they visit the squirrel then they are young.
((("someone" "is" "round" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "young" "+"))
If the dog is big then the dog likes the squirrel.
((("dog" "is" "big" "+")) -> ("dog" "likes" "squirrel" "+"))
The squirrel likes the dog.
True
1
proof
[(triple15)]
("squirrel" "likes" "dog" "+")
triple15
The dog does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "chases" "squirrel" "-")
triple1
The squirrel visits the squirrel.
True
2
proof
[(((triple15) -> rule1))]
("squirrel" "visits" "squirrel" "+")
((triple15) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the squirrel.
False
2
inv-proof
[(((triple15) -> rule1))]
("squirrel" "visits" "squirrel" "-")
((triple15) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
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 visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is red.[(triple4)] The dog is round.[(triple5)] The dog is young.[(triple6 OR ((triple5 triple8) -> rule2))] The dog likes the squirrel.[(triple7 OR ((triple2) -> rule3))] The dog visits the squirrel.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14 OR ((triple13 ((triple15) -> rule1)) -> rule2))] The squirrel likes the dog.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The squirrel visits the squirrel.[(((triple15) -> rule1))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
((triple5 triple8) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple7
((triple2) -> (rule3 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple8
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
((triple13 ((triple15) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple15
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple16
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple15) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1