The bald eagle chases the tiger. The bald eagle is rough. The bald eagle likes the tiger. The bald eagle needs the cat. The cat likes the bald eagle. The cat does not like the tiger. The tiger does not need the bald eagle. If the bald eagle chases the tiger then the bald eagle likes the cat. If someone likes the cat then the cat needs the bald eagle. If someone is rough and round then they chase the bald eagle.
The cat does not like the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle needs the cat.[(triple4)] The cat does not like the tiger.[(triple6)] The cat likes the bald eagle.[(triple5)] The tiger does not need the bald eagle.[(triple7)] @1: The bald eagle likes the cat.[(((triple1) -> rule1))] @2: The cat needs the bald eagle.[(((((triple1) -> rule1)) -> rule2))]