Harry is big. Harry is blue. Harry is not furry. Harry is nice. Harry is quiet. Harry is not round. Harry is young. If Harry is big and Harry is not young then Harry is quiet. If someone is round and not furry then they are nice. Furry, quiet people are not big. All furry people are blue. If Harry is quiet then Harry is blue. If someone is furry and not young then they are quiet.
Harry is blue.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2 OR ((triple5) -> rule5))] Harry is nice.[(triple4)] Harry is not furry.[(triple3)] Harry is not round.[(triple6)] Harry is quiet.[(triple5)] Harry is young.[(triple7)]