The rabbit does not chase the tiger. The rabbit eats the tiger. The rabbit is rough. The rabbit is round. The rabbit is young. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is nice. The tiger is red. The tiger is not rough. The tiger is young. The tiger does not see the rabbit. If the tiger is not rough then the tiger does not see the rabbit. If the tiger chases the rabbit then the tiger eats the rabbit. If the rabbit chases the tiger and the tiger sees the rabbit then the tiger eats the rabbit. If the tiger is not round then the tiger is nice. If someone chases the rabbit then the rabbit does not chase the tiger. If the rabbit eats the tiger and the tiger is rough then the rabbit sees the tiger. If someone is nice and they do not see the rabbit then the rabbit sees the tiger. If someone eats the rabbit then the rabbit sees the tiger.
The tiger does not see the tiger.
@0: The rabbit does not chase the tiger.[(triple1 OR ((triple6) -> rule5))] The rabbit eats the tiger.[(triple2)] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)] The tiger chases the rabbit.[(triple6)] The tiger does not see the rabbit.[(triple12 OR ((triple10) -> rule1))] The tiger eats the rabbit.[(triple7 OR ((triple6) -> rule2))] The tiger is nice.[(triple8)] The tiger is not rough.[(triple10)] The tiger is red.[(triple9)] The tiger is young.[(triple11)] @1: The rabbit sees the tiger.[(((triple7) -> rule8) OR ((triple8 triple12) -> rule7) OR ((((triple6) -> rule2)) -> rule8) OR ((triple8 ((triple10) -> rule1)) -> rule7))]