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