The rabbit does not visit the squirrel. The squirrel sees the rabbit. If something sees the rabbit and it is not red then it is round. If the rabbit is not cold then the rabbit sees the squirrel. If something sees the squirrel and it does not visit the rabbit then the squirrel is not blue.
The rabbit does not visit the squirrel.
("rabbit" "visits" "squirrel" "-")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something sees the rabbit and it is not red then it is round.
((("something" "sees" "rabbit" "+") ("something" "is" "red" "~")) -> ("something" "is" "round" "+"))
If the rabbit is not cold then the rabbit sees the squirrel.
((("rabbit" "is" "cold" "~")) -> ("rabbit" "sees" "squirrel" "+"))
If something sees the squirrel and it does not visit the rabbit then the squirrel is not blue.
((("something" "sees" "squirrel" "+") ("something" "visits" "rabbit" "~")) -> ("squirrel" "is" "blue" "-"))
The rabbit does not visit the squirrel.
True
1
proof
[(triple1)]
("rabbit" "visits" "squirrel" "-")
triple1
The rabbit visits the squirrel.
False
1
inv-proof
[(triple1)]
("rabbit" "visits" "squirrel" "+")
triple1
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "round" "-")
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 does not visit the squirrel.[(triple1)] The squirrel sees the rabbit.[(triple2)]
The rabbit does not visit the squirrel.
("rabbit" "visits" "squirrel" "-")
triple1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple2