The bald eagle visits the cat. The bear needs the cat. The cat likes the bear. If something is nice and it needs the bear then it needs the bald eagle. If something needs the cat then it is blue. If something visits the cat then the cat likes the bear. If something likes the cat and the cat visits the bear then the bear visits the bald eagle. If something is cold then it likes the bald eagle. If something likes the cat then it is blue.
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
If something is nice and it needs the bear then it needs the bald eagle.
((("something" "is" "nice" "+") ("something" "needs" "bear" "+")) -> ("something" "needs" "bald eagle" "+"))
If something needs the cat then it is blue.
((("something" "needs" "cat" "+")) -> ("something" "is" "blue" "+"))
If something visits the cat then the cat likes the bear.
((("something" "visits" "cat" "+")) -> ("cat" "likes" "bear" "+"))
If something likes the cat and the cat visits the bear then the bear visits the bald eagle.
((("something" "likes" "cat" "+") ("cat" "visits" "bear" "+")) -> ("bear" "visits" "bald eagle" "+"))
If something is cold then it likes the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "likes" "bald eagle" "+"))
If something likes the cat then it is blue.
((("something" "likes" "cat" "+")) -> ("something" "is" "blue" "+"))
The cat likes the bear.
True
1
proof
[(triple3 OR ((triple1) -> rule3))]
("cat" "likes" "bear" "+")
triple3
((triple1) -> (rule3 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat does not like the bear.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule3))]
("cat" "likes" "bear" "-")
triple3
((triple1) -> (rule3 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The cat needs the bear.
Unknown
random
[@0: The cat needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bear" "+")
@0: The bald eagle visits the cat.[(triple1)] The bear needs the cat.[(triple2)] The cat likes the bear.[(triple3 OR ((triple1) -> rule3))] @1: The bear is blue.[(((triple2) -> rule2))]
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
The cat likes the bear.
("cat" "likes" "bear" "+")
triple3
((triple1) -> (rule3 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1