The bald eagle sees the tiger. The rabbit eats the tiger. The rabbit likes the tiger. The rabbit sees the tiger. The tiger eats the bald eagle. The tiger is not blue. The tiger is not green. The tiger is nice. The tiger is red. The tiger likes the bald eagle. The tiger sees the bald eagle. The tiger sees the rabbit. If something is nice then it eats the rabbit. If something sees the bald eagle then the bald eagle is nice. If the bald eagle eats the rabbit then the bald eagle likes the tiger. If something likes the rabbit then it does not eat the bald eagle. If something is cold and not nice then it likes the rabbit. If something likes the rabbit and it does not see the rabbit then the rabbit likes the tiger.
The tiger does not like the rabbit.
@0: The bald eagle sees the tiger.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit likes the tiger.[(triple3)] The rabbit sees the tiger.[(triple4)] The tiger eats the bald eagle.[(triple5)] The tiger is nice.[(triple8)] The tiger is not blue.[(triple6)] The tiger is not green.[(triple7)] The tiger is red.[(triple9)] The tiger likes the bald eagle.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger sees the rabbit.[(triple12)] @1: The bald eagle is nice.[(((triple11) -> rule2))] The tiger eats the rabbit.[(((triple8) -> rule1))] @2: The bald eagle eats the rabbit.[(((((triple11) -> rule2)) -> rule1))] @3: The bald eagle likes the tiger.[(((((((triple11) -> rule2)) -> rule1)) -> rule3))]