Dave is rough. Erin is quiet. Erin is not red. Erin is young. Fiona is not blue. Fiona is quiet. Fiona is not rough. If someone is young then they are big. Red people are white. All quiet, blue people are not white. All blue, big people are young. If Dave is quiet then Dave is blue. All young, big people are blue.
Erin is not blue.
@0: Dave is rough.[(triple1)] Erin is not red.[(triple3)] Erin is quiet.[(triple2)] Erin is young.[(triple4)] Fiona is not blue.[(triple5)] Fiona is not rough.[(triple7)] Fiona is quiet.[(triple6)] @1: Erin is big.[(((triple4) -> rule1))] @2: Erin is blue.[(((triple4 ((triple4) -> rule1)) -> rule6))] @3: Erin is not white.[(((triple2 ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule3))]