The rabbit eats the squirrel. The rabbit is kind. The rabbit is red. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the rabbit. The squirrel visits the rabbit. If someone is nice then they eat the rabbit. If someone is red and not round then they eat the rabbit. If someone visits the rabbit then they do not like the squirrel. If someone is red and round then they eat the squirrel. If the squirrel likes the rabbit and the squirrel is not nice then the squirrel does not visit the rabbit. If someone visits the rabbit and they do not like the squirrel then they visit the squirrel.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is nice then they eat the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is red and not round then they eat the rabbit.
((("someone" "is" "red" "+") ("someone" "is" "round" "~")) -> ("someone" "eats" "rabbit" "+"))
If someone visits the rabbit then they do not like the squirrel.
((("someone" "visits" "rabbit" "+")) -> ("someone" "likes" "squirrel" "-"))
If someone is red and round then they eat the squirrel.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "eats" "squirrel" "+"))
If the squirrel likes the rabbit and the squirrel is not nice then the squirrel does not visit the rabbit.
((("squirrel" "likes" "rabbit" "+") ("squirrel" "is" "nice" "~")) -> ("squirrel" "visits" "rabbit" "-"))
If someone visits the rabbit and they do not like the squirrel then they visit the squirrel.
((("someone" "visits" "rabbit" "+") ("someone" "likes" "squirrel" "~")) -> ("someone" "visits" "squirrel" "+"))
The rabbit visits the squirrel.
True
1
proof
[(triple5)]
("rabbit" "visits" "squirrel" "+")
triple5
The squirrel is not nice.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "nice" "-")
triple7
The squirrel eats the squirrel.
True
3
proof
[(((triple8 triple10) -> rule4))]
("squirrel" "eats" "squirrel" "+")
((triple8 triple10) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel likes the squirrel.
False
2
inv-proof
[(((triple12) -> rule3))]
("squirrel" "likes" "squirrel" "+")
((triple12) -> (rule3 % int1))
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
int1
The squirrel visits the squirrel.
True
4
proof
[(((triple12 ((triple12) -> rule3)) -> rule6))]
("squirrel" "visits" "squirrel" "+")
((triple12 ((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
int2
The squirrel does not visit the squirrel.
False
4
inv-proof
[(((triple12 ((triple12) -> rule3)) -> rule6))]
("squirrel" "visits" "squirrel" "-")
((triple12 ((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
int2
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is red.[(triple3)] The rabbit likes the squirrel.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel eats the rabbit.[(triple6 OR ((triple7) -> rule1))] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the rabbit.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The squirrel does not like the squirrel.[(((triple12) -> rule3))] The squirrel eats the squirrel.[(((triple8 triple10) -> rule4))] @2: The squirrel visits the squirrel.[(((triple12 ((triple12) -> rule3)) -> rule6))]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple4
The rabbit visits the squirrel.
("rabbit" "visits" "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 nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple11
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple12
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
((triple12) -> (rule3 % int1))
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple8 triple10) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple12 ((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
int2