The bear does not chase the rabbit. The bear is rough. The rabbit chases the squirrel. The rabbit sees the squirrel. The squirrel chases the bear. The squirrel eats the rabbit. The squirrel is red. The squirrel is not rough. The squirrel is not young. The squirrel sees the bear. The squirrel sees the tiger. The tiger chases the bear. The tiger does not chase the rabbit. The tiger is round. The tiger does not see the rabbit. If the bear chases the squirrel and the bear is not young then the bear is not nice. If someone eats the squirrel then they are nice. If someone is round then they eat the squirrel. If someone is nice then they do not see the bear. If the squirrel is round then the squirrel eats the rabbit. If someone is red and round then they see the tiger.
The tiger sees the bear.
@0: The bear does not chase the rabbit.[(triple1)] The bear is rough.[(triple2)] The rabbit chases the squirrel.[(triple3)] The rabbit sees the squirrel.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel is not rough.[(triple8)] The squirrel is not young.[(triple9)] The squirrel is red.[(triple7)] The squirrel sees the bear.[(triple10)] The squirrel sees the tiger.[(triple11)] The tiger chases the bear.[(triple12)] The tiger does not chase the rabbit.[(triple13)] The tiger does not see the rabbit.[(triple15)] The tiger is round.[(triple14)] @1: The tiger eats the squirrel.[(((triple14) -> rule3))] @2: The tiger is nice.[(((((triple14) -> rule3)) -> rule2))] @3: The tiger does not see the bear.[(((((((triple14) -> rule3)) -> rule2)) -> rule4))]