The cat chases the squirrel. The cat is kind. The cat needs the squirrel. The cat sees the squirrel. The squirrel chases the cat. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel needs the cat. The squirrel sees the cat. If someone is red and they see the squirrel then they need the squirrel. If someone chases the squirrel and they are kind then they need the cat.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If someone is red and they see the squirrel then they need the squirrel.
((("someone" "is" "red" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone chases the squirrel and they are kind then they need the cat.
((("someone" "chases" "squirrel" "+") ("someone" "is" "kind" "+")) -> ("someone" "needs" "cat" "+"))
The cat sees the squirrel.
True
1
proof
[(triple4)]
("cat" "sees" "squirrel" "+")
triple4
The cat does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("cat" "chases" "squirrel" "-")
triple1
The cat needs the cat.
True
3
proof
[(((triple1 triple2) -> rule2))]
("cat" "needs" "cat" "+")
((triple1 triple2) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("cat" "needs" "cat" "-")
((triple1 triple2) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The cat chases the squirrel.[(triple1)] The cat is kind.[(triple2)] The cat needs the squirrel.[(triple3)] The cat sees the squirrel.[(triple4)] The squirrel chases the cat.[(triple5)] The squirrel is green.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The cat needs the cat.[(((triple1 triple2) -> rule2))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple3
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple4
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple9
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple10
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple1 triple2) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1