The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle needs the cat. The bald eagle needs the lion. The cat eats the bald eagle. The cat eats the lion. The cat is blue. The cat needs the bald eagle. The cat needs the lion. The lion is kind. The lion is young. The lion needs the cat. If the bald eagle eats the cat then the cat is cold.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If the bald eagle eats the cat then the cat is cold.
((("bald eagle" "eats" "cat" "+")) -> ("cat" "is" "cold" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple5)]
("cat" "eats" "bald eagle" "+")
triple5
The bald eagle does not need the cat.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "cat" "-")
triple3
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the lion.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat eats the lion.[(triple6)] The cat is blue.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat needs the lion.[(triple9)] The lion is kind.[(triple10)] The lion is young.[(triple11)] The lion needs the cat.[(triple12)] @1: The cat is cold.[(((triple2) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple5
The cat eats the lion.
("cat" "eats" "lion" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple7
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple8
The cat needs the lion.
("cat" "needs" "lion" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10
The lion is young.
("lion" "is" "young" "+")
triple11
The lion needs the cat.
("lion" "needs" "cat" "+")
triple12
The cat is cold.
("cat" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1