The bald eagle chases the dog. The bald eagle chases the tiger. The bald eagle eats the dog. The bald eagle is green. The bald eagle is red. The bald eagle is round. The bald eagle needs the dog. The bald eagle needs the tiger. The dog chases the bald eagle. The dog eats the bald eagle. The dog eats the tiger. The dog needs the bald eagle. The dog needs the tiger. The tiger chases the dog. The tiger eats the dog. The tiger needs the bald eagle. If something eats the tiger then the tiger is rough. If something is green then it chases the bald eagle. Red things are rough.
The dog is not rough.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle needs the dog.[(triple7)] The bald eagle needs the tiger.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog eats the bald eagle.[(triple10)] The dog eats the tiger.[(triple11)] The dog needs the bald eagle.[(triple12)] The dog needs the tiger.[(triple13)] The tiger chases the dog.[(triple14)] The tiger eats the dog.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule2))] The bald eagle is rough.[(((triple5) -> rule3))] The tiger is rough.[(((triple11) -> rule1))]