Erin is green. Fiona is green. Harry is green. All green people are round. If Fiona is furry then Fiona is rough. If Harry is round then Harry is white. If Erin is kind and Erin is furry then Erin is white. If someone is rough and young then they are kind. If someone is green and furry then they are young.
Harry is furry.
@0: Erin is green.[(triple1)] Fiona is green.[(triple2)] Harry is green.[(triple3)] @1: Erin is round.[(((triple1) -> rule1))] Fiona is round.[(((triple2) -> rule1))] Harry is round.[(((triple3) -> rule1))] @2: Harry is white.[(((((triple3) -> rule1)) -> rule3))]