Anne is not kind. Anne is not smart. Bob is furry. Bob is not kind. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Gary is furry. Gary is kind. Gary is rough. Gary is round. If Gary is round then Gary is quiet. Quiet, rough things are round. If something is kind and not rough then it is round. Round things are furry. If something is furry and not quiet then it is smart. If something is rough and not round then it is nice.
Anne is smart.
@0: Anne is not kind.[(triple1)] Anne is not smart.[(triple2)] Bob is furry.[(triple3 OR ((triple7) -> rule4))] Bob is nice.[(triple5)] Bob is not kind.[(triple4)] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Bob is smart.[(triple8)] Gary is furry.[(triple9 OR ((triple12) -> rule4))] Gary is kind.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] @1: Gary is quiet.[(((triple12) -> rule1))]