Anne is quiet. Anne is red. Anne is rough. Bob is rough. Dave is not big. Gary is cold. Gary is rough. If Anne is kind then Anne is rough. If Anne is kind then Anne is not cold. If Gary is big then Gary is quiet. If Dave is not cold then Dave is not rough. If Dave is cold then Dave is rough. If something is red then it is green. Rough, cold things are not green. If something is kind and not quiet then it is rough.
Gary is rough.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Bob is rough.[(triple4)] Dave is not big.[(triple5)] Gary is cold.[(triple6)] Gary is rough.[(triple7)] @1: Anne is green.[(((triple2) -> rule6))] Gary is not green.[(((triple7 triple6) -> rule7))]