The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle needs the tiger. The cat is blue. The cat is round. The tiger eats the cat. The tiger needs the cat. If someone likes the cat then the cat eats the tiger. If someone needs the bald eagle then they are round. If someone needs the cat then the cat does not like the tiger. If the cat eats the tiger then the tiger needs the bald eagle. If the tiger is not green then the tiger likes the cat. If someone eats the cat then the cat eats the bald eagle.
The cat does not like the tiger.
@0: The bald eagle likes the cat.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the tiger.[(triple3)] The cat is blue.[(triple4)] The cat is round.[(triple5)] The tiger eats the cat.[(triple6)] The tiger needs the cat.[(triple7)] @1: The cat does not like the tiger.[(((triple7) -> rule3))] The cat eats the bald eagle.[(((triple6) -> rule6))] The cat eats the tiger.[(((triple1) -> rule1))] @2: The tiger needs the bald eagle.[(((((triple1) -> rule1)) -> rule4))] @3: The tiger is round.[(((((((triple1) -> rule1)) -> rule4)) -> rule2))]