The tiger is not blue. The tiger is not rough. The tiger is young. Big, rough things are cold. If something is young and not blue then it is cold. All blue, cold things are big. If something is cold then it is big. All rough things are big. Cold things are young.
The tiger is not big.
@0: The tiger is not blue.[(triple1)] The tiger is not rough.[(triple2)] The tiger is young.[(triple3)] @1: The tiger is cold.[(((triple3 triple1) -> rule2))] @2: The tiger is big.[(((((triple3 triple1) -> rule2)) -> rule4))]