Dave is not cold. Dave is furry. Dave is not green. Dave is quiet. Dave is rough. Dave is smart. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Gary is cold. Gary is green. Gary is not kind. Gary is quiet. Gary is not rough. Gary is smart. If someone is quiet and not cold then they are rough. If someone is furry and smart then they are kind. All cold people are quiet.
Gary is not cold.
@0: Dave is furry.[(triple2)] Dave is not cold.[(triple1)] Dave is not green.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple4 triple1) -> rule1))] Dave is smart.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple8 OR ((triple7 triple10) -> rule2))] Erin is quiet.[(triple9)] Erin is smart.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12)] Gary is not kind.[(triple13)] Gary is not rough.[(triple15)] Gary is quiet.[(triple14 OR ((triple11) -> rule3))] Gary is smart.[(triple16)] @1: Dave is kind.[(((triple2 triple6) -> rule2))]