Gary is big. Gary is nice. Gary is young. Quiet things are rough. If something is young and not quiet then it is white. If something is quiet and not rough then it is big. All big things are blue. If something is rough then it is nice. All big things are nice.
Gary is big.
@0: Gary is big.[(triple1)] Gary is nice.[(triple2 OR ((triple1) -> rule6))] Gary is young.[(triple3)] @1: Gary is blue.[(((triple1) -> rule4))]