The rabbit eats the squirrel. The rabbit is big. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel eats the rabbit. The squirrel is not young. The squirrel does not like the rabbit. If someone likes the squirrel then the squirrel is not round. If the squirrel likes the rabbit then the rabbit is young. If someone is young and they do not need the squirrel then the squirrel is nice. If someone needs the squirrel and they are cold then they do not like the rabbit. If someone likes the rabbit and they do not need the squirrel then they like the squirrel. If the rabbit is big and the rabbit needs the squirrel then the rabbit is cold.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
If someone likes the squirrel then the squirrel is not round.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "round" "-"))
If the squirrel likes the rabbit then the rabbit is young.
((("squirrel" "likes" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If someone is young and they do not need the squirrel then the squirrel is nice.
((("someone" "is" "young" "+") ("someone" "needs" "squirrel" "~")) -> ("squirrel" "is" "nice" "+"))
If someone needs the squirrel and they are cold then they do not like the rabbit.
((("someone" "needs" "squirrel" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "rabbit" "-"))
If someone likes the rabbit and they do not need the squirrel then they like the squirrel.
((("someone" "likes" "rabbit" "+") ("someone" "needs" "squirrel" "~")) -> ("someone" "likes" "squirrel" "+"))
If the rabbit is big and the rabbit needs the squirrel then the rabbit is cold.
((("rabbit" "is" "big" "+") ("rabbit" "needs" "squirrel" "+")) -> ("rabbit" "is" "cold" "+"))
The rabbit eats the squirrel.
True
1
proof
[(triple1)]
("rabbit" "eats" "squirrel" "+")
triple1
The squirrel likes the rabbit.
False
1
inv-proof
[(triple7)]
("squirrel" "likes" "rabbit" "+")
triple7
The squirrel is not round.
True
2
proof
[(((triple3) -> rule1))]
("squirrel" "is" "round" "-")
((triple3) -> (rule1 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The squirrel is round.
False
2
inv-proof
[(((triple3) -> rule1))]
("squirrel" "is" "round" "+")
((triple3) -> (rule1 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The rabbit does not like the rabbit.
True
5
proof
[(((triple4 ((triple2 triple4) -> rule6)) -> rule4))]
("rabbit" "likes" "rabbit" "-")
((triple4 ((triple2 triple4) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit likes the rabbit.
False
5
inv-proof
[(((triple4 ((triple2 triple4) -> rule6)) -> rule4))]
("rabbit" "likes" "rabbit" "+")
((triple4 ((triple2 triple4) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "young" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is big.[(triple2)] The rabbit likes the squirrel.[(triple3)] The rabbit needs the squirrel.[(triple4)] The squirrel does not like the rabbit.[(triple7)] The squirrel eats the rabbit.[(triple5)] The squirrel is not young.[(triple6)] @1: The rabbit is cold.[(((triple2 triple4) -> rule6))] The squirrel is not round.[(((triple3) -> rule1))] @2: The rabbit does not like the rabbit.[(((triple4 ((triple2 triple4) -> rule6)) -> rule4))]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is big.
("rabbit" "is" "big" "+")
triple2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple3
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple4
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
triple7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple5
The squirrel is not young.
("squirrel" "is" "young" "-")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple2 triple4) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The squirrel is not round.
("squirrel" "is" "round" "-")
((triple3) -> (rule1 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
((triple4 ((triple2 triple4) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2