The dog chases the squirrel. The dog eats the squirrel. The dog is big. The dog is blue. The dog is nice. The dog is round. The dog is young. The dog needs the squirrel. The squirrel chases the dog. The squirrel does not eat the dog. The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel needs the dog. If something is round then it chases the squirrel.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something is round then it chases the squirrel.
((("something" "is" "round" "+")) -> ("something" "chases" "squirrel" "+"))
The dog is blue.
True
1
proof
[(triple4)]
("dog" "is" "blue" "+")
triple4
The dog is not big.
False
1
inv-proof
[(triple3)]
("dog" "is" "big" "-")
triple3
The squirrel chases the squirrel.
True
2
proof
[(((triple14) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((triple14) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple14) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((triple14) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog chases the squirrel.[(triple1 OR ((triple6) -> rule1))] The dog eats the squirrel.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The dog is nice.[(triple5)] The dog is round.[(triple6)] The dog is young.[(triple7)] The dog needs the squirrel.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel does not eat the dog.[(triple10)] The squirrel is big.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The squirrel chases the squirrel.[(((triple14) -> rule1))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
((triple6) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple8
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple9
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple16
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple14) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1