Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is young. All red, young people are furry. If someone is young and not green then they are kind. All kind people are red.
Erin is cold.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple6 triple7) -> rule1) OR ((((triple4) -> rule3) triple7) -> rule1))] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6 OR ((triple4) -> rule3))] Erin is young.[(triple7)]