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