The tiger is blue. If the tiger is cold then the tiger is not round. All young, round things are big. All young, blue things are not big. Cold, young things are blue. All young, big things are not blue. If something is cold and round then it is not blue. If something is round then it is cold. All blue things are young.
The tiger is blue.
@0: The tiger is blue.[(triple1)] @1: The tiger is young.[(((triple1) -> rule8))] @2: The tiger is not big.[(((((triple1) -> rule8) triple1) -> rule3))]