The bald eagle chases the dog. The bald eagle eats the squirrel. The bald eagle is rough. The bald eagle sees the cow. The bald eagle does not see the dog. The cow is green. The dog eats the squirrel. The dog is rough. The dog sees the cow. The squirrel is cold. The squirrel is rough. The squirrel sees the dog. Round things are cold. All rough things are cold. If the bald eagle chases the squirrel and the dog does not chase the bald eagle then the bald eagle is blue. If something eats the bald eagle then it eats the dog. If something is cold then it does not chase the cow. If the dog does not chase the cow then the dog is not blue.
The dog is rough.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not see the dog.[(triple5)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle sees the cow.[(triple4)] The cow is green.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is rough.[(triple8)] The dog sees the cow.[(triple9)] The squirrel is cold.[(triple10 OR ((triple11) -> rule2))] The squirrel is rough.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The bald eagle is cold.[(((triple3) -> rule2))] The dog is cold.[(((triple8) -> rule2))] The squirrel does not chase the cow.[(((triple10) -> rule5) OR ((((triple11) -> rule2)) -> rule5))] @2: The bald eagle does not chase the cow.[(((((triple3) -> rule2)) -> rule5))] The dog does not chase the cow.[(((((triple8) -> rule2)) -> rule5))] @3: The dog is not blue.[(((((((triple8) -> rule2)) -> rule5)) -> rule6))]