The rabbit does not like the squirrel. The rabbit does not need the squirrel. The rabbit sees the squirrel. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel is not round. The squirrel likes the rabbit. The squirrel needs the rabbit. The squirrel does not see the rabbit. If something is rough and it needs the rabbit then it likes the squirrel. If the rabbit likes the squirrel and the squirrel is not big then the squirrel needs the rabbit. If something is cold then it needs the rabbit. If something needs the squirrel then the squirrel likes the rabbit. If the rabbit is not rough and the rabbit does not like the squirrel then the rabbit needs the squirrel. If the squirrel is cold and the squirrel does not like the rabbit then the rabbit does not see the squirrel.
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
If something is rough and it needs the rabbit then it likes the squirrel.
((("something" "is" "rough" "+") ("something" "needs" "rabbit" "+")) -> ("something" "likes" "squirrel" "+"))
If the rabbit likes the squirrel and the squirrel is not big then the squirrel needs the rabbit.
((("rabbit" "likes" "squirrel" "+") ("squirrel" "is" "big" "~")) -> ("squirrel" "needs" "rabbit" "+"))
If something is cold then it needs the rabbit.
((("something" "is" "cold" "+")) -> ("something" "needs" "rabbit" "+"))
If something needs the squirrel then the squirrel likes the rabbit.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If the rabbit is not rough and the rabbit does not like the squirrel then the rabbit needs the squirrel.
((("rabbit" "is" "rough" "~") ("rabbit" "likes" "squirrel" "~")) -> ("rabbit" "needs" "squirrel" "+"))
If the squirrel is cold and the squirrel does not like the rabbit then the rabbit does not see the squirrel.
((("squirrel" "is" "cold" "+") ("squirrel" "likes" "rabbit" "~")) -> ("rabbit" "sees" "squirrel" "-"))
The squirrel is green.
True
1
proof
[(triple5)]
("squirrel" "is" "green" "+")
triple5
The squirrel is not green.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "green" "-")
triple5
The squirrel likes the squirrel.
True
3
proof
[(((triple6 triple9) -> rule1) OR ((triple6 ((triple4) -> rule3)) -> rule1))]
("squirrel" "likes" "squirrel" "+")
((triple6 triple9) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
((triple6 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int2
The squirrel does not like the squirrel.
False
3
inv-proof
[(((triple6 triple9) -> rule1) OR ((triple6 ((triple4) -> rule3)) -> rule1))]
("squirrel" "likes" "squirrel" "-")
((triple6 triple9) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
((triple6 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int2
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The rabbit does not like the squirrel.[(triple1)] The rabbit does not need the squirrel.[(triple2)] The rabbit sees the squirrel.[(triple3)] The squirrel does not see the rabbit.[(triple10)] The squirrel is cold.[(triple4)] The squirrel is green.[(triple5)] The squirrel is not round.[(triple7)] The squirrel is rough.[(triple6)] The squirrel likes the rabbit.[(triple8)] The squirrel needs the rabbit.[(triple9 OR ((triple4) -> rule3))] @1: The squirrel likes the squirrel.[(((triple6 triple9) -> rule1) OR ((triple6 ((triple4) -> rule3)) -> rule1))]
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
triple1
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
triple2
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple3
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple4
The squirrel is green.
("squirrel" "is" "green" "+")
triple5
The squirrel is not round.
("squirrel" "is" "round" "-")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple8
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple9
((triple4) -> (rule3 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple6 triple9) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
((triple6 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int2