Anne is quiet. Charlie is quiet. Erin is round. Fiona is smart. All nice, red people are smart. Rough people are smart. If someone is nice and young then they are quiet. If Fiona is smart and Fiona is nice then Fiona is red. If someone is smart and red then they are quiet. Smart people are rough.
Erin is not round.
@0: Anne is quiet.[(triple1)] Charlie is quiet.[(triple2)] Erin is round.[(triple3)] Fiona is smart.[(triple4)] @1: Fiona is rough.[(((triple4) -> rule6))]