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