Harry is cold. Harry is red. Harry is young. If someone is young and not big then they are kind. If someone is red and blue then they are young. If someone is cold then they are blue.
Harry is cold.
@0: Harry is cold.[(triple1)] Harry is red.[(triple2)] Harry is young.[(triple3 OR ((triple2 ((triple1) -> rule3)) -> rule2))] @1: Harry is blue.[(((triple1) -> rule3))]