The bald eagle likes the tiger. The bald eagle sees the tiger. The rabbit eats the tiger. The rabbit is rough. The rabbit is round. The rabbit likes the tiger. The rabbit sees the bald eagle. The rabbit sees the tiger. The tiger is kind. The tiger likes the rabbit. If someone eats the rabbit and the rabbit sees the tiger then the rabbit is rough. If someone eats the bald eagle then they are big. If someone is kind and round then they see the bald eagle. If the tiger sees the bald eagle then the tiger likes the bald eagle. If the rabbit likes the tiger then the tiger is big. If someone sees the tiger then the tiger likes the rabbit. If someone eats the rabbit and they are big then the rabbit eats the bald eagle. If someone is big then they eat the rabbit.
The tiger is big.
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle sees the tiger.[(triple2)] The rabbit eats the tiger.[(triple3)] The rabbit is rough.[(triple4 OR ((((((triple6) -> rule5)) -> rule8) triple8) -> rule1) OR ((((((((((((triple6) -> rule5)) -> rule8) ((triple6) -> rule5)) -> rule7)) -> rule2)) -> rule8) triple8) -> rule1))] The rabbit is round.[(triple5)] The rabbit likes the tiger.[(triple6)] The rabbit sees the bald eagle.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger is kind.[(triple9)] The tiger likes the rabbit.[(triple10 OR ((triple2) -> rule6) OR ((triple8) -> rule6))] @1: The tiger is big.[(((triple6) -> rule5))] @2: The tiger eats the rabbit.[(((((triple6) -> rule5)) -> rule8))] @3: The rabbit eats the bald eagle.[(((((((triple6) -> rule5)) -> rule8) ((triple6) -> rule5)) -> rule7))] @4: The rabbit is big.[(((((((((triple6) -> rule5)) -> rule8) ((triple6) -> rule5)) -> rule7)) -> rule2))] @5: The rabbit eats the rabbit.[(((((((((((triple6) -> rule5)) -> rule8) ((triple6) -> rule5)) -> rule7)) -> rule2)) -> rule8))]