Gary is big. Gary is cold. Gary is not kind. Gary is quiet. Gary is not red. Gary is rough. Gary is round. All cold things are not red. If Gary is cold and Gary is kind then Gary is round. If Gary is kind and Gary is rough then Gary is round. If something is red and kind then it is round. Rough things are big. If Gary is kind then Gary is rough. If something is round and not big then it is quiet. All kind, round things are quiet.
Gary is not big.
@0: Gary is big.[(triple1 OR ((triple6) -> rule5))] Gary is cold.[(triple2)] Gary is not kind.[(triple3)] Gary is not red.[(triple5 OR ((triple2) -> rule1))] Gary is quiet.[(triple4)] Gary is rough.[(triple6)] Gary is round.[(triple7)]