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