Dave is big. Dave is cold. Dave is furry. Dave is nice. Dave is not quiet. Dave is not round. Dave is not white. Erin is furry. Erin is not round. Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is not round. Gary is white. If someone is white and not round then they are cold.
Gary is white.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is not quiet.[(triple5)] Dave is not round.[(triple6)] Dave is not white.[(triple7)] Erin is furry.[(triple8)] Erin is not round.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11 OR ((triple16 triple15) -> rule1))] Gary is furry.[(triple12)] Gary is nice.[(triple13)] Gary is not round.[(triple15)] Gary is quiet.[(triple14)] Gary is white.[(triple16)]