Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is young. Harry is not blue. Harry is not furry. Harry is not red. Harry is rough. Harry is young. All big things are red. If something is furry and not young then it is quiet.
Harry is not quiet.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is furry.[(triple3)] Gary is red.[(triple4 OR ((triple1) -> rule1))] Gary is young.[(triple5)] Harry is not blue.[(triple6)] Harry is not furry.[(triple7)] Harry is not red.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)]