Charlie is rough. Fiona is quiet. Gary is young. If Fiona is not quiet then Fiona is not big. If Charlie is rough then Charlie is quiet. If Charlie is big then Charlie is quiet. All kind, quiet people are blue. Kind people are blue. Kind people are blue. If someone is big and not rough then they are green. If Charlie is young then Charlie is green.
Fiona is not blue.
@0: Charlie is rough.[(triple1)] Fiona is quiet.[(triple2)] Gary is young.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule2))]