The bald eagle chases the cat. The bald eagle is big. The bald eagle is blue. The bald eagle is not red. The bald eagle is not rough. The bald eagle is round. The bald eagle likes the cat. The bald eagle does not need the cat. The cat chases the bald eagle. The cat is blue. The cat is red. The cat is rough. The cat is round. The cat likes the bald eagle. The cat needs the bald eagle. If something likes the bald eagle then it likes the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
If something likes the bald eagle then it likes the cat.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "cat" "+"))
The cat likes the bald eagle.
True
1
proof
[(triple14)]
("cat" "likes" "bald eagle" "+")
triple14
The cat does not like the bald eagle.
False
1
inv-proof
[(triple14)]
("cat" "likes" "bald eagle" "-")
triple14
The cat likes the cat.
True
2
proof
[(((triple14) -> rule1))]
("cat" "likes" "cat" "+")
((triple14) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple14) -> rule1))]
("cat" "likes" "cat" "-")
((triple14) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
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 bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not need the cat.[(triple8)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle is not rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle likes the cat.[(triple7)] The cat chases the bald eagle.[(triple9)] The cat is blue.[(triple10)] The cat is red.[(triple11)] The cat is rough.[(triple12)] The cat is round.[(triple13)] The cat likes the bald eagle.[(triple14)] The cat needs the bald eagle.[(triple15)] @1: The cat likes the cat.[(((triple14) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
triple8
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple4
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple7
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple9
The cat is blue.
("cat" "is" "blue" "+")
triple10
The cat is red.
("cat" "is" "red" "+")
triple11
The cat is rough.
("cat" "is" "rough" "+")
triple12
The cat is round.
("cat" "is" "round" "+")
triple13
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple14
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple15
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple14) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1