The dog chases the squirrel. The dog is green. The squirrel is big. The squirrel is rough. The squirrel is round. The squirrel likes the dog. The squirrel sees the dog. If someone likes the squirrel and they like the dog then they see the squirrel. If someone chases the dog then they are big. If someone sees the squirrel and the squirrel does not chase the dog then they do not like the dog. If the dog likes the squirrel and the squirrel does not like the dog then the dog is round. If someone likes the dog and they are round then they chase the squirrel. If someone is round and they like the squirrel then the squirrel sees the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone likes the squirrel and they like the dog then they see the squirrel.
((("someone" "likes" "squirrel" "+") ("someone" "likes" "dog" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone chases the dog then they are big.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "big" "+"))
If someone sees the squirrel and the squirrel does not chase the dog then they do not like the dog.
((("someone" "sees" "squirrel" "+") ("squirrel" "chases" "dog" "~")) -> ("someone" "likes" "dog" "-"))
If the dog likes the squirrel and the squirrel does not like the dog then the dog is round.
((("dog" "likes" "squirrel" "+") ("squirrel" "likes" "dog" "~")) -> ("dog" "is" "round" "+"))
If someone likes the dog and they are round then they chase the squirrel.
((("someone" "likes" "dog" "+") ("someone" "is" "round" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is round and they like the squirrel then the squirrel sees the dog.
((("someone" "is" "round" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "sees" "dog" "+"))
The dog chases the squirrel.
True
1
proof
[(triple1)]
("dog" "chases" "squirrel" "+")
triple1
The squirrel does not like the dog.
False
1
inv-proof
[(triple6)]
("squirrel" "likes" "dog" "-")
triple6
The squirrel chases the squirrel.
True
3
proof
[(((triple6 triple5) -> rule5))]
("squirrel" "chases" "squirrel" "+")
((triple6 triple5) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
3
inv-proof
[(((triple6 triple5) -> rule5))]
("squirrel" "chases" "squirrel" "-")
((triple6 triple5) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "big" "-")
The squirrel sees the squirrel.
Unknown
rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "squirrel" "+")
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 squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is green.[(triple2)] The squirrel is big.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)] The squirrel likes the dog.[(triple6)] The squirrel sees the dog.[(triple7)] @1: The squirrel chases the squirrel.[(((triple6 triple5) -> rule5))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The squirrel is big.
("squirrel" "is" "big" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple6
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple7
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple6 triple5) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1