The bald eagle chases the squirrel. The bald eagle eats the squirrel. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle needs the squirrel. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel needs the bald eagle. If something is round then it chases the bald eagle. If something needs the bald eagle then it eats the bald eagle. If something is round and it needs the squirrel then the squirrel is green. If something needs the bald eagle then the bald eagle needs the squirrel. If something eats the bald eagle then the bald eagle is kind. If the bald eagle chases the squirrel and the squirrel does not chase the bald eagle then the squirrel eats the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
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 is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something is round then it chases the bald eagle.
((("something" "is" "round" "+")) -> ("something" "chases" "bald eagle" "+"))
If something needs the bald eagle then it eats the bald eagle.
((("something" "needs" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is round and it needs the squirrel then the squirrel is green.
((("something" "is" "round" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If something needs the bald eagle then the bald eagle needs the squirrel.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If something eats the bald eagle then the bald eagle is kind.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If the bald eagle chases the squirrel and the squirrel does not chase the bald eagle then the squirrel eats the bald eagle.
((("bald eagle" "chases" "squirrel" "+") ("squirrel" "chases" "bald eagle" "~")) -> ("squirrel" "eats" "bald eagle" "+"))
The squirrel is red.
True
1
proof
[(triple13)]
("squirrel" "is" "red" "+")
triple13
The bald eagle is not green.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "green" "-")
triple3
The bald eagle chases the bald eagle.
True
2
proof
[(((triple6) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple6) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple6) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
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 squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4 OR ((triple10) -> rule5) OR ((((triple16) -> rule2)) -> rule5))] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle needs the squirrel.[(triple8 OR ((triple16) -> rule4))] The squirrel chases the bald eagle.[(triple9 OR ((triple14) -> rule1))] The squirrel eats the bald eagle.[(triple10 OR ((triple16) -> rule2))] The squirrel is green.[(triple11 OR ((triple6 triple8) -> rule3) OR ((triple6 ((triple16) -> rule4)) -> rule3))] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple6) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
((triple10) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((((triple16) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple7
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple8
((triple16) -> (rule4 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
((triple14) -> (rule1 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10
((triple16) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
((triple6 triple8) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple6 ((triple16) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple16
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1