Gary is big. Gary is blue. Gary is kind. Gary is quiet. Gary is round. Gary is smart. Gary is young. Round things are quiet. If something is young and kind then it is quiet. All big, smart things are quiet.
Gary is not quiet.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is kind.[(triple3)] Gary is quiet.[(triple4 OR ((triple5) -> rule1) OR ((triple1 triple6) -> rule3) OR ((triple7 triple3) -> rule2))] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]