The bald eagle is cold. The bald eagle is green. The bald eagle is rough. The bald eagle likes the cat. The bald eagle needs the cat. The cat eats the bald eagle. The cat is cold. The cat is green. The cat is red. The cat is rough. The cat likes the bald eagle. The cat needs the bald eagle. If something likes the cat and the cat eats the bald eagle then the bald eagle likes the cat. If something likes the cat and the cat eats the bald eagle then the bald eagle eats the cat. If something is cold and it eats the cat then it likes the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
If something likes the cat and the cat eats the bald eagle then the bald eagle likes the cat.
((("something" "likes" "cat" "+") ("cat" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
If something likes the cat and the cat eats the bald eagle then the bald eagle eats the cat.
((("something" "likes" "cat" "+") ("cat" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If something is cold and it eats the cat then it likes the bald eagle.
((("something" "is" "cold" "+") ("something" "eats" "cat" "+")) -> ("something" "likes" "bald eagle" "+"))
The cat is red.
True
1
proof
[(triple9)]
("cat" "is" "red" "+")
triple9
The cat is not green.
False
1
inv-proof
[(triple8)]
("cat" "is" "green" "-")
triple8
The bald eagle eats the cat.
True
3
proof
[(((triple4 triple6) -> rule2))]
("bald eagle" "eats" "cat" "+")
((triple4 triple6) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle does not eat the cat.
False
3
inv-proof
[(((triple4 triple6) -> rule2))]
("bald eagle" "eats" "cat" "-")
((triple4 triple6) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle likes the bald eagle.
True
5
proof
[(((triple1 ((triple4 triple6) -> rule2)) -> rule3))]
("bald eagle" "likes" "bald eagle" "+")
((triple1 ((triple4 triple6) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle does not like the bald eagle.
False
5
inv-proof
[(((triple1 ((triple4 triple6) -> rule2)) -> rule3))]
("bald eagle" "likes" "bald eagle" "-")
((triple1 ((triple4 triple6) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
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 is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle needs the cat.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is cold.[(triple7)] The cat is green.[(triple8)] The cat is red.[(triple9)] The cat is rough.[(triple10)] The cat likes the bald eagle.[(triple11)] The cat needs the bald eagle.[(triple12)] @1: The bald eagle eats the cat.[(((triple4 triple6) -> rule2))] @2: The bald eagle likes the bald eagle.[(((triple1 ((triple4 triple6) -> rule2)) -> rule3))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple5
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat is cold.
("cat" "is" "cold" "+")
triple7
The cat is green.
("cat" "is" "green" "+")
triple8
The cat is red.
("cat" "is" "red" "+")
triple9
The cat is rough.
("cat" "is" "rough" "+")
triple10
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple11
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple12
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((triple4 triple6) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple1 ((triple4 triple6) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2