Dave is green. Fiona is green. Gary is red. Harry is blue. Green, rough people are kind. All red people are kind. Red people are quiet. If Harry is blue and Harry is quiet then Harry is rough. If Gary is rough then Gary is young. Green people are young. If someone is green and not kind then they are not young. If someone is green and not red then they are young.
Fiona is green.
@0: Dave is green.[(triple1)] Fiona is green.[(triple2)] Gary is red.[(triple3)] Harry is blue.[(triple4)] @1: Dave is young.[(((triple1) -> rule6))] Fiona is young.[(((triple2) -> rule6))] Gary is kind.[(((triple3) -> rule2))] Gary is quiet.[(((triple3) -> rule3))]