The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit eats the tiger. The rabbit is nice. The rabbit needs the tiger. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is big. The tiger chases the squirrel. The tiger eats the rabbit. The tiger is big. The tiger is kind. The tiger is not rough. The tiger needs the rabbit. The tiger needs the squirrel. If something eats the rabbit then it needs the squirrel. If something is big then it is kind. If something is nice and it eats the tiger then it chases the squirrel. If the squirrel chases the tiger and the tiger chases the squirrel then the squirrel chases the rabbit. If something is kind and it does not eat the rabbit then it needs the tiger. If the squirrel needs the rabbit and the rabbit does not eat the squirrel then the squirrel eats the tiger. If the tiger eats the squirrel then the tiger needs the squirrel. If the rabbit is red and the rabbit does not chase the squirrel then the rabbit does not need the tiger.
The tiger is rough.
@0: The rabbit chases the squirrel.[(triple1 OR ((triple4 triple3) -> rule3))] The rabbit eats the squirrel.[(triple2)] The rabbit eats the tiger.[(triple3)] The rabbit is nice.[(triple4)] The rabbit needs the tiger.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel eats the rabbit.[(triple7)] The squirrel is big.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger eats the rabbit.[(triple10)] The tiger is big.[(triple11)] The tiger is kind.[(triple12 OR ((triple11) -> rule2))] The tiger is not rough.[(triple13)] The tiger needs the rabbit.[(triple14)] The tiger needs the squirrel.[(triple15 OR ((triple10) -> rule1))] @1: The squirrel is kind.[(((triple8) -> rule2))] The squirrel needs the squirrel.[(((triple7) -> rule1))]