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