Charlie is not red. Dave is white. Fiona is green. Gary is round. Green people are kind. If someone is blue then they are kind. If someone is kind then they are not round. If Dave is green and Dave is white then Dave is young. If someone is kind then they are green. If someone is blue and red then they are green. All young people are red. If someone is white then they are not blue.
Gary is not red.
@0: Charlie is not red.[(triple1)] Dave is white.[(triple2)] Fiona is green.[(triple3)] Gary is round.[(triple4)] @1: Dave is not blue.[(((triple2) -> rule8))] Fiona is kind.[(((triple3) -> rule1))] @2: Fiona is not round.[(((((triple3) -> rule1)) -> rule3))]