Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is smart. Harry is white. If someone is kind then they are big.
Harry is quiet.
@0: Harry is big.[(triple1 OR ((triple4) -> rule1))] Harry is cold.[(triple2)] Harry is green.[(triple3)] Harry is kind.[(triple4)] Harry is quiet.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)]