The bald eagle is cold. The bald eagle needs the rabbit. The bald eagle needs the tiger. The cat is cold. The cat does not see the rabbit. The cat does not see the tiger. The rabbit eats the tiger. The rabbit is big. The rabbit is nice. The tiger sees the cat. If something eats the rabbit and the rabbit does not eat the tiger then the rabbit needs the bald eagle. If the tiger eats the cat then the cat sees the tiger. Cold things are big. Red things are cold. If something needs the tiger then the tiger is red. If something needs the tiger then the tiger does not need the rabbit.
The rabbit needs the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle needs the tiger.[(triple3)] The cat does not see the rabbit.[(triple5)] The cat does not see the tiger.[(triple6)] The cat is cold.[(triple4)] The rabbit eats the tiger.[(triple7)] The rabbit is big.[(triple8)] The rabbit is nice.[(triple9)] The tiger sees the cat.[(triple10)] @1: The bald eagle is big.[(((triple1) -> rule3))] The cat is big.[(((triple4) -> rule3))] The tiger does not need the rabbit.[(((triple3) -> rule6))] The tiger is red.[(((triple3) -> rule5))] @2: The tiger is cold.[(((((triple3) -> rule5)) -> rule4))] @3: The tiger is big.[(((((((triple3) -> rule5)) -> rule4)) -> rule3))]