The cat does not chase the squirrel. The cat does not eat the squirrel. The cat is not round. The squirrel chases the cat. The squirrel eats the cat. The squirrel is not kind. The squirrel is red. The squirrel is not round. The squirrel is young. The squirrel needs the cat. If something eats the cat and it chases the cat then it is red. If the cat eats the squirrel then the cat is young. If something chases the squirrel and the squirrel eats the cat then it eats the cat.
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
The cat is not round.
("cat" "is" "round" "-")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
If something eats the cat and it chases the cat then it is red.
((("something" "eats" "cat" "+") ("something" "chases" "cat" "+")) -> ("something" "is" "red" "+"))
If the cat eats the squirrel then the cat is young.
((("cat" "eats" "squirrel" "+")) -> ("cat" "is" "young" "+"))
If something chases the squirrel and the squirrel eats the cat then it eats the cat.
((("something" "chases" "squirrel" "+") ("squirrel" "eats" "cat" "+")) -> ("something" "eats" "cat" "+"))
The squirrel is not round.
True
1
proof
[(triple8)]
("squirrel" "is" "round" "-")
triple8
The cat eats the squirrel.
False
1
inv-proof
[(triple2)]
("cat" "eats" "squirrel" "+")
triple2
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "young" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat does not chase the squirrel.[(triple1)] The cat does not eat the squirrel.[(triple2)] The cat is not round.[(triple3)] The squirrel chases the cat.[(triple4)] The squirrel eats the cat.[(triple5)] The squirrel is not kind.[(triple6)] The squirrel is not round.[(triple8)] The squirrel is red.[(triple7 OR ((triple5 triple4) -> rule1))] The squirrel is young.[(triple9)] The squirrel needs the cat.[(triple10)]
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple1
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
triple2
The cat is not round.
("cat" "is" "round" "-")
triple3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple5
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple6
The squirrel is not round.
("squirrel" "is" "round" "-")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
((triple5 triple4) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple10