The cat is not green. The cow needs the tiger. The squirrel does not need the cat. The tiger is rough. If someone needs the cow then they are not cold. All rough people are cold.
The cow needs the tiger.
@0: The cat is not green.[(triple1)] The cow needs the tiger.[(triple2)] The squirrel does not need the cat.[(triple3)] The tiger is rough.[(triple4)] @1: The tiger is cold.[(((triple4) -> rule2))]