Erin is round. If Erin is smart then Erin is rough. If Erin is round then Erin is rough. All smart people are round. All red people are smart. Red, round people are not smart. All rough people are kind. If someone is kind then they are quiet. If someone is red and rough then they are not furry.
Erin is not rough.
@0: Erin is round.[(triple1)] @1: Erin is rough.[(((triple1) -> rule2))] @2: Erin is kind.[(((((triple1) -> rule2)) -> rule6))] @3: Erin is quiet.[(((((((triple1) -> rule2)) -> rule6)) -> rule7))]