Dave is furry. Dave is green. Dave is quiet. Dave is white. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. If Fiona is green then Fiona is smart. If someone is green then they are cold. All rough, smart people are furry. All green people are cold. All smart, furry people are cold. If someone is green and white then they are cold.
Dave is green.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Fiona is cold.[(triple5 OR ((triple9 triple6) -> rule5) OR ((triple9 ((triple8 triple9) -> rule3)) -> rule5))] Fiona is furry.[(triple6 OR ((triple8 triple9) -> rule3))] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] @1: Dave is cold.[(((triple2) -> rule2) OR ((triple2) -> rule4) OR ((triple2 triple4) -> rule6))]