The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The squirrel eats the bald eagle. The squirrel is not blue. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel likes the bald eagle. The squirrel does not see the bald eagle. If someone is green and they see the bald eagle then they are kind. If the bald eagle is not cold then the bald eagle is red. If someone eats the bald eagle then the bald eagle is blue. If someone is kind then they do not see the bald eagle. If the squirrel eats the bald eagle then the squirrel likes the bald eagle. If the squirrel likes the bald eagle and the squirrel eats the bald eagle then the bald eagle eats the squirrel. If someone eats the bald eagle and the bald eagle is not kind then they like the bald eagle. If someone sees the squirrel and the squirrel sees the bald eagle then they do not like the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
If someone is green and they see the bald eagle then they are kind.
((("someone" "is" "green" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
If the bald eagle is not cold then the bald eagle is red.
((("bald eagle" "is" "cold" "~")) -> ("bald eagle" "is" "red" "+"))
If someone eats the bald eagle then the bald eagle is blue.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone is kind then they do not see the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "bald eagle" "-"))
If the squirrel eats the bald eagle then the squirrel likes the bald eagle.
((("squirrel" "eats" "bald eagle" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If the squirrel likes the bald eagle and the squirrel eats the bald eagle then the bald eagle eats the squirrel.
((("squirrel" "likes" "bald eagle" "+") ("squirrel" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If someone eats the bald eagle and the bald eagle is not kind then they like the bald eagle.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "is" "kind" "~")) -> ("someone" "likes" "bald eagle" "+"))
If someone sees the squirrel and the squirrel sees the bald eagle then they do not like the bald eagle.
((("someone" "sees" "squirrel" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "-"))
The bald eagle is green.
True
1
proof
[(triple4)]
("bald eagle" "is" "green" "+")
triple4
The squirrel sees the bald eagle.
False
1
inv-proof
[(triple16 OR ((triple13) -> rule4))]
("squirrel" "sees" "bald eagle" "+")
triple16
((triple13) -> (rule4 % int1))
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
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 eats the squirrel.[(triple1 OR ((triple15 triple9) -> rule6) OR ((((triple9) -> rule5) triple9) -> rule6))] The bald eagle is blue.[(triple2 OR ((triple9) -> rule3))] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle likes the squirrel.[(triple7)] The bald eagle sees the squirrel.[(triple8)] The squirrel does not see the bald eagle.[(triple16 OR ((triple13) -> rule4))] The squirrel eats the bald eagle.[(triple9)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is not blue.[(triple10)] The squirrel is red.[(triple14)] The squirrel likes the bald eagle.[(triple15 OR ((triple9) -> rule5))] @1: The bald eagle does not see the bald eagle.[(((triple5) -> rule4))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
((triple15 triple9) -> (rule6 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
((((triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
((triple9) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple6
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple7
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple8
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple16
((triple13) -> (rule4 % int1))
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple15
((triple9) -> (rule5 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
("bald eagle" "sees" "bald eagle" "-")
((triple5) -> (rule4 % int1))
The bald eagle does not see the bald eagle.
("bald eagle" "sees" "bald eagle" "-")
int1