Erin is furry. Fiona is nice. Harry is nice. All nice things are quiet. All rough, furry things are nice. If Fiona is rough then Fiona is young. Rough things are furry. Nice things are rough. If Harry is rough and Harry is nice then Harry is white.
Erin is furry.
@0: Erin is furry.[(triple1)] Fiona is nice.[(triple2)] Harry is nice.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule1))] Fiona is rough.[(((triple2) -> rule5))] Harry is quiet.[(((triple3) -> rule1))] Harry is rough.[(((triple3) -> rule5))] @2: Fiona is furry.[(((((triple2) -> rule5)) -> rule4))] Fiona is young.[(((((triple2) -> rule5)) -> rule3))] Harry is furry.[(((((triple3) -> rule5)) -> rule4))] Harry is white.[(((((triple3) -> rule5) triple3) -> rule6))]