The bald eagle is cold. The bald eagle does not need the rabbit. The bald eagle does not see the bear. The bear is cold. The bear visits the bald eagle. The rabbit needs the bald eagle. The rabbit needs the bear. If someone is kind and they need the bear then they see the bear. If someone sees the rabbit and the rabbit sees the bald eagle then the bald eagle is cold. If someone is blue then they visit the rabbit. If someone needs the rabbit then they do not need the bear. If someone sees the bear then the bear needs the bald eagle. All kind people are rough.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If someone is kind and they need the bear then they see the bear.
((("someone" "is" "kind" "+") ("someone" "needs" "bear" "+")) -> ("someone" "sees" "bear" "+"))
If someone sees the rabbit and the rabbit sees the bald eagle then the bald eagle is cold.
((("someone" "sees" "rabbit" "+") ("rabbit" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone is blue then they visit the rabbit.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone needs the rabbit then they do not need the bear.
((("someone" "needs" "rabbit" "+")) -> ("someone" "needs" "bear" "-"))
If someone sees the bear then the bear needs the bald eagle.
((("someone" "sees" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
The bald eagle does not need the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "needs" "rabbit" "-")
triple2
The rabbit does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("rabbit" "needs" "bald eagle" "-")
triple6
The bald eagle does not visit the rabbit.
Unknown
inv-rconc
[@1: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The bear sees the rabbit.
Unknown
random
[@0: The bear sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "rabbit" "+")
@0: The bald eagle does not need the rabbit.[(triple2)] The bald eagle does not see the bear.[(triple3)] The bald eagle is cold.[(triple1)] The bear is cold.[(triple4)] The bear visits the bald eagle.[(triple5)] The rabbit needs the bald eagle.[(triple6)] The rabbit needs the bear.[(triple7)]
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
triple2
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple5
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple6
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple7