The bald eagle does not eat the cow. The bald eagle likes the cow. The cow does not eat the bald eagle. The cow is not big. The cow is red. The cow does not like the bald eagle. The cow needs the bald eagle. If someone likes the cow then they are big.
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
The cow is not big.
("cow" "is" "big" "-")
The cow is red.
("cow" "is" "red" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
If someone likes the cow then they are big.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "big" "+"))
The cow is red.
True
1
proof
[(triple5)]
("cow" "is" "red" "+")
triple5
The cow likes the bald eagle.
False
1
inv-proof
[(triple6)]
("cow" "likes" "bald eagle" "+")
triple6
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
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 does not eat the cow.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow does not eat the bald eagle.[(triple3)] The cow does not like the bald eagle.[(triple6)] The cow is not big.[(triple4)] The cow is red.[(triple5)] The cow needs the bald eagle.[(triple7)] @1: The bald eagle is big.[(((triple2) -> rule1))]
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
triple3
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple6
The cow is not big.
("cow" "is" "big" "-")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple7
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple2) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1