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