The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The squirrel chases the bald eagle. The squirrel is green. The squirrel likes the bald eagle. The squirrel sees the bald eagle. If someone likes the squirrel then the squirrel likes the bald eagle. If the bald eagle sees the squirrel and the bald eagle is green then the squirrel sees the bald eagle. If the squirrel is green and the squirrel is round then the squirrel sees the bald eagle. If someone is red and they chase the squirrel then they chase the bald eagle. If someone chases the bald eagle and the bald eagle sees the squirrel then the bald eagle is round. If someone is blue and they like the squirrel then they like the bald eagle. If the squirrel likes the bald eagle then the squirrel chases the bald eagle. If someone likes the bald eagle then the bald eagle likes the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
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 is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone likes the squirrel then the squirrel likes the bald eagle.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If the bald eagle sees the squirrel and the bald eagle is green then the squirrel sees the bald eagle.
((("bald eagle" "sees" "squirrel" "+") ("bald eagle" "is" "green" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If the squirrel is green and the squirrel is round then the squirrel sees the bald eagle.
((("squirrel" "is" "green" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If someone is red and they chase the squirrel then they chase the bald eagle.
((("someone" "is" "red" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bald eagle and the bald eagle sees the squirrel then the bald eagle is round.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "+")) -> ("bald eagle" "is" "round" "+"))
If someone is blue and they like the squirrel then they like the bald eagle.
((("someone" "is" "blue" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the squirrel likes the bald eagle then the squirrel chases the bald eagle.
((("squirrel" "likes" "bald eagle" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If someone likes the bald eagle then the bald eagle likes the squirrel.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
The bald eagle is green.
True
1
proof
[(triple3)]
("bald eagle" "is" "green" "+")
triple3
The squirrel does not see the bald eagle.
False
1
inv-proof
[(triple12 OR ((triple8 triple3) -> rule2))]
("squirrel" "sees" "bald eagle" "-")
triple12
((triple8 triple3) -> (rule2 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6 OR ((triple9 triple8) -> rule5) OR ((((triple11) -> rule7) triple8) -> rule5) OR ((((triple5 triple1) -> rule4) triple8) -> rule5) OR ((((((triple7) -> rule1)) -> rule7) triple8) -> rule5))] The bald eagle likes the squirrel.[(triple7 OR ((triple11) -> rule8))] The bald eagle sees the squirrel.[(triple8)] The squirrel chases the bald eagle.[(triple9 OR ((triple11) -> rule7) OR ((((triple7) -> rule1)) -> rule7))] The squirrel is green.[(triple10)] The squirrel likes the bald eagle.[(triple11 OR ((triple7) -> rule1))] The squirrel sees the bald eagle.[(triple12 OR ((triple8 triple3) -> rule2))] @1: The bald eagle chases the bald eagle.[(((triple5 triple1) -> rule4))] The bald eagle likes the bald eagle.[(((triple2 triple7) -> rule6) OR ((triple2 ((triple11) -> rule8)) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
((triple9 triple8) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple11) -> (rule7 % int2)) triple8) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
((((triple5 triple1) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule7 % int2)) triple8) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple7
((triple11) -> (rule8 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple8
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
((triple11) -> (rule7 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple11
((triple7) -> (rule1 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple12
((triple8 triple3) -> (rule2 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple5 triple1) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple2 triple7) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
((triple2 ((triple11) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2