The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is big. The bald eagle is round. The bald eagle sees the cat. The cat does not chase the bald eagle. The cat eats the bald eagle. The cat is big. The cat is rough. The cat is round. The cat is not young. The cat sees the bald eagle. If someone eats the bald eagle then they eat the cat. If someone eats the cat then they are cold. If someone chases the cat and they chase the bald eagle then the cat does not chase the bald eagle. If the bald eagle sees the cat then the bald eagle is round. If someone eats the bald eagle and they are not big then the bald eagle does not eat the cat. If someone chases the bald eagle and the bald eagle does not eat the cat then the bald eagle is young.
The cat does not chase the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is round.[(triple4 OR ((triple5) -> rule4))] The bald eagle sees the cat.[(triple5)] The cat does not chase the bald eagle.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is big.[(triple8)] The cat is not young.[(triple11)] The cat is rough.[(triple9)] The cat is round.[(triple10)] The cat sees the bald eagle.[(triple12)] @1: The bald eagle is cold.[(((triple2) -> rule2))] The cat eats the cat.[(((triple7) -> rule1))] @2: The cat is cold.[(((((triple7) -> rule1)) -> rule2))]