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