Dave is kind. Erin is quiet. Fiona is kind. Gary is not white. If Gary is nice then Gary is green. Round people are kind. All kind people are not nice. If someone is round and not nice then they are white. Nice, white people are quiet. If someone is nice and round then they are not quiet. All green people are not quiet. If someone is kind and not white then they are green.
Fiona is not white.
@0: Dave is kind.[(triple1)] Erin is quiet.[(triple2)] Fiona is kind.[(triple3)] Gary is not white.[(triple4)] @1: Dave is not nice.[(((triple1) -> rule3))] Fiona is not nice.[(((triple3) -> rule3))]