The rabbit eats the tiger. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is rough. The rabbit is young. The rabbit sees the tiger. The rabbit visits the tiger. The tiger eats the rabbit. The tiger is big. The tiger is cold. The tiger is green. The tiger is rough. The tiger is young. The tiger sees the rabbit. The tiger visits the rabbit. If someone sees the rabbit and they eat the rabbit then the rabbit visits the tiger. If someone is rough and they see the tiger then the tiger is green. If someone is green and they visit the rabbit then the rabbit visits the tiger.
The rabbit visits the rabbit.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is big.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is young.[(triple6)] The rabbit sees the tiger.[(triple7)] The rabbit visits the tiger.[(triple8 OR ((triple12 triple16) -> rule3) OR ((triple15 triple9) -> rule1) OR ((((triple5 triple7) -> rule2) triple16) -> rule3))] The tiger eats the rabbit.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12 OR ((triple5 triple7) -> rule2))] The tiger is rough.[(triple13)] The tiger is young.[(triple14)] The tiger sees the rabbit.[(triple15)] The tiger visits the rabbit.[(triple16)]