The bald eagle visits the squirrel. The bear likes the bald eagle. The rabbit is kind. The squirrel likes the bald eagle. If someone likes the squirrel then they eat the squirrel. If someone eats the bald eagle and the bald eagle is big then the bald eagle is rough. If someone likes the bald eagle then they are cold.
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If someone likes the squirrel then they eat the squirrel.
((("someone" "likes" "squirrel" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the bald eagle and the bald eagle is big then the bald eagle is rough.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone likes the bald eagle then they are cold.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
The bear likes the bald eagle.
True
1
proof
[(triple2)]
("bear" "likes" "bald eagle" "+")
triple2
The bald eagle does not visit the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "squirrel" "-")
triple1
The rabbit is not cold.
Unknown
inv-rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "cold" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bald eagle visits the squirrel.[(triple1)] The bear likes the bald eagle.[(triple2)] The rabbit is kind.[(triple3)] The squirrel likes the bald eagle.[(triple4)] @1: The bear is cold.[(((triple2) -> rule3))] The squirrel is cold.[(((triple4) -> rule3))]
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple4
The bear is cold.
("bear" "is" "cold" "+")
((triple2) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple4) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1