Gary is rough. Gary is round. Gary is smart. If someone is young and smart then they are white. All rough people are cold. If Gary is cold then Gary is round. If Gary is big and Gary is round then Gary is smart. All round people are rough. If someone is young then they are rough. If someone is smart then they are round. If someone is big then they are white.
Gary is not white.
@0: Gary is rough.[(triple1 OR ((triple2) -> rule5) OR ((((triple3) -> rule7)) -> rule5))] Gary is round.[(triple2 OR ((triple3) -> rule7) OR ((((triple1) -> rule2)) -> rule3))] Gary is smart.[(triple3)] @1: Gary is cold.[(((triple1) -> rule2) OR ((((triple2) -> rule5)) -> rule2) OR ((((((triple3) -> rule7)) -> rule5)) -> rule2))]