The bald eagle eats the cow. The bald eagle eats the dog. The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle is rough. The cow visits the dog. The dog eats the bald eagle. The dog is green. The dog sees the bald eagle. The dog sees the squirrel. The squirrel eats the bald eagle. If someone eats the bald eagle then the bald eagle eats the cow. If someone visits the squirrel then the squirrel is green. If someone sees the cow then they see the dog. If someone is blue and they see the cow then the cow visits the squirrel. If someone is blue then they eat the cow. If someone visits the dog then they eat the dog. Green people are blue. If someone eats the cow then they visit the cow. If someone visits the dog then the dog visits the squirrel.
The squirrel eats the cow.
@0: The bald eagle eats the cow.[(triple1 OR ((triple11) -> rule1) OR ((triple7) -> rule1))] The bald eagle eats the dog.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is rough.[(triple5)] The cow visits the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog is green.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog sees the squirrel.[(triple10)] The squirrel eats the bald eagle.[(triple11)] @1: The bald eagle visits the cow.[(((triple1) -> rule8) OR ((((triple11) -> rule1)) -> rule8) OR ((((triple7) -> rule1)) -> rule8))] The cow eats the dog.[(((triple6) -> rule6))] The dog is blue.[(((triple8) -> rule7))] The dog visits the squirrel.[(((triple6) -> rule9))] @2: The dog eats the cow.[(((((triple8) -> rule7)) -> rule5))] The squirrel is green.[(((((triple6) -> rule9)) -> rule2))] @3: The dog visits the cow.[(((((((triple8) -> rule7)) -> rule5)) -> rule8))] The squirrel is blue.[(((((((triple6) -> rule9)) -> rule2)) -> rule7))] @4: The squirrel eats the cow.[(((((((((triple6) -> rule9)) -> rule2)) -> rule7)) -> rule5))] @5: The squirrel visits the cow.[(((((((((((triple6) -> rule9)) -> rule2)) -> rule7)) -> rule5)) -> rule8))]