Charlie is big. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is white. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is not round. If Harry is nice and Harry is not round then Harry is quiet. If someone is kind and not quiet then they are not white.
Charlie is nice.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is white.[(triple5)] Harry is furry.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8)] Harry is not round.[(triple10)] Harry is quiet.[(triple9 OR ((triple8 triple10) -> rule1))]