Charlie is white. Dave is not young. Erin is quiet. Fiona is round. If someone is white then they are blue. Round, rough people are big. All quiet people are big. All rough, blue people are quiet. All young people are quiet. If someone is rough then they are quiet. If Fiona is rough and Fiona is quiet then Fiona is round. If someone is white and not blue then they are young.
Charlie is not quiet.
@0: Charlie is white.[(triple1)] Dave is not young.[(triple2)] Erin is quiet.[(triple3)] Fiona is round.[(triple4)] @1: Charlie is blue.[(((triple1) -> rule1))] Erin is big.[(((triple3) -> rule3))]