Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is rough. If someone is rough then they are kind. All quiet people are big.
Harry is not cold.
@0: Harry is big.[(triple1 OR ((triple6) -> rule2))] Harry is blue.[(triple2)] Harry is cold.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5 OR ((triple7) -> rule1))] Harry is quiet.[(triple6)] Harry is rough.[(triple7)]