Anne is red. Anne is white. Anne is young. Charlie is furry. Charlie is quiet. Charlie is red. Erin is furry. Erin is nice. Erin is red. Erin is young. Fiona is furry. Fiona is young. Kind, red things are white. If something is kind then it is young. If something is white and quiet then it is kind. If Erin is white then Erin is red. Red, furry things are nice. All furry things are nice.
Erin is not young.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8 OR ((triple7) -> rule6) OR ((triple9 triple7) -> rule5))] Erin is red.[(triple9)] Erin is young.[(triple10)] Fiona is furry.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is nice.[(((triple4) -> rule6) OR ((triple6 triple4) -> rule5))] Fiona is nice.[(((triple11) -> rule6))]