The dog chases the squirrel. The dog eats the squirrel. The dog is blue. The dog is red. The dog likes the squirrel. The squirrel chases the dog. The squirrel eats the dog. The squirrel is blue. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel likes the dog. If someone chases the dog and they like the dog then they chase the squirrel. If someone is red then they like the squirrel. If someone likes the dog then they chase the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone chases the dog and they like the dog then they chase the squirrel.
((("someone" "chases" "dog" "+") ("someone" "likes" "dog" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is red then they like the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the dog then they chase the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "chases" "dog" "+"))
The squirrel eats the dog.
True
1
proof
[(triple7)]
("squirrel" "eats" "dog" "+")
triple7
The squirrel does not like the dog.
False
1
inv-proof
[(triple12)]
("squirrel" "likes" "dog" "-")
triple12
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "dog" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The dog chases the squirrel.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is blue.[(triple3)] The dog is red.[(triple4)] The dog likes the squirrel.[(triple5 OR ((triple4) -> rule2))] The squirrel chases the dog.[(triple6 OR ((triple12) -> rule3))] The squirrel eats the dog.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is red.[(triple9)] The squirrel is rough.[(triple10)] The squirrel is young.[(triple11)] The squirrel likes the dog.[(triple12)] @1: The squirrel chases the squirrel.[(((triple6 triple12) -> rule1) OR ((((triple12) -> rule3) triple12) -> rule1))] The squirrel likes the squirrel.[(((triple9) -> rule2))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple5
((triple4) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
((triple12) -> (rule3 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel is young.
("squirrel" "is" "young" "+")
triple11
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple12
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple6 triple12) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
((((triple12) -> (rule3 % int2)) triple12) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple9) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1