Gary is big. Gary is cold. Gary is kind. Gary is not rough. Gary is round. Gary is smart. Gary is white. If Gary is not big then Gary is not smart. All big, round people are cold. If someone is round and big then they are smart.
Gary is not rough.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2 OR ((triple1 triple5) -> rule2))] Gary is kind.[(triple3)] Gary is not rough.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6 OR ((triple5 triple1) -> rule3))] Gary is white.[(triple7)]