Bob is quiet. Bob is rough. Charlie is quiet. Erin is not big. Erin is rough. Fiona is quiet. Fiona is round. If something is round then it is white. All kind things are not big.
Bob is not rough.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Charlie is quiet.[(triple3)] Erin is not big.[(triple4)] Erin is rough.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is white.[(((triple7) -> rule1))]