The rabbit chases the tiger. The rabbit is not big. The rabbit is blue. The rabbit is green. The rabbit is not red. The rabbit is not young. The rabbit needs the tiger. The rabbit sees the tiger. The tiger chases the rabbit. The tiger is big. The tiger is blue. The tiger is green. The tiger is red. The tiger is young. The tiger needs the rabbit. The tiger sees the rabbit. If someone needs the rabbit then they see the tiger. If someone is blue then they need the rabbit. If someone sees the tiger and they do not need the rabbit then they do not chase the rabbit.
The rabbit chases the rabbit.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is blue.[(triple3)] The rabbit is green.[(triple4)] The rabbit is not big.[(triple2)] The rabbit is not red.[(triple5)] The rabbit is not young.[(triple6)] The rabbit needs the tiger.[(triple7)] The rabbit sees the tiger.[(triple8 OR ((((triple3) -> rule2)) -> rule1))] The tiger chases the rabbit.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] The tiger needs the rabbit.[(triple15 OR ((triple11) -> rule2))] The tiger sees the rabbit.[(triple16)] @1: The rabbit needs the rabbit.[(((triple3) -> rule2))] The tiger sees the tiger.[(((triple15) -> rule1) OR ((((triple11) -> rule2)) -> rule1))]