Bob is red. Charlie is kind. Fiona is nice. Gary is quiet. If someone is green and not red then they are nice. If Charlie is kind then Charlie is not green. If someone is nice then they are not quiet. Kind, green people are quiet. All green, white people are not quiet. If Fiona is not furry and Fiona is not nice then Fiona is not white.
Fiona is not nice.
@0: Bob is red.[(triple1)] Charlie is kind.[(triple2)] Fiona is nice.[(triple3)] Gary is quiet.[(triple4)] @1: Charlie is not green.[(((triple2) -> rule2))] Fiona is not quiet.[(((triple3) -> rule3))]