Dave is cold. Dave is not nice. Dave is rough. Dave is white. Dave is young. Erin is not rough. Erin is round. Erin is smart. Erin is not young. Gary is nice. Gary is rough. Gary is not round. Gary is smart. Gary is white. Gary is young. Round, white things are not nice. If Erin is rough and Erin is white then Erin is nice. If something is white and not nice then it is cold.
Erin is not smart.
@0: Dave is cold.[(triple1 OR ((triple4 triple2) -> rule3))] Dave is not nice.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Erin is not rough.[(triple6)] Erin is not young.[(triple9)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Gary is nice.[(triple10)] Gary is not round.[(triple12)] Gary is rough.[(triple11)] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)]