The cat eats the lion. The cat is green. The cat is nice. The cat needs the lion. The lion eats the cat. The lion is cold. The lion is green. The lion is kind. The lion likes the cat. The lion needs the cat. If someone is cold and they eat the lion then they are green. If someone is cold and they like the lion then the lion needs the cat. If someone needs the lion and the lion likes the cat then the cat is kind.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If someone is cold and they eat the lion then they are green.
((("someone" "is" "cold" "+") ("someone" "eats" "lion" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and they like the lion then the lion needs the cat.
((("someone" "is" "cold" "+") ("someone" "likes" "lion" "+")) -> ("lion" "needs" "cat" "+"))
If someone needs the lion and the lion likes the cat then the cat is kind.
((("someone" "needs" "lion" "+") ("lion" "likes" "cat" "+")) -> ("cat" "is" "kind" "+"))
The lion is kind.
True
1
proof
[(triple8)]
("lion" "is" "kind" "+")
triple8
The cat does not eat the lion.
False
1
inv-proof
[(triple1)]
("cat" "eats" "lion" "-")
triple1
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat eats the lion.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat needs the lion.[(triple4)] The lion eats the cat.[(triple5)] The lion is cold.[(triple6)] The lion is green.[(triple7)] The lion is kind.[(triple8)] The lion likes the cat.[(triple9)] The lion needs the cat.[(triple10)] @1: The cat is kind.[(((triple4 triple9) -> rule3))]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat needs the lion.
("cat" "needs" "lion" "+")
triple4
The lion eats the cat.
("lion" "eats" "cat" "+")
triple5
The lion is cold.
("lion" "is" "cold" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion likes the cat.
("lion" "likes" "cat" "+")
triple9
The lion needs the cat.
("lion" "needs" "cat" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
((triple4 triple9) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1