The rabbit is kind. The rabbit is nice. The rabbit sees the tiger. The squirrel is not rough. The squirrel does not see the rabbit. The squirrel sees the tiger. The squirrel visits the tiger. The tiger is big. The tiger is rough. The tiger visits the rabbit. If something chases the tiger then the tiger does not see the rabbit. If something is big then it chases the tiger.
The squirrel does not chase the tiger.
@0: The rabbit is kind.[(triple1)] The rabbit is nice.[(triple2)] The rabbit sees the tiger.[(triple3)] The squirrel does not see the rabbit.[(triple5)] The squirrel is not rough.[(triple4)] The squirrel sees the tiger.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger is big.[(triple8)] The tiger is rough.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The tiger chases the tiger.[(((triple8) -> rule2))] @2: The tiger does not see the rabbit.[(((((triple8) -> rule2)) -> rule1))]