The bald eagle does not eat the cat. The bald eagle is cold. The bald eagle is rough. The bald eagle likes the tiger. The bald eagle sees the tiger. The cat is big. The cat likes the bald eagle. The cat does not like the tiger. The tiger likes the bald eagle. The tiger sees the bald eagle. If someone eats the cat then they are not cold. If someone likes the bald eagle and the bald eagle is not round then the bald eagle is not kind. If the bald eagle does not see the tiger then the bald eagle likes the cat. If someone likes the bald eagle then they are kind. If someone is kind then they do not eat the cat. If the tiger does not eat the cat then the tiger eats the bald eagle.
The cat eats the cat.
@0: The bald eagle does not eat the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle sees the tiger.[(triple5)] The cat does not like the tiger.[(triple8)] The cat is big.[(triple6)] The cat likes the bald eagle.[(triple7)] The tiger likes the bald eagle.[(triple9)] The tiger sees the bald eagle.[(triple10)] @1: The cat is kind.[(((triple7) -> rule4))] The tiger is kind.[(((triple9) -> rule4))] @2: The cat does not eat the cat.[(((((triple7) -> rule4)) -> rule5))] The tiger does not eat the cat.[(((((triple9) -> rule4)) -> rule5))] @3: The tiger eats the bald eagle.[(((((((triple9) -> rule4)) -> rule5)) -> rule6))]