Harry is cold. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is young. All quiet, cold people are smart. All smart people are cold. If someone is nice and smart then they are young.
Harry is cold.
@0: Harry is cold.[(triple1 OR ((triple6) -> rule2))] Harry is nice.[(triple2)] Harry is quiet.[(triple3)] Harry is rough.[(triple4)] Harry is round.[(triple5)] Harry is smart.[(triple6 OR ((triple3 triple1) -> rule1))] Harry is young.[(triple7 OR ((triple2 triple6) -> rule3) OR ((triple2 ((triple3 triple1) -> rule1)) -> rule3))]