The bald eagle chases the rabbit. The bald eagle is cold. The bald eagle needs the rabbit. The dog is cold. The dog is rough. The dog needs the tiger. The rabbit chases the bald eagle. The rabbit is big. The rabbit is blue. The rabbit is young. The rabbit likes the bald eagle. The rabbit needs the bald eagle. The rabbit needs the dog. The tiger likes the dog. The tiger needs the bald eagle. If the dog likes the tiger and the dog needs the bald eagle then the bald eagle is rough. If the bald eagle is blue and the bald eagle chases the rabbit then the rabbit needs the dog. If someone is rough then they chase the bald eagle. If someone is young and they like the dog then they chase the rabbit. If someone needs the rabbit then they are rough. If someone chases the bald eagle and they like the tiger then the bald eagle likes the rabbit. If someone chases the rabbit then they like the tiger. If someone needs the dog and they like the dog then they need the tiger.
The rabbit does not need the dog.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The dog is cold.[(triple4)] The dog is rough.[(triple5)] The dog needs the tiger.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit is big.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is young.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit needs the bald eagle.[(triple12)] The rabbit needs the dog.[(triple13)] The tiger likes the dog.[(triple14)] The tiger needs the bald eagle.[(triple15)] @1: The bald eagle is rough.[(((triple3) -> rule5))] The bald eagle likes the tiger.[(((triple1) -> rule7))] The dog chases the bald eagle.[(((triple5) -> rule3))] @2: The bald eagle chases the bald eagle.[(((((triple3) -> rule5)) -> rule3))] @3: The bald eagle likes the rabbit.[(((((((triple3) -> rule5)) -> rule3) ((triple1) -> rule7)) -> rule6))]