Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Anne is white. Dave is kind. Dave is not red. Gary is quiet. Gary is red. Gary is not round. Gary is smart. If something is round and not white then it is not rough. If Anne is red then Anne is smart. If something is red then it is kind. All red things are kind. If something is round and not rough then it is not red. Smart, round things are not red.
Anne is smart.
@0: Anne is kind.[(triple1 OR ((triple3) -> rule3) OR ((triple3) -> rule4))] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5 OR ((triple3) -> rule2))] Anne is white.[(triple6)] Dave is kind.[(triple7)] Dave is not red.[(triple8)] Gary is not round.[(triple11)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple12)] @1: Gary is kind.[(((triple10) -> rule3) OR ((triple10) -> rule4))]