Anne is rough. Dave is not smart. Gary is white. All smart people are not kind. If Anne is rough and Anne is kind then Anne is quiet. If Dave is quiet and Dave is red then Dave is not smart. If someone is rough then they are quiet. If someone is kind then they are quiet. All smart, quiet people are not rough. If someone is quiet then they are not red. All green, kind people are not white.
Anne is not red.
@0: Anne is rough.[(triple1)] Dave is not smart.[(triple2)] Gary is white.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule4))] @2: Anne is not red.[(((((triple1) -> rule4)) -> rule7))]