Harry is blue. Harry is cold. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is young. All cold, round things are blue. If something is young and quiet then it is cold. If something is young then it is red.
Harry is round.
@0: Harry is blue.[(triple1 OR ((triple2 triple5) -> rule1) OR ((((triple7 triple3) -> rule2) triple5) -> rule1))] Harry is cold.[(triple2 OR ((triple7 triple3) -> rule2))] Harry is quiet.[(triple3)] Harry is red.[(triple4 OR ((triple7) -> rule3))] Harry is round.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)]