Dave is nice. Erin is green. Erin is quiet. All nice people are not quiet. All green, big people are cold. All kind people are smart. If someone is green and big then they are smart. If Dave is big and Dave is cold then Dave is not green. If someone is quiet and green then they are not kind.
Dave is not smart.
@0: Dave is nice.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] @1: Dave is not quiet.[(((triple1) -> rule1))] Erin is not kind.[(((triple3 triple2) -> rule6))]