The bald eagle does not chase the cat. The bald eagle chases the lion. The bald eagle does not need the lion. The cat is big. The cat is not red. The cat does not need the tiger. The lion is blue. The lion needs the bald eagle. The tiger chases the cat. The tiger is nice. If something needs the bald eagle then the bald eagle is red.
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
The cat is big.
("cat" "is" "big" "+")
The cat is not red.
("cat" "is" "red" "-")
The cat does not need the tiger.
("cat" "needs" "tiger" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If something needs the bald eagle then the bald eagle is red.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple8)]
("lion" "needs" "bald eagle" "+")
triple8
The lion is not blue.
False
1
inv-proof
[(triple7)]
("lion" "is" "blue" "-")
triple7
The bald eagle is red.
True
2
proof
[(((triple8) -> rule1))]
("bald eagle" "is" "red" "+")
((triple8) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is not red.
False
2
inv-proof
[(((triple8) -> rule1))]
("bald eagle" "is" "red" "-")
((triple8) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The cat needs the lion.
Unknown
random
[@0: The cat needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "lion" "+")
@0: The bald eagle chases the lion.[(triple2)] The bald eagle does not chase the cat.[(triple1)] The bald eagle does not need the lion.[(triple3)] The cat does not need the tiger.[(triple6)] The cat is big.[(triple4)] The cat is not red.[(triple5)] The lion is blue.[(triple7)] The lion needs the bald eagle.[(triple8)] The tiger chases the cat.[(triple9)] The tiger is nice.[(triple10)] @1: The bald eagle is red.[(((triple8) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
triple1
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
triple3
The cat does not need the tiger.
("cat" "needs" "tiger" "-")
triple6
The cat is big.
("cat" "is" "big" "+")
triple4
The cat is not red.
("cat" "is" "red" "-")
triple5
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple8
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple8) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1