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