Anne is quiet. Anne is round. Anne is smart. Charlie is rough. Dave is not blue. Dave is kind. Dave is quiet. Dave is rough. Dave is not smart. Dave is not white. Gary is not blue. Gary is rough. Gary is not round. Gary is smart. Gary is white. Smart things are kind. If something is kind then it is quiet.
Gary is kind.
@0: Anne is quiet.[(triple1 OR ((((triple3) -> rule1)) -> rule2))] Anne is round.[(triple2)] Anne is smart.[(triple3)] Charlie is rough.[(triple4)] Dave is kind.[(triple6)] Dave is not blue.[(triple5)] Dave is not smart.[(triple9)] Dave is not white.[(triple10)] Dave is quiet.[(triple7 OR ((triple6) -> rule2))] Dave is rough.[(triple8)] Gary is not blue.[(triple11)] Gary is not round.[(triple13)] Gary is rough.[(triple12)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Anne is kind.[(((triple3) -> rule1))] Gary is kind.[(((triple14) -> rule1))] @2: Gary is quiet.[(((((triple14) -> rule1)) -> rule2))]