The rabbit needs the tiger. The tiger needs the rabbit. The tiger visits the rabbit. If something is cold and green then it does not like the rabbit.
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If something is cold and green then it does not like the rabbit.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "likes" "rabbit" "-"))
The rabbit needs the tiger.
True
1
proof
[(triple1)]
("rabbit" "needs" "tiger" "+")
triple1
The tiger does not need the rabbit.
False
1
inv-proof
[(triple2)]
("tiger" "needs" "rabbit" "-")
triple2
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The rabbit needs the tiger.[(triple1)] The tiger needs the rabbit.[(triple2)] The tiger visits the rabbit.[(triple3)]
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple2
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple3