The bald eagle sees the squirrel. The rabbit eats the squirrel. The rabbit is not blue. The rabbit is cold. The rabbit is not rough. The rabbit needs the bald eagle. The squirrel does not eat the bald eagle. The squirrel eats the rabbit. The squirrel is cold. The squirrel is not green. The squirrel is rough. The squirrel needs the rabbit. If someone needs the rabbit then they do not see the rabbit.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If someone needs the rabbit then they do not see the rabbit.
((("someone" "needs" "rabbit" "+")) -> ("someone" "sees" "rabbit" "-"))
The squirrel is not green.
True
1
proof
[(triple10)]
("squirrel" "is" "green" "-")
triple10
The squirrel eats the bald eagle.
False
1
inv-proof
[(triple7)]
("squirrel" "eats" "bald eagle" "+")
triple7
The squirrel does not see the rabbit.
True
2
proof
[(((triple12) -> rule1))]
("squirrel" "sees" "rabbit" "-")
((triple12) -> (rule1 % int1))
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
int1
The squirrel sees the rabbit.
False
2
inv-proof
[(((triple12) -> rule1))]
("squirrel" "sees" "rabbit" "+")
((triple12) -> (rule1 % int1))
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
int1
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is cold.[(triple4)] The rabbit is not blue.[(triple3)] The rabbit is not rough.[(triple5)] The rabbit needs the bald eagle.[(triple6)] The squirrel does not eat the bald eagle.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is not green.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the rabbit.[(triple12)] @1: The squirrel does not see the rabbit.[(((triple12) -> rule1))]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple4
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple3
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple5
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple6
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is not green.
("squirrel" "is" "green" "-")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple12
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
((triple12) -> (rule1 % int1))
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
int1