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