Harry is big. Harry is blue. Harry is furry. Harry is quiet. Harry is round. Harry is smart. Harry is not white. If Harry is furry then Harry is quiet. Big, white things are round.
Harry is white.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is furry.[(triple3)] Harry is not white.[(triple7)] Harry is quiet.[(triple4 OR ((triple3) -> rule1))] Harry is round.[(triple5)] Harry is smart.[(triple6)]