Bob is blue. Bob is rough. Dave is big. Dave is furry. Erin is big. Erin is cold. Erin is furry. Erin is rough. Erin is young. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is rough. Gary is young. All nice things are furry. If Dave is rough then Dave is young. If Dave is rough and Dave is furry then Dave is nice.
Dave is not nice.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12 OR ((triple13) -> rule1))] Gary is nice.[(triple13)] Gary is rough.[(triple14)] Gary is young.[(triple15)]