Charlie is blue. Charlie is green. Charlie is red. Charlie is not young. Dave is not blue. Dave is not furry. Dave is green. Dave is red. Fiona is blue. Fiona is furry. Fiona is green. Fiona is white. If Dave is not green then Dave is blue. If Fiona is furry then Fiona is white. If something is young then it is cold. All young, furry things are red. If something is blue and not white then it is red. All blue, cold things are red.
Fiona is young.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is not young.[(triple4)] Charlie is red.[(triple3)] Dave is green.[(triple7)] Dave is not blue.[(triple5)] Dave is not furry.[(triple6)] Dave is red.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is white.[(triple12 OR ((triple10) -> rule2))]