The bald eagle eats the cow. The bald eagle is big. The bald eagle is kind. The bald eagle is red. The bald eagle is young. The bald eagle likes the cow. The bald eagle needs the cow. The cow eats the bald eagle. The cow is cold. The cow is young. The cow likes the bald eagle. The cow needs the bald eagle. If the bald eagle likes the cow then the bald eagle is kind. If something is young and it likes the cow then it eats the bald eagle. If something needs the cow then it is red.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
If the bald eagle likes the cow then the bald eagle is kind.
((("bald eagle" "likes" "cow" "+")) -> ("bald eagle" "is" "kind" "+"))
If something is young and it likes the cow then it eats the bald eagle.
((("something" "is" "young" "+") ("something" "likes" "cow" "+")) -> ("something" "eats" "bald eagle" "+"))
If something needs the cow then it is red.
((("something" "needs" "cow" "+")) -> ("something" "is" "red" "+"))
The cow needs the bald eagle.
True
1
proof
[(triple12)]
("cow" "needs" "bald eagle" "+")
triple12
The bald eagle is not young.
False
1
inv-proof
[(triple5)]
("bald eagle" "is" "young" "-")
triple5
The bald eagle eats the bald eagle.
True
3
proof
[(((triple5 triple6) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((triple5 triple6) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((triple5 triple6) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "red" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple6) -> rule1))] The bald eagle is red.[(triple4 OR ((triple7) -> rule3))] The bald eagle is young.[(triple5)] The bald eagle likes the cow.[(triple6)] The bald eagle needs the cow.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow is cold.[(triple9)] The cow is young.[(triple10)] The cow likes the bald eagle.[(triple11)] The cow needs the bald eagle.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple5 triple6) -> rule2))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
((triple6) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
((triple7) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple6
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple7
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow is young.
("cow" "is" "young" "+")
triple10
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple11
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple12
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple5 triple6) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1