Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is kind. Erin is furry. Erin is not green. Erin is round. If Erin is kind then Erin is not green. If someone is kind and round then they are blue. If someone is young and not green then they are blue. If someone is round and not green then they are cold. If someone is blue and green then they are young. All furry, cold people are young.
Erin is not blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple4)] Charlie is not furry.[(triple3)] Erin is furry.[(triple5)] Erin is not green.[(triple6)] Erin is round.[(triple7)] @1: Erin is cold.[(((triple7 triple6) -> rule4))] @2: Erin is young.[(((triple5 ((triple7 triple6) -> rule4)) -> rule6))] @3: Erin is blue.[(((((triple5 ((triple7 triple6) -> rule4)) -> rule6) triple6) -> rule3))]