The bald eagle chases the squirrel. The bald eagle is rough. The bald eagle likes the squirrel. The cat chases the cow. The cat likes the bald eagle. The cat likes the squirrel. The cat sees the squirrel. The cow chases the bald eagle. The cow chases the squirrel. The cow likes the cat. The squirrel chases the cat. The squirrel is kind. If someone chases the bald eagle then they are cold. If someone is rough then they like the cow. If the cow is cold then the cow is rough. If someone chases the cow and they are cold then they like the cat. If someone likes the bald eagle and the bald eagle sees the squirrel then the squirrel chases the bald eagle. Kind people are rough. If someone likes the squirrel then they chase the cow. If the bald eagle is kind then the bald eagle sees the cat.
The bald eagle chases the cow.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The cat chases the cow.[(triple4 OR ((triple6) -> rule7))] The cat likes the bald eagle.[(triple5)] The cat likes the squirrel.[(triple6)] The cat sees the squirrel.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow chases the squirrel.[(triple9)] The cow likes the cat.[(triple10)] The squirrel chases the cat.[(triple11)] The squirrel is kind.[(triple12)] @1: The bald eagle chases the cow.[(((triple3) -> rule7))] The bald eagle likes the cow.[(((triple2) -> rule2))] The cow is cold.[(((triple8) -> rule1))] The squirrel is rough.[(((triple12) -> rule6))] @2: The cow is rough.[(((((triple8) -> rule1)) -> rule3))] The squirrel likes the cow.[(((((triple12) -> rule6)) -> rule2))] @3: The cow likes the cow.[(((((((triple8) -> rule1)) -> rule3)) -> rule2))]