Erin is furry. Erin is green. Erin is white. Fiona is furry. Fiona is red. Fiona is white. Fiona is young. Cold, green things are red. If Fiona is cold then Fiona is red. If Fiona is green and Fiona is furry then Fiona is not red. If Fiona is young and Fiona is not white then Fiona is not red. If something is cold and red then it is not young. If something is white and furry then it is not blue. If something is red and green then it is not blue. If Fiona is blue and Fiona is not green then Fiona is not cold.
Fiona is young.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is white.[(triple3)] Fiona is furry.[(triple4)] Fiona is red.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] @1: Erin is not blue.[(((triple3 triple1) -> rule6))] Fiona is not blue.[(((triple6 triple4) -> rule6))]