The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle is kind. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle needs the tiger. The cow needs the squirrel. The squirrel chases the tiger. The squirrel does not like the cow. The tiger does not chase the cow. The tiger needs the cow. The tiger does not need the squirrel. If someone needs the squirrel then they chase the squirrel. If someone chases the squirrel then they need the tiger. If someone chases the bald eagle then they need the tiger. If someone needs the tiger then they chase the cow. If someone chases the cow and they like the squirrel then the squirrel does not like the tiger. If someone chases the bald eagle and the bald eagle likes the squirrel then they like the cow.
The cow does not chase the tiger.
@0: The bald eagle chases the squirrel.[(triple1 OR ((triple5) -> rule1))] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The bald eagle needs the tiger.[(triple6 OR ((triple1) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] The cow needs the squirrel.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel does not like the cow.[(triple9)] The tiger does not chase the cow.[(triple10)] The tiger does not need the squirrel.[(triple12)] The tiger needs the cow.[(triple11)] @1: The bald eagle chases the cow.[(((triple6) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((((triple5) -> rule1)) -> rule2)) -> rule4))] The cow chases the squirrel.[(((triple7) -> rule1))] @2: The cow needs the tiger.[(((((triple7) -> rule1)) -> rule2))] @3: The cow chases the cow.[(((((((triple7) -> rule1)) -> rule2)) -> rule4))]