Fiona is kind. Gary is kind. Gary is smart. If someone is white and young then they are furry. If Fiona is kind then Fiona is young. All quiet people are green. All kind people are green. If someone is kind and smart then they are young. All furry, smart people are young. If Gary is furry then Gary is quiet. White, young people are furry.
Gary is not kind.
@0: Fiona is kind.[(triple1)] Gary is kind.[(triple2)] Gary is smart.[(triple3)] @1: Fiona is green.[(((triple1) -> rule4))] Fiona is young.[(((triple1) -> rule2))] Gary is green.[(((triple2) -> rule4))] Gary is young.[(((triple2 triple3) -> rule5))]