Anne is red. Erin is smart. Fiona is quiet. All green, big people are quiet. All furry people are smart. All green people are not smart. If someone is quiet and kind then they are green. Red people are kind. If Erin is furry then Erin is green. Quiet people are furry. Big people are red.
Erin is furry.
@0: Anne is red.[(triple1)] Erin is smart.[(triple2)] Fiona is quiet.[(triple3)] @1: Anne is kind.[(((triple1) -> rule5))] Fiona is furry.[(((triple3) -> rule7))] @2: Fiona is smart.[(((((triple3) -> rule7)) -> rule2))]