Dave is kind. Dave is young. Fiona is quiet. Gary is young. Harry is blue. Harry is quiet. Harry is not young. If Harry is big then Harry is quiet. If Dave is not kind then Dave is young. All furry people are not young. All kind, furry people are big. If someone is green and not kind then they are big. All furry people are blue. All kind people are not furry. All young people are quiet.
Gary is kind.
@0: Dave is kind.[(triple1)] Dave is young.[(triple2)] Fiona is quiet.[(triple3)] Gary is young.[(triple4)] Harry is blue.[(triple5)] Harry is not young.[(triple7)] Harry is quiet.[(triple6)] @1: Dave is not furry.[(((triple1) -> rule7))] Dave is quiet.[(((triple2) -> rule8))] Gary is quiet.[(((triple4) -> rule8))]