The cat eats the squirrel. The squirrel chases the cat. If someone eats the squirrel and they are not round then they eat the cat. If someone needs the squirrel then they do not chase the squirrel. If someone eats the squirrel then they need the squirrel.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
If someone eats the squirrel and they are not round then they eat the cat.
((("someone" "eats" "squirrel" "+") ("someone" "is" "round" "~")) -> ("someone" "eats" "cat" "+"))
If someone needs the squirrel then they do not chase the squirrel.
((("someone" "needs" "squirrel" "+")) -> ("someone" "chases" "squirrel" "-"))
If someone eats the squirrel then they need the squirrel.
((("someone" "eats" "squirrel" "+")) -> ("someone" "needs" "squirrel" "+"))
The squirrel chases the cat.
True
1
proof
[(triple2)]
("squirrel" "chases" "cat" "+")
triple2
The squirrel does not chase the cat.
False
1
inv-proof
[(triple2)]
("squirrel" "chases" "cat" "-")
triple2
The cat needs the squirrel.
True
2
proof
[(((triple1) -> rule3))]
("cat" "needs" "squirrel" "+")
((triple1) -> (rule3 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat does not need the squirrel.
False
2
inv-proof
[(((triple1) -> rule3))]
("cat" "needs" "squirrel" "-")
((triple1) -> (rule3 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat does not chase the squirrel.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("cat" "chases" "squirrel" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int2
The cat chases the squirrel.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("cat" "chases" "squirrel" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int2
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The cat eats the cat.
Unknown
rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "+")
The squirrel does not eat the cat.
Unknown
inv-rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "cat" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat eats the squirrel.[(triple1)] The squirrel chases the cat.[(triple2)] @1: The cat needs the squirrel.[(((triple1) -> rule3))] @2: The cat does not chase the squirrel.[(((((triple1) -> rule3)) -> rule2))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
((triple1) -> (rule3 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int2