The bear is young. The cat is young. The squirrel is nice. The tiger needs the bear. If something needs the bear then it is cold. If the tiger is blue then the tiger needs the bear. If something is cold and round then it needs the bear. If the tiger is cold then the tiger sees the squirrel. If something is nice then it eats the cat. If something sees the squirrel then the squirrel is cold.
The cat is cold.
@0: The bear is young.[(triple1)] The cat is young.[(triple2)] The squirrel is nice.[(triple3)] The tiger needs the bear.[(triple4)] @1: The squirrel eats the cat.[(((triple3) -> rule5))] The tiger is cold.[(((triple4) -> rule1))] @2: The tiger sees the squirrel.[(((((triple4) -> rule1)) -> rule4))] @3: The squirrel is cold.[(((((((triple4) -> rule1)) -> rule4)) -> rule6))]