Harry is big. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Harry is smart. Harry is not young. All nice people are quiet. Big, young people are red.
Harry is cold.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is nice.[(triple3)] Harry is not young.[(triple7)] Harry is quiet.[(triple4 OR ((triple3) -> rule1))] Harry is red.[(triple5)] Harry is smart.[(triple6)]