Fiona is rough. If someone is quiet and not rough then they are young. Furry, smart people are young. Quiet people are red. If Fiona is furry then Fiona is quiet. Quiet, rough people are furry. Quiet, rough people are smart. If someone is rough then they are quiet. If Fiona is not smart then Fiona is green.
Fiona is not young.
@0: Fiona is rough.[(triple1)] @1: Fiona is quiet.[(((triple1) -> rule7))] @2: Fiona is furry.[(((((triple1) -> rule7) triple1) -> rule5))] Fiona is red.[(((((triple1) -> rule7)) -> rule3))] Fiona is smart.[(((((triple1) -> rule7) triple1) -> rule6))] @3: Fiona is young.[(((((((triple1) -> rule7) triple1) -> rule5) ((((triple1) -> rule7) triple1) -> rule6)) -> rule2))]