The cat sees the rabbit. The rabbit sees the cat. If the rabbit is round and the rabbit chases the cat then the rabbit does not like the cat.
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If the rabbit is round and the rabbit chases the cat then the rabbit does not like the cat.
((("rabbit" "is" "round" "+") ("rabbit" "chases" "cat" "+")) -> ("rabbit" "likes" "cat" "-"))
The cat sees the rabbit.
True
1
proof
[(triple1)]
("cat" "sees" "rabbit" "+")
triple1
The rabbit does not see the cat.
False
1
inv-proof
[(triple2)]
("rabbit" "sees" "cat" "-")
triple2
The rabbit does not chase the cat.
Unknown
inv-random
[@0: The rabbit chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cat" "-")
The rabbit likes the cat.
Unknown
random
[@0: The rabbit likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cat" "+")
@0: The cat sees the rabbit.[(triple1)] The rabbit sees the cat.[(triple2)]
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple2