Harry is big. Harry is cold. Harry is furry. Harry is quiet. Harry is round. Harry is smart. Harry is white. If something is quiet and not big then it is white. If something is big then it is furry. If Harry is not quiet then Harry is round. If Harry is quiet and Harry is not big then Harry is cold. If something is quiet and not big then it is not round. If Harry is round and Harry is not white then Harry is smart.
Harry is not big.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3 OR ((triple1) -> rule2))] Harry is quiet.[(triple4)] Harry is round.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)]