The rabbit is young. The squirrel likes the rabbit. If something eats the rabbit then it likes the squirrel. If the rabbit is kind and the rabbit is green then the rabbit eats the squirrel.
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If something eats the rabbit then it likes the squirrel.
((("something" "eats" "rabbit" "+")) -> ("something" "likes" "squirrel" "+"))
If the rabbit is kind and the rabbit is green then the rabbit eats the squirrel.
((("rabbit" "is" "kind" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "eats" "squirrel" "+"))
The rabbit is young.
True
1
proof
[(triple1)]
("rabbit" "is" "young" "+")
triple1
The rabbit is not young.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "young" "-")
triple1
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The rabbit is young.[(triple1)] The squirrel likes the rabbit.[(triple2)]
The rabbit is young.
("rabbit" "is" "young" "+")
triple1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple2