Harry is big. Harry is blue. Harry is kind. Harry is quiet. Harry is round. Harry is white. Harry is young. If Harry is round then Harry is blue.
Harry is not white.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2 OR ((triple5) -> rule1))] Harry is kind.[(triple3)] Harry is quiet.[(triple4)] Harry is round.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]