Anne is quiet. Bob is rough. Dave is kind. Dave is not red. Gary is rough. Gary is smart. Gary is white. If something is kind then it is round. All white things are round. If Dave is white then Dave is not smart. If something is round then it is kind. If something is smart and kind then it is red. If Bob is kind and Bob is rough then Bob is not red. If Dave is white then Dave is not rough. If something is kind and not rough then it is not quiet.
Gary is rough.
@0: Anne is quiet.[(triple1)] Bob is rough.[(triple2)] Dave is kind.[(triple3)] Dave is not red.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] @1: Dave is round.[(((triple3) -> rule1))] Gary is round.[(((triple7) -> rule2))] @2: Gary is kind.[(((((triple7) -> rule2)) -> rule4))] @3: Gary is red.[(((triple6 ((((triple7) -> rule2)) -> rule4)) -> rule5))]