The cow is blue. The dog is young. The rabbit is big. The squirrel likes the cow. If something needs the dog and it is young then it is red. If something needs the dog and it is not big then it likes the squirrel. If something is big and it does not eat the squirrel then it eats the dog.
The cow is blue.
("cow" "is" "blue" "+")
The dog is young.
("dog" "is" "young" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If something needs the dog and it is young then it is red.
((("something" "needs" "dog" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something needs the dog and it is not big then it likes the squirrel.
((("something" "needs" "dog" "+") ("something" "is" "big" "~")) -> ("something" "likes" "squirrel" "+"))
If something is big and it does not eat the squirrel then it eats the dog.
((("something" "is" "big" "+") ("something" "eats" "squirrel" "~")) -> ("something" "eats" "dog" "+"))
The squirrel likes the cow.
True
1
proof
[(triple4)]
("squirrel" "likes" "cow" "+")
triple4
The squirrel does not like the cow.
False
1
inv-proof
[(triple4)]
("squirrel" "likes" "cow" "-")
triple4
The squirrel does not eat the dog.
Unknown
inv-rconc
[@1: The squirrel eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "dog" "-")
The rabbit likes the dog.
Unknown
random
[@0: The rabbit likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "dog" "+")
@0: The cow is blue.[(triple1)] The dog is young.[(triple2)] The rabbit is big.[(triple3)] The squirrel likes the cow.[(triple4)]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The dog is young.
("dog" "is" "young" "+")
triple2
The rabbit is big.
("rabbit" "is" "big" "+")
triple3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple4