Anne is red. Charlie is smart. Erin is white. Fiona is round. If someone is red and white then they are quiet. Round people are not rough. All white, smart people are not rough. All round, white people are red. If Fiona is red then Fiona is not white. If someone is white then they are round.
Fiona is not round.
@0: Anne is red.[(triple1)] Charlie is smart.[(triple2)] Erin is white.[(triple3)] Fiona is round.[(triple4)] @1: Erin is round.[(((triple3) -> rule6))] Fiona is not rough.[(((triple4) -> rule2))] @2: Erin is not rough.[(((((triple3) -> rule6)) -> rule2))] Erin is red.[(((((triple3) -> rule6) triple3) -> rule4))] @3: Erin is quiet.[(((((((triple3) -> rule6) triple3) -> rule4) triple3) -> rule1))]