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