The cat does not need the squirrel. The cat sees the squirrel. The squirrel is round. If someone sees the squirrel and they do not need the squirrel then they do not like the cat. If someone sees the squirrel and they do not like the cat then the squirrel needs the cat. If someone needs the squirrel and the squirrel does not like the cat then the squirrel sees the cat.
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone sees the squirrel and they do not need the squirrel then they do not like the cat.
((("someone" "sees" "squirrel" "+") ("someone" "needs" "squirrel" "~")) -> ("someone" "likes" "cat" "-"))
If someone sees the squirrel and they do not like the cat then the squirrel needs the cat.
((("someone" "sees" "squirrel" "+") ("someone" "likes" "cat" "~")) -> ("squirrel" "needs" "cat" "+"))
If someone needs the squirrel and the squirrel does not like the cat then the squirrel sees the cat.
((("someone" "needs" "squirrel" "+") ("squirrel" "likes" "cat" "~")) -> ("squirrel" "sees" "cat" "+"))
The squirrel is round.
True
1
proof
[(triple3)]
("squirrel" "is" "round" "+")
triple3
The squirrel is not round.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "round" "-")
triple3
The cat does not like the cat.
True
3
proof
[(((triple2 triple1) -> rule1))]
("cat" "likes" "cat" "-")
((triple2 triple1) -> (rule1 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat likes the cat.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("cat" "likes" "cat" "+")
((triple2 triple1) -> (rule1 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The squirrel needs the cat.
True
5
proof
[(((triple2 ((triple2 triple1) -> rule1)) -> rule2))]
("squirrel" "needs" "cat" "+")
((triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The cat does not like the cat.
("cat" "likes" "cat" "-")
int2
The squirrel does not need the cat.
False
5
inv-proof
[(((triple2 ((triple2 triple1) -> rule1)) -> rule2))]
("squirrel" "needs" "cat" "-")
((triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The cat does not like the cat.
("cat" "likes" "cat" "-")
int2
The squirrel does not see the cat.
Unknown
inv-rconc
[@1: The squirrel sees the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "sees" "cat" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
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 red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The cat does not need the squirrel.[(triple1)] The cat sees the squirrel.[(triple2)] The squirrel is round.[(triple3)] @1: The cat does not like the cat.[(((triple2 triple1) -> rule1))] @2: The squirrel needs the cat.[(((triple2 ((triple2 triple1) -> rule1)) -> rule2))]
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
triple1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The cat does not like the cat.
("cat" "likes" "cat" "-")
((triple2 triple1) -> (rule1 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
((triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The cat does not like the cat.
("cat" "likes" "cat" "-")
int2