Erin is cold. Erin is not green. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is young. Gary is green. Gary is not nice. Gary is quiet. Gary is round. Gary is smart. Gary is young. Harry is not quiet. Harry is young. All nice things are cold.
Gary is not cold.
@0: Erin is cold.[(triple1 OR ((triple3) -> rule1))] Erin is nice.[(triple3)] Erin is not green.[(triple2)] Erin is quiet.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Gary is green.[(triple8)] Gary is not nice.[(triple9)] Gary is quiet.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12)] Gary is young.[(triple13)] Harry is not quiet.[(triple14)] Harry is young.[(triple15)]