Anne is red. Anne is rough. Gary is big. Gary is cold. Gary is quiet. Gary is round. Gary is smart. If someone is cold then they are smart. All big, rough people are round.
Gary is not cold.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Gary is big.[(triple3)] Gary is cold.[(triple4)] Gary is quiet.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7 OR ((triple4) -> rule1))]