The rabbit eats the tiger. The rabbit is big. The squirrel eats the rabbit. The squirrel eats the tiger. The squirrel is rough. The squirrel needs the rabbit. The squirrel visits the rabbit. The tiger eats the rabbit. The tiger eats the squirrel. The tiger is big. The tiger is nice. The tiger is rough. The tiger needs the rabbit. The tiger visits the rabbit. The tiger visits the squirrel. If the rabbit eats the tiger then the rabbit visits the tiger. All rough people are green.
The rabbit is big.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is big.[(triple2)] The squirrel eats the rabbit.[(triple3)] The squirrel eats the tiger.[(triple4)] The squirrel is rough.[(triple5)] The squirrel needs the rabbit.[(triple6)] The squirrel visits the rabbit.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is big.[(triple10)] The tiger is nice.[(triple11)] The tiger is rough.[(triple12)] The tiger needs the rabbit.[(triple13)] The tiger visits the rabbit.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The rabbit visits the tiger.[(((triple1) -> rule1))] The squirrel is green.[(((triple5) -> rule2))] The tiger is green.[(((triple12) -> rule2))]