Bob is cold. Bob is not rough. Dave is cold. Dave is quiet. Dave is young. Erin is blue. Erin is furry. Erin is quiet. Erin is not rough. Gary is blue. Gary is cold. Gary is not furry. Gary is kind. Gary is quiet. Gary is rough. Gary is young. If Dave is blue then Dave is rough. If something is blue and not quiet then it is furry. If something is cold and not young then it is rough. If something is young and kind then it is rough. If something is quiet and not young then it is not blue. If something is kind and not cold then it is not blue.
Dave is not cold.
@0: Bob is cold.[(triple1)] Bob is not rough.[(triple2)] Dave is cold.[(triple3)] Dave is quiet.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is not rough.[(triple9)] Erin is quiet.[(triple8)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is kind.[(triple13)] Gary is not furry.[(triple12)] Gary is quiet.[(triple14)] Gary is rough.[(triple15 OR ((triple16 triple13) -> rule4))] Gary is young.[(triple16)]