Anne is red. Erin is quiet. Fiona is big. Harry is furry. If someone is red then they are big. Young people are red. If someone is quiet then they are red. Red, furry people are kind. If Harry is kind then Harry is big. Kind, nice people are furry.
Anne is kind.
@0: Anne is red.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3)] Harry is furry.[(triple4)] @1: Anne is big.[(((triple1) -> rule1))] Erin is red.[(((triple2) -> rule3))] @2: Erin is big.[(((((triple2) -> rule3)) -> rule1))]