The cow likes the squirrel. The rabbit sees the cow. The squirrel is young. The tiger is green. If someone eats the rabbit and they like the squirrel then the squirrel likes the rabbit. If someone likes the rabbit and they like the squirrel then they are big. If someone eats the tiger then they are green.
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone eats the rabbit and they like the squirrel then the squirrel likes the rabbit.
((("someone" "eats" "rabbit" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If someone likes the rabbit and they like the squirrel then they are big.
((("someone" "likes" "rabbit" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If someone eats the tiger then they are green.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "green" "+"))
The rabbit sees the cow.
True
1
proof
[(triple2)]
("rabbit" "sees" "cow" "+")
triple2
The cow does not like the squirrel.
False
1
inv-proof
[(triple1)]
("cow" "likes" "squirrel" "-")
triple1
The squirrel does not like the rabbit.
Unknown
inv-rconc
[@1: The squirrel likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "rabbit" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow likes the squirrel.[(triple1)] The rabbit sees the cow.[(triple2)] The squirrel is young.[(triple3)] The tiger is green.[(triple4)]
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple1
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple2
The squirrel is young.
("squirrel" "is" "young" "+")
triple3
The tiger is green.
("tiger" "is" "green" "+")
triple4