Dave is blue. Dave is cold. Dave is furry. Dave is rough. Dave is smart. Erin is cold. Erin is quiet. All big, furry people are quiet. Quiet, big people are cold. If Erin is rough and Erin is quiet then Erin is furry. If someone is blue and rough then they are smart. All furry, rough people are smart. All blue people are smart.
Erin is blue.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5 OR ((triple1) -> rule6) OR ((triple1 triple4) -> rule4) OR ((triple3 triple4) -> rule5))] Erin is cold.[(triple6)] Erin is quiet.[(triple7)]