The bald eagle eats the cat. The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle needs the cat. The bald eagle sees the cat. The cat is big. The cat is cold. The cat is red. The cat sees the bald eagle. If the cat sees the bald eagle and the cat eats the bald eagle then the cat is nice. If the bald eagle is rough then the bald eagle sees the cat. If someone eats the cat then the cat eats the bald eagle. If someone is rough then they need the bald eagle. If someone needs the cat then they see the bald eagle. If someone needs the bald eagle and they need the cat then the bald eagle needs the cat.
The bald eagle is not rough.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle needs the cat.[(triple7)] The bald eagle sees the cat.[(triple8 OR ((triple6) -> rule2))] The cat is big.[(triple9)] The cat is cold.[(triple10)] The cat is red.[(triple11)] The cat sees the bald eagle.[(triple12)] @1: The bald eagle needs the bald eagle.[(((triple6) -> rule4))] The bald eagle sees the bald eagle.[(((triple7) -> rule5))] The cat eats the bald eagle.[(((triple1) -> rule3))] @2: The cat is nice.[(((triple12 ((triple1) -> rule3)) -> rule1))]