The bald eagle eats the squirrel. The squirrel is rough. The tiger sees the squirrel. If the squirrel eats the bald eagle and the bald eagle sees the squirrel then the bald eagle is kind. If someone is rough and big then they see the squirrel. If someone chases the squirrel and the squirrel is rough then they are kind. If someone is red and blue then they chase the squirrel. If someone sees the bald eagle then they are blue. If someone is red and they chase the tiger then they eat the squirrel.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If the squirrel eats the bald eagle and the bald eagle sees the squirrel then the bald eagle is kind.
((("squirrel" "eats" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone is rough and big then they see the squirrel.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone chases the squirrel and the squirrel is rough then they are kind.
((("someone" "chases" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and blue then they chase the squirrel.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone sees the bald eagle then they are blue.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and they chase the tiger then they eat the squirrel.
((("someone" "is" "red" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "eats" "squirrel" "+"))
The squirrel is rough.
True
1
proof
[(triple2)]
("squirrel" "is" "rough" "+")
triple2
The tiger does not see the squirrel.
False
1
inv-proof
[(triple3)]
("tiger" "sees" "squirrel" "-")
triple3
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The squirrel is rough.[(triple2)] The tiger sees the squirrel.[(triple3)]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple3