Anne is furry. Anne is not kind. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is white. Gary is furry. Gary is kind. Gary is nice. Gary is not quiet. Gary is rough. Gary is not round. Gary is not white. If Anne is furry and Anne is kind then Anne is white. If Gary is nice then Gary is not quiet. If something is round and rough then it is quiet. If something is round and not white then it is rough. Kind, quiet things are round. White things are round.
Anne is quiet.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple3)] Anne is not kind.[(triple2)] Anne is quiet.[(triple4 OR ((triple6 triple5) -> rule3) OR ((((triple7) -> rule6) triple5) -> rule3))] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple7) -> rule6))] Anne is white.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is not quiet.[(triple11 OR ((triple10) -> rule2))] Gary is not round.[(triple13)] Gary is not white.[(triple14)] Gary is rough.[(triple12)]