The cat chases the squirrel. The cat likes the rabbit. The cat needs the rabbit. The cat needs the squirrel. The rabbit is rough. The rabbit likes the cat. The rabbit likes the squirrel. The squirrel does not chase the rabbit. The squirrel does not like the cat. The squirrel needs the rabbit. If someone is nice then they do not need the cat. If someone needs the squirrel then they need the cat. If someone likes the rabbit then the rabbit is nice. If the squirrel needs the cat and the squirrel likes the rabbit then the cat needs the rabbit. If someone is young and they like the cat then the cat is young. If someone needs the cat and they like the squirrel then the squirrel is round. If someone likes the rabbit and the rabbit chases the squirrel then they like the cat. If someone needs the rabbit then the rabbit likes the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel does not chase the rabbit.
("squirrel" "chases" "rabbit" "-")
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If someone is nice then they do not need the cat.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "cat" "-"))
If someone needs the squirrel then they need the cat.
((("someone" "needs" "squirrel" "+")) -> ("someone" "needs" "cat" "+"))
If someone likes the rabbit then the rabbit is nice.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If the squirrel needs the cat and the squirrel likes the rabbit then the cat needs the rabbit.
((("squirrel" "needs" "cat" "+") ("squirrel" "likes" "rabbit" "+")) -> ("cat" "needs" "rabbit" "+"))
If someone is young and they like the cat then the cat is young.
((("someone" "is" "young" "+") ("someone" "likes" "cat" "+")) -> ("cat" "is" "young" "+"))
If someone needs the cat and they like the squirrel then the squirrel is round.
((("someone" "needs" "cat" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If someone likes the rabbit and the rabbit chases the squirrel then they like the cat.
((("someone" "likes" "rabbit" "+") ("rabbit" "chases" "squirrel" "+")) -> ("someone" "likes" "cat" "+"))
If someone needs the rabbit then the rabbit likes the squirrel.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
The rabbit is rough.
True
1
proof
[(triple5)]
("rabbit" "is" "rough" "+")
triple5
The cat does not need the rabbit.
False
1
inv-proof
[(triple3)]
("cat" "needs" "rabbit" "-")
triple3
The cat needs the cat.
True
2
proof
[(((triple4) -> rule2))]
("cat" "needs" "cat" "+")
((triple4) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple4) -> rule2))]
("cat" "needs" "cat" "-")
((triple4) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The rabbit does not need the cat.
True
3
proof
[(((((triple2) -> rule3)) -> rule1))]
("rabbit" "needs" "cat" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit needs the cat.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule1))]
("rabbit" "needs" "cat" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "likes" "cat" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "round" "+")
The squirrel does not need the cat.
Unknown
inv-rconc
[@1: The squirrel needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "cat" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
The rabbit does not chase the cat.
Unknown
inv-random
[@0: The rabbit chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cat" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
@0: The cat chases the squirrel.[(triple1)] The cat likes the rabbit.[(triple2)] The cat needs the rabbit.[(triple3)] The cat needs the squirrel.[(triple4)] The rabbit is rough.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit likes the squirrel.[(triple7 OR ((triple10) -> rule8) OR ((triple3) -> rule8))] The squirrel does not chase the rabbit.[(triple8)] The squirrel does not like the cat.[(triple9)] The squirrel needs the rabbit.[(triple10)] @1: The cat needs the cat.[(((triple4) -> rule2))] The rabbit is nice.[(((triple2) -> rule3))] @2: The rabbit does not need the cat.[(((((triple2) -> rule3)) -> rule1))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple2
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple5
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple6
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple7
((triple10) -> (rule8 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
((triple3) -> (rule8 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The squirrel does not chase the rabbit.
("squirrel" "chases" "rabbit" "-")
triple8
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
triple9
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple10
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple4) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2