Erin is green. Erin is not red. Erin is white. Erin is young. Fiona is furry. Fiona is green. Fiona is young. If Fiona is nice and Fiona is white then Fiona is green. Red people are green. If someone is white then they are not red. Young, green people are not red. Nice, red people are furry. Red people are not nice. Furry people are not cold. If someone is young and not nice then they are cold.
Fiona is white.
@0: Erin is green.[(triple1)] Erin is not red.[(triple2 OR ((triple3) -> rule3) OR ((triple4 triple1) -> rule4))] Erin is white.[(triple3)] Erin is young.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is not cold.[(((triple5) -> rule7))] Fiona is not red.[(((triple7 triple6) -> rule4))]