The bald eagle is rough. The bald eagle is not round. The bald eagle sees the bear. The bald eagle does not see the squirrel. The bear eats the squirrel. The bear is blue. The bear is cold. The bear is rough. The squirrel does not chase the bear. The squirrel does not eat the bald eagle. If someone is cold and they chase the squirrel then they see the bear.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is rough.
("bear" "is" "rough" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
If someone is cold and they chase the squirrel then they see the bear.
((("someone" "is" "cold" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "sees" "bear" "+"))
The squirrel does not chase the bear.
True
1
proof
[(triple9)]
("squirrel" "chases" "bear" "-")
triple9
The bald eagle sees the squirrel.
False
1
inv-proof
[(triple4)]
("bald eagle" "sees" "squirrel" "+")
triple4
The squirrel does not see the bear.
Unknown
inv-rconc
[@1: The squirrel sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "bear" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bald eagle does not see the squirrel.[(triple4)] The bald eagle is not round.[(triple2)] The bald eagle is rough.[(triple1)] The bald eagle sees the bear.[(triple3)] The bear eats the squirrel.[(triple5)] The bear is blue.[(triple6)] The bear is cold.[(triple7)] The bear is rough.[(triple8)] The squirrel does not chase the bear.[(triple9)] The squirrel does not eat the bald eagle.[(triple10)]
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
triple4
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple7
The bear is rough.
("bear" "is" "rough" "+")
triple8
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple9
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple10