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