Anne is kind. Anne is rough. Anne is round. Anne is young. Bob is red. Gary is quiet. Harry is rough. All quiet, rough people are red. If Harry is white then Harry is quiet. All red people are white. If Gary is white then Gary is kind. Quiet, red people are rough. Round people are kind. All kind people are quiet. All young, quiet people are kind.
Anne is quiet.
@0: Anne is kind.[(triple1 OR ((triple3) -> rule6))] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Bob is red.[(triple5)] Gary is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule7) OR ((((triple3) -> rule6)) -> rule7))] Bob is white.[(((triple5) -> rule3))] @2: Anne is red.[(((((triple1) -> rule7) triple2) -> rule1) OR ((((((triple3) -> rule6)) -> rule7) triple2) -> rule1))] @3: Anne is white.[(((((((triple1) -> rule7) triple2) -> rule1)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule7) triple2) -> rule1)) -> rule3))]