Anne is cold. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Erin is cold. Erin is round. Erin is smart. Fiona is quiet. Fiona is round. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Cold people are smart.
Gary is quiet.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5 OR ((triple1) -> rule1))] Erin is cold.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8 OR ((triple6) -> rule1))] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)]