Charlie is big. Charlie is furry. Charlie is quiet. Harry is furry. Harry is quiet. Harry is round. Harry is white. If Harry is rough and Harry is round then Harry is big. If someone is round then they are white. Rough people are round.
Charlie is rough.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Harry is furry.[(triple4)] Harry is quiet.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple6) -> rule2))]