The rabbit eats the squirrel. The rabbit is cold. The rabbit is kind. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is cold. The squirrel is kind. The squirrel likes the rabbit. The squirrel sees the rabbit. If someone is cold then they eat the rabbit. If someone is nice and they like the rabbit then they eat the squirrel. If someone sees the rabbit and the rabbit likes the squirrel then they like the squirrel. If someone is nice and they see the squirrel then the squirrel is young. If someone eats the rabbit then they like the rabbit. If the rabbit likes the squirrel and the squirrel is nice then the rabbit is young.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone is cold then they eat the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is nice and they like the rabbit then they eat the squirrel.
((("someone" "is" "nice" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone sees the rabbit and the rabbit likes the squirrel then they like the squirrel.
((("someone" "sees" "rabbit" "+") ("rabbit" "likes" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone is nice and they see the squirrel then the squirrel is young.
((("someone" "is" "nice" "+") ("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone eats the rabbit then they like the rabbit.
((("someone" "eats" "rabbit" "+")) -> ("someone" "likes" "rabbit" "+"))
If the rabbit likes the squirrel and the squirrel is nice then the rabbit is young.
((("rabbit" "likes" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("rabbit" "is" "young" "+"))
The rabbit is kind.
True
1
proof
[(triple3)]
("rabbit" "is" "kind" "+")
triple3
The squirrel does not like the rabbit.
False
1
inv-proof
[(triple9 OR ((triple6) -> rule5) OR ((((triple7) -> rule1)) -> rule5))]
("squirrel" "likes" "rabbit" "-")
triple9
((triple6) -> (rule5 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The rabbit eats the rabbit.
True
2
proof
[(((triple2) -> rule1))]
("rabbit" "eats" "rabbit" "+")
((triple2) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
False
2
inv-proof
[(((triple2) -> rule1))]
("rabbit" "eats" "rabbit" "-")
((triple2) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel is young.
Unknown
rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "young" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is kind.[(triple3)] The rabbit likes the squirrel.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel eats the rabbit.[(triple6 OR ((triple7) -> rule1))] The squirrel is cold.[(triple7)] The squirrel is kind.[(triple8)] The squirrel likes the rabbit.[(triple9 OR ((triple6) -> rule5) OR ((((triple7) -> rule1)) -> rule5))] The squirrel sees the rabbit.[(triple10)] @1: The rabbit eats the rabbit.[(((triple2) -> rule1))] The squirrel likes the squirrel.[(((triple10 triple4) -> rule3))] @2: The rabbit likes the rabbit.[(((((triple2) -> rule1)) -> rule5))]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple4
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple5
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple6
((triple7) -> (rule1 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple9
((triple6) -> (rule5 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple10
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple2) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple10 triple4) -> (rule3 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2