Bob is not rough. Dave is young. Erin is smart. If Bob is not rough then Bob is green. If something is white then it is smart. Quiet, young things are green. If Erin is not young then Erin is quiet. If Erin is white and Erin is not blue then Erin is quiet. If Erin is white then Erin is not quiet. If Dave is young then Dave is quiet. If Dave is smart and Dave is green then Dave is blue.
Erin is quiet.
@0: Bob is not rough.[(triple1)] Dave is young.[(triple2)] Erin is smart.[(triple3)] @1: Bob is green.[(((triple1) -> rule1))] Dave is quiet.[(((triple2) -> rule7))] @2: Dave is green.[(((((triple2) -> rule7) triple2) -> rule3))]