Charlie is big. Charlie is blue. Charlie is rough. Charlie is white. Dave is blue. Dave is nice. Dave is not young. Gary is blue. Harry is furry. Harry is rough. If something is young and not furry then it is not blue. If something is nice then it is blue. All big things are young. If something is white and not big then it is young. If Harry is young and Harry is big then Harry is blue. If something is big and not nice then it is white.
Gary is rough.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Dave is blue.[(triple5 OR ((triple6) -> rule2))] Dave is nice.[(triple6)] Dave is not young.[(triple7)] Gary is blue.[(triple8)] Harry is furry.[(triple9)] Harry is rough.[(triple10)] @1: Charlie is young.[(((triple1) -> rule3))]