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