Charlie is furry. Charlie is round. Charlie is not white. Fiona is green. Fiona is kind. Fiona is not round. Gary is round. If someone is round then they are not red. If Charlie is not smart and Charlie is not kind then Charlie is white. If Fiona is round and Fiona is white then Fiona is smart. All smart people are white. If Fiona is red then Fiona is green. If someone is white and not furry then they are round.
Fiona is green.
@0: Charlie is furry.[(triple1)] Charlie is not white.[(triple3)] Charlie is round.[(triple2)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is not round.[(triple6)] Gary is round.[(triple7)] @1: Charlie is not red.[(((triple2) -> rule1))] Gary is not red.[(((triple7) -> rule1))]