Dave is cold. Dave is nice. Erin is cold. Erin is nice. Erin is red. Gary is cold. Gary is nice. Gary is quiet. Gary is rough. Harry is cold. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is white. If something is quiet then it is cold.
Harry is rough.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2)] Erin is cold.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Gary is cold.[(triple6 OR ((triple8) -> rule1))] Gary is nice.[(triple7)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Harry is cold.[(triple10 OR ((triple11) -> rule1))] Harry is quiet.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)]