The bald eagle is big. The bald eagle likes the cow. The bald eagle sees the cow. The cow is big. The cow is nice. The cow likes the bald eagle. The cow sees the bald eagle. If the bald eagle likes the cow then the bald eagle eats the cow.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If the bald eagle likes the cow then the bald eagle eats the cow.
((("bald eagle" "likes" "cow" "+")) -> ("bald eagle" "eats" "cow" "+"))
The cow likes the bald eagle.
True
1
proof
[(triple6)]
("cow" "likes" "bald eagle" "+")
triple6
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The bald eagle eats the cow.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "eats" "cow" "-")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle sees the cow.[(triple3)] The cow is big.[(triple4)] The cow is nice.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow sees the bald eagle.[(triple7)] @1: The bald eagle eats the cow.[(((triple2) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1