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