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