The bald eagle chases the cow. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle visits the squirrel. The cow is red. The cow visits the bald eagle. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If something chases the bald eagle then it needs the squirrel. If something visits the cow and it is green then the cow is cold. If something is nice and it visits the squirrel then the squirrel visits the cow. If something chases the squirrel and the squirrel visits the cow then the cow is blue. If something needs the cow then the cow needs the squirrel. If something needs the bald eagle and the bald eagle is green then it chases the cow. If something visits the bald eagle then the bald eagle visits the squirrel. If something needs the cow then it is green.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
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 nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow is red.
("cow" "is" "red" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something chases the bald eagle then it needs the squirrel.
((("something" "chases" "bald eagle" "+")) -> ("something" "needs" "squirrel" "+"))
If something visits the cow and it is green then the cow is cold.
((("something" "visits" "cow" "+") ("something" "is" "green" "+")) -> ("cow" "is" "cold" "+"))
If something is nice and it visits the squirrel then the squirrel visits the cow.
((("something" "is" "nice" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
If something chases the squirrel and the squirrel visits the cow then the cow is blue.
((("something" "chases" "squirrel" "+") ("squirrel" "visits" "cow" "+")) -> ("cow" "is" "blue" "+"))
If something needs the cow then the cow needs the squirrel.
((("something" "needs" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If something needs the bald eagle and the bald eagle is green then it chases the cow.
((("something" "needs" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("something" "chases" "cow" "+"))
If something visits the bald eagle then the bald eagle visits the squirrel.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If something needs the cow then it is green.
((("something" "needs" "cow" "+")) -> ("something" "is" "green" "+"))
The squirrel visits the bald eagle.
True
1
proof
[(triple16)]
("squirrel" "visits" "bald eagle" "+")
triple16
The bald eagle is not blue.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "green" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4 OR ((triple6) -> rule8))] The bald eagle is nice.[(triple5)] The bald eagle needs the cow.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The bald eagle visits the squirrel.[(triple8 OR ((triple10) -> rule7) OR ((triple16) -> rule7))] The cow is red.[(triple9)] The cow visits the bald eagle.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is nice.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The cow needs the squirrel.[(((triple6) -> rule5))] The squirrel chases the cow.[(((triple15 triple4) -> rule6) OR ((triple15 ((triple6) -> rule8)) -> rule6))] The squirrel needs the squirrel.[(((triple11) -> rule1))] The squirrel visits the cow.[(((triple5 triple8) -> rule3) OR ((triple5 ((triple10) -> rule7)) -> rule3) OR ((triple5 ((triple16) -> rule7)) -> rule3))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
((triple6) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple6
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple7
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple8
((triple10) -> (rule7 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
((triple16) -> (rule7 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The cow is red.
("cow" "is" "red" "+")
triple9
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple10
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple14
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple15
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple16
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
((triple6) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple15 triple4) -> (rule6 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
((triple15 ((triple6) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple11) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple5 triple8) -> (rule3 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
((triple5 ((triple10) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
((triple5 ((triple16) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2