The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is red. The bald eagle sees the tiger. The rabbit does not chase the bald eagle. The rabbit eats the tiger. The rabbit is cold. The rabbit is kind. The tiger chases the rabbit. The tiger eats the bald eagle. The tiger eats the rabbit. The tiger is blue. The tiger is cold. The tiger is red. The tiger is young. The tiger sees the bald eagle. If something sees the bald eagle then it is kind. If something sees the tiger and it is young then the tiger does not chase the bald eagle. If something chases the tiger then the tiger does not see the rabbit. If something sees the tiger then the tiger chases the rabbit. If something chases the tiger and it does not see the bald eagle then it is red. If something is blue and kind then it sees the tiger.
The tiger does not see the tiger.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the tiger.[(triple4)] The rabbit does not chase the bald eagle.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is kind.[(triple8)] The tiger chases the rabbit.[(triple9 OR ((triple4) -> rule4) OR ((((triple12 ((triple16) -> rule1)) -> rule6)) -> rule4))] The tiger eats the bald eagle.[(triple10)] The tiger eats the rabbit.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is red.[(triple14)] The tiger is young.[(triple15)] The tiger sees the bald eagle.[(triple16)] @1: The tiger is kind.[(((triple16) -> rule1))] @2: The tiger sees the tiger.[(((triple12 ((triple16) -> rule1)) -> rule6))] @3: The tiger does not chase the bald eagle.[(((((triple12 ((triple16) -> rule1)) -> rule6) triple15) -> rule2))]