The bald eagle is cold. The bald eagle likes the cat. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The cat is big. The cat is kind. The cat likes the bald eagle. The cat needs the bald eagle. The cat visits the rabbit. The rabbit is young. The rabbit likes the bald eagle. The rabbit does not like the cat. The rabbit needs the bald eagle. The rabbit needs the cat. The rabbit visits the bald eagle. The rabbit visits the cat. If something likes the bald eagle then it visits the rabbit.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something likes the bald eagle then it visits the rabbit.
((("something" "likes" "bald eagle" "+")) -> ("something" "visits" "rabbit" "+"))
The rabbit visits the cat.
True
1
proof
[(triple16)]
("rabbit" "visits" "cat" "+")
triple16
The bald eagle is not cold.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "cold" "-")
triple1
The rabbit visits the rabbit.
True
2
proof
[(((triple11) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((triple11) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit does not visit the rabbit.
False
2
inv-proof
[(((triple11) -> rule1))]
("rabbit" "visits" "rabbit" "-")
((triple11) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The bald eagle does not like the rabbit.
Unknown
inv-random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle needs the cat.
Unknown
random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The cat is big.[(triple5)] The cat is kind.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat visits the rabbit.[(triple9 OR ((triple7) -> rule1))] The rabbit does not like the cat.[(triple12)] The rabbit is young.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit needs the bald eagle.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit visits the bald eagle.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The rabbit visits the rabbit.[(((triple11) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The cat is big.
("cat" "is" "big" "+")
triple5
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple7
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple9
((triple7) -> (rule1 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple11
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple15
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple16
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple11) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1