The cat does not need the squirrel. The cat sees the rabbit. The cat sees the squirrel. The rabbit is cold. The rabbit is not rough. The squirrel chases the cat. The squirrel does not see the tiger. The tiger is not green. The tiger does not need the squirrel. The tiger sees the cat. If something chases the cat then it sees the cat. Nice, green things are cold.
The tiger needs the squirrel.
@0: The cat does not need the squirrel.[(triple1)] The cat sees the rabbit.[(triple2)] The cat sees the squirrel.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is not rough.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel does not see the tiger.[(triple7)] The tiger does not need the squirrel.[(triple9)] The tiger is not green.[(triple8)] The tiger sees the cat.[(triple10)] @1: The squirrel sees the cat.[(((triple6) -> rule1))]