The cat chases the squirrel. The cat is blue. The cat is cold. The cat is green. The cat is round. The cat is not young. The cat needs the squirrel. The cat does not see the squirrel. The squirrel does not chase the cat. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is round. The squirrel is not young. The squirrel needs the cat. The squirrel sees the cat. If something sees the squirrel then it chases the squirrel. If something needs the cat then it is green.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something sees the squirrel then it chases the squirrel.
((("something" "sees" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
If something needs the cat then it is green.
((("something" "needs" "cat" "+")) -> ("something" "is" "green" "+"))
The cat does not see the squirrel.
True
1
proof
[(triple8)]
("cat" "sees" "squirrel" "-")
triple8
The squirrel is not round.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "round" "-")
triple13
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat chases the squirrel.[(triple1)] The cat does not see the squirrel.[(triple8)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is not young.[(triple6)] The cat is round.[(triple5)] The cat needs the squirrel.[(triple7)] The squirrel does not chase the cat.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12 OR ((triple15) -> rule2))] The squirrel is not young.[(triple14)] The squirrel is round.[(triple13)] The squirrel needs the cat.[(triple15)] The squirrel sees the cat.[(triple16)]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is not young.
("cat" "is" "young" "-")
triple6
The cat is round.
("cat" "is" "round" "+")
triple5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple7
The squirrel does not chase the cat.
("squirrel" "chases" "cat" "-")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
((triple15) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
triple14
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple15
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple16