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