Bob is young. Dave is quiet. Gary is quiet. All quiet, furry people are smart. Quiet people are smart. If someone is cold and not furry then they are smart. If Gary is cold and Gary is young then Gary is not green. All green people are kind. If someone is smart then they are green. If someone is young then they are green. All cold people are young.
Gary is kind.
@0: Bob is young.[(triple1)] Dave is quiet.[(triple2)] Gary is quiet.[(triple3)] @1: Bob is green.[(((triple1) -> rule7))] Dave is smart.[(((triple2) -> rule2))] Gary is smart.[(((triple3) -> rule2))] @2: Bob is kind.[(((((triple1) -> rule7)) -> rule5))] Dave is green.[(((((triple2) -> rule2)) -> rule6))] Gary is green.[(((((triple3) -> rule2)) -> rule6))] @3: Dave is kind.[(((((((triple2) -> rule2)) -> rule6)) -> rule5))] Gary is kind.[(((((((triple3) -> rule2)) -> rule6)) -> rule5))]