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