The bald eagle chases the bear. The bald eagle chases the cat. The bald eagle is big. The bald eagle is cold. The bald eagle needs the bear. The bald eagle needs the cat. The bald eagle visits the bear. The bear is big. The bear is round. The bear needs the bald eagle. The cat chases the bald eagle. The cat chases the bear. The cat is nice. The cat needs the bald eagle. The cat needs the bear. The cat visits the bald eagle. If something visits the bear and the bear chases the cat then the bear is young. If something visits the bear then the bear needs the cat.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
If something visits the bear and the bear chases the cat then the bear is young.
((("something" "visits" "bear" "+") ("bear" "chases" "cat" "+")) -> ("bear" "is" "young" "+"))
If something visits the bear then the bear needs the cat.
((("something" "visits" "bear" "+")) -> ("bear" "needs" "cat" "+"))
The cat visits the bald eagle.
True
1
proof
[(triple16)]
("cat" "visits" "bald eagle" "+")
triple16
The bald eagle does not chase the cat.
False
1
inv-proof
[(triple2)]
("bald eagle" "chases" "cat" "-")
triple2
The bear needs the cat.
True
2
proof
[(((triple7) -> rule2))]
("bear" "needs" "cat" "+")
((triple7) -> (rule2 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear does not need the cat.
False
2
inv-proof
[(((triple7) -> rule2))]
("bear" "needs" "cat" "-")
((triple7) -> (rule2 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "young" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cat.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle needs the cat.[(triple6)] The bald eagle visits the bear.[(triple7)] The bear is big.[(triple8)] The bear is round.[(triple9)] The bear needs the bald eagle.[(triple10)] The cat chases the bald eagle.[(triple11)] The cat chases the bear.[(triple12)] The cat is nice.[(triple13)] The cat needs the bald eagle.[(triple14)] The cat needs the bear.[(triple15)] The cat visits the bald eagle.[(triple16)] @1: The bear needs the cat.[(((triple7) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple5
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple6
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple7
The bear is big.
("bear" "is" "big" "+")
triple8
The bear is round.
("bear" "is" "round" "+")
triple9
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple10
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple11
The cat chases the bear.
("cat" "chases" "bear" "+")
triple12
The cat is nice.
("cat" "is" "nice" "+")
triple13
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple14
The cat needs the bear.
("cat" "needs" "bear" "+")
triple15
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple16
The bear needs the cat.
("bear" "needs" "cat" "+")
((triple7) -> (rule2 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1