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