The dog is not cold. The dog is red. The dog is round. Big, red things are young. If something is red and big then it is young. All cold things are big. If something is young and not round then it is big. Red things are big. All cold things are red. Cold, round things are red. Cold things are red.
The dog is big.
@0: The dog is not cold.[(triple1)] The dog is red.[(triple2)] The dog is round.[(triple3)] @1: The dog is big.[(((triple2) -> rule5))] @2: The dog is young.[(((triple2 ((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule1))]