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