Anne is rough. Dave is not blue. Dave is not furry. Dave is not quiet. Dave is young. Gary is not rough. Gary is smart. If someone is kind then they are not rough. If Dave is not blue then Dave is young. If Anne is not blue then Anne is young. All smart people are kind. If Dave is rough then Dave is kind. Furry people are quiet.
Dave is furry.
@0: Anne is rough.[(triple1)] Dave is not blue.[(triple2)] Dave is not furry.[(triple3)] Dave is not quiet.[(triple4)] Dave is young.[(triple5 OR ((triple2) -> rule2))] Gary is not rough.[(triple6 OR ((((triple7) -> rule4)) -> rule1))] Gary is smart.[(triple7)] @1: Gary is kind.[(((triple7) -> rule4))]