Erin is furry. Round things are nice. Cold, round things are big. All young, furry things are nice. If something is furry then it is young. Furry things are round. If something is young then it is nice. If Erin is blue then Erin is big. Nice things are big.
Erin is not blue.
@0: Erin is furry.[(triple1)] @1: Erin is round.[(((triple1) -> rule5))] Erin is young.[(((triple1) -> rule4))] @2: Erin is nice.[(((((triple1) -> rule4)) -> rule6) OR ((((triple1) -> rule5)) -> rule1) OR ((((triple1) -> rule4) triple1) -> rule3))] @3: Erin is big.[(((((((triple1) -> rule4)) -> rule6)) -> rule8) OR ((((((triple1) -> rule5)) -> rule1)) -> rule8) OR ((((((triple1) -> rule4) triple1) -> rule3)) -> rule8))]