Bob is smart. Dave is rough. Erin is rough. Harry is rough. All smart, nice people are kind. If someone is rough then they are quiet.
Bob is nice.
@0: Bob is smart.[(triple1)] Dave is rough.[(triple2)] Erin is rough.[(triple3)] Harry is rough.[(triple4)] @1: Dave is quiet.[(((triple2) -> rule2))] Erin is quiet.[(((triple3) -> rule2))] Harry is quiet.[(((triple4) -> rule2))]