Charlie is furry. Dave is rough. Erin is cold. Erin is furry. Erin is quiet. Fiona is blue. Fiona is white. All rough, red people are not quiet. All cold, furry people are quiet. All cold, white people are rough.
Fiona is not blue.
@0: Charlie is furry.[(triple1)] Dave is rough.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is quiet.[(triple5 OR ((triple3 triple4) -> rule2))] Fiona is blue.[(triple6)] Fiona is white.[(triple7)]