The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle is young. The bald eagle sees the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is big. The cat is cold. The cat is green. The cat is red. The cat is young. The cat sees the bald eagle. If something eats the bald eagle and the bald eagle chases the cat then the bald eagle is big. If something is cold and it chases the cat then the cat is big. If something is red and it chases the bald eagle then it eats the cat. If something sees the cat and it sees the bald eagle then the cat eats the bald eagle. If something sees the bald eagle then the bald eagle eats the cat. If the bald eagle sees the cat and the cat is young then the bald eagle eats the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
If something eats the bald eagle and the bald eagle chases the cat then the bald eagle is big.
((("something" "eats" "bald eagle" "+") ("bald eagle" "chases" "cat" "+")) -> ("bald eagle" "is" "big" "+"))
If something is cold and it chases the cat then the cat is big.
((("something" "is" "cold" "+") ("something" "chases" "cat" "+")) -> ("cat" "is" "big" "+"))
If something is red and it chases the bald eagle then it eats the cat.
((("something" "is" "red" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "eats" "cat" "+"))
If something sees the cat and it sees the bald eagle then the cat eats the bald eagle.
((("something" "sees" "cat" "+") ("something" "sees" "bald eagle" "+")) -> ("cat" "eats" "bald eagle" "+"))
If something sees the bald eagle then the bald eagle eats the cat.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If the bald eagle sees the cat and the cat is young then the bald eagle eats the cat.
((("bald eagle" "sees" "cat" "+") ("cat" "is" "young" "+")) -> ("bald eagle" "eats" "cat" "+"))
The cat is cold.
True
1
proof
[(triple12)]
("cat" "is" "cold" "+")
triple12
The bald eagle does not see the cat.
False
1
inv-proof
[(triple8)]
("bald eagle" "sees" "cat" "-")
triple8
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2 OR ((triple16) -> rule5) OR ((triple8 triple15) -> rule6))] The bald eagle is big.[(triple3 OR ((triple10 triple1) -> rule1))] The bald eagle is cold.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle sees the cat.[(triple8)] The cat chases the bald eagle.[(triple9)] The cat eats the bald eagle.[(triple10)] The cat is big.[(triple11 OR ((triple4 triple1) -> rule2))] The cat is cold.[(triple12)] The cat is green.[(triple13)] The cat is red.[(triple14)] The cat is young.[(triple15)] The cat sees the bald eagle.[(triple16)] @1: The cat eats the cat.[(((triple14 triple9) -> rule3))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
((triple16) -> (rule5 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
((triple8 triple15) -> (rule6 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
((triple10 triple1) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple5
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple6
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple7
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple8
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple9
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple10
The cat is big.
("cat" "is" "big" "+")
triple11
((triple4 triple1) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
triple12
The cat is green.
("cat" "is" "green" "+")
triple13
The cat is red.
("cat" "is" "red" "+")
triple14
The cat is young.
("cat" "is" "young" "+")
triple15
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple16
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple14 triple9) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1