The bald eagle is big. The bald eagle needs the cat. The bald eagle needs the cow. The bald eagle visits the cat. The cat is nice. The cat likes the bald eagle. The cow likes the cat. If someone needs the cat and they visit the bald eagle then the cat is nice. If someone is big and they visit the cat then the cat needs the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
If someone needs the cat and they visit the bald eagle then the cat is nice.
((("someone" "needs" "cat" "+") ("someone" "visits" "bald eagle" "+")) -> ("cat" "is" "nice" "+"))
If someone is big and they visit the cat then the cat needs the bald eagle.
((("someone" "is" "big" "+") ("someone" "visits" "cat" "+")) -> ("cat" "needs" "bald eagle" "+"))
The bald eagle needs the cat.
True
1
proof
[(triple2)]
("bald eagle" "needs" "cat" "+")
triple2
The bald eagle does not need the cow.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "cow" "-")
triple3
The cat needs the bald eagle.
True
3
proof
[(((triple1 triple4) -> rule2))]
("cat" "needs" "bald eagle" "+")
((triple1 triple4) -> (rule2 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The cat does not need the bald eagle.
False
3
inv-proof
[(((triple1 triple4) -> rule2))]
("cat" "needs" "bald eagle" "-")
((triple1 triple4) -> (rule2 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat is nice.[(triple5)] The cat likes the bald eagle.[(triple6)] The cow likes the cat.[(triple7)] @1: The cat needs the bald eagle.[(((triple1 triple4) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
((triple1 triple4) -> (rule2 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1