The bald eagle is cold. The bear needs the squirrel. The rabbit needs the bear. The squirrel is rough. If someone needs the rabbit then they need the squirrel. Round, kind people are green. If someone sees the squirrel then they are cold. If someone sees the squirrel and they visit the bald eagle then the squirrel visits the rabbit. If the squirrel sees the bald eagle then the bald eagle is kind. If someone is cold then they visit the rabbit.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone needs the rabbit then they need the squirrel.
((("someone" "needs" "rabbit" "+")) -> ("someone" "needs" "squirrel" "+"))
Round, kind people are green.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone sees the squirrel then they are cold.
((("someone" "sees" "squirrel" "+")) -> ("someone" "is" "cold" "+"))
If someone sees the squirrel and they visit the bald eagle then the squirrel visits the rabbit.
((("someone" "sees" "squirrel" "+") ("someone" "visits" "bald eagle" "+")) -> ("squirrel" "visits" "rabbit" "+"))
If the squirrel sees the bald eagle then the bald eagle is kind.
((("squirrel" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone is cold then they visit the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "rabbit" "+"))
The bear needs the squirrel.
True
1
proof
[(triple2)]
("bear" "needs" "squirrel" "+")
triple2
The bear does not need the squirrel.
False
1
inv-proof
[(triple2)]
("bear" "needs" "squirrel" "-")
triple2
The bald eagle visits the rabbit.
True
2
proof
[(((triple1) -> rule6))]
("bald eagle" "visits" "rabbit" "+")
((triple1) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle does not visit the rabbit.
False
2
inv-proof
[(((triple1) -> rule6))]
("bald eagle" "visits" "rabbit" "-")
((triple1) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle does not need the squirrel.
Unknown
inv-rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "green" "+")
The squirrel does not see the bear.
Unknown
inv-random
[@0: The squirrel sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bear" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle is cold.[(triple1)] The bear needs the squirrel.[(triple2)] The rabbit needs the bear.[(triple3)] The squirrel is rough.[(triple4)] @1: The bald eagle visits the rabbit.[(((triple1) -> rule6))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((triple1) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1