Anne is white. Erin is white. Fiona is furry. Harry is red. If Anne is young and Anne is white then Anne is quiet. If Anne is furry then Anne is rough. If someone is smart and rough then they are white. If someone is rough then they are quiet. If someone is red then they are white. All smart people are quiet. All white people are smart. Young, white people are rough.
Fiona is smart.
@0: Anne is white.[(triple1)] Erin is white.[(triple2)] Fiona is furry.[(triple3)] Harry is red.[(triple4)] @1: Anne is smart.[(((triple1) -> rule7))] Erin is smart.[(((triple2) -> rule7))] Harry is white.[(((triple4) -> rule5))] @2: Anne is quiet.[(((((triple1) -> rule7)) -> rule6))] Erin is quiet.[(((((triple2) -> rule7)) -> rule6))] Harry is smart.[(((((triple4) -> rule5)) -> rule7))] @3: Harry is quiet.[(((((((triple4) -> rule5)) -> rule7)) -> rule6))]