Gary is kind. Gary is young. Harry is kind. All round things are young. If Gary is quiet and Gary is kind then Gary is nice. Kind, furry things are nice. Round, quiet things are nice. If something is nice and young then it is kind. If something is furry then it is young. Quiet things are kind. If something is kind then it is nice.
Harry is not young.
@0: Gary is kind.[(triple1)] Gary is young.[(triple2)] Harry is kind.[(triple3)] @1: Gary is nice.[(((triple1) -> rule8))] Harry is nice.[(((triple3) -> rule8))]