Harry is big. Harry is cold. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is white. If Harry is quiet then Harry is big.
Harry is big.
@0: Harry is big.[(triple1 OR ((triple3) -> rule1))] Harry is cold.[(triple2)] Harry is quiet.[(triple3)] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)]