The rabbit eats the tiger. The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit needs the tiger. The rabbit sees the tiger. The tiger eats the rabbit. The tiger is big. The tiger is green. The tiger is nice. The tiger is rough. The tiger is round. The tiger needs the rabbit. The tiger sees the rabbit. If something needs the rabbit and the rabbit sees the tiger then the rabbit is green. If something eats the rabbit and the rabbit is big then it is green.
The tiger needs the rabbit.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is big.[(triple2)] The rabbit is green.[(triple3 OR ((triple15 triple8) -> rule1))] The rabbit is nice.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is round.[(triple6)] The rabbit needs the tiger.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11 OR ((triple9 triple2) -> rule2))] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger is round.[(triple14)] The tiger needs the rabbit.[(triple15)] The tiger sees the rabbit.[(triple16)]