Erin is cold. Erin is white. Erin is young. If someone is blue then they are furry. All furry people are cold. Round, quiet people are white. All cold people are round. If Erin is blue and Erin is quiet then Erin is round. All round people are blue. If someone is round then they are white. All blue people are cold.
Erin is not furry.
@0: Erin is cold.[(triple1)] Erin is white.[(triple2 OR ((((triple1) -> rule4)) -> rule7))] Erin is young.[(triple3)] @1: Erin is round.[(((triple1) -> rule4))] @2: Erin is blue.[(((((triple1) -> rule4)) -> rule6))] @3: Erin is furry.[(((((((triple1) -> rule4)) -> rule6)) -> rule1))]