The rabbit eats the squirrel. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit is not round. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is cold. The squirrel needs the rabbit. The squirrel sees the rabbit. If something is rough and it does not need the squirrel then it sees the rabbit.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit needs the squirrel.
("rabbit" "needs" "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 needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something is rough and it does not need the squirrel then it sees the rabbit.
((("something" "is" "rough" "+") ("something" "needs" "squirrel" "~")) -> ("something" "sees" "rabbit" "+"))
The squirrel eats the rabbit.
True
1
proof
[(triple9)]
("squirrel" "eats" "rabbit" "+")
triple9
The rabbit does not see the squirrel.
False
1
inv-proof
[(triple8)]
("rabbit" "sees" "squirrel" "-")
triple8
The rabbit does not see the rabbit.
Unknown
inv-rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "rabbit" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is green.[(triple3)] The rabbit is not round.[(triple6)] The rabbit is red.[(triple4)] The rabbit is rough.[(triple5)] The rabbit needs the squirrel.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is cold.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12)]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is not round.
("rabbit" "is" "round" "-")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple4
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple5
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple7
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple8
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple11
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple12