Anne is blue. Anne is green. Anne is kind. Anne is rough. Anne is round. Anne is smart. Anne is white. White things are blue. If Anne is blue then Anne is white. If something is kind and rough then it is white. If something is blue then it is white. If Anne is blue then Anne is kind. Smart things are kind.
Anne is rough.
@0: Anne is blue.[(triple1 OR ((triple7) -> rule1) OR ((((triple3 triple4) -> rule3)) -> rule1) OR ((((((triple6) -> rule6) triple4) -> rule3)) -> rule1))] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple1) -> rule5) OR ((triple6) -> rule6) OR ((((triple7) -> rule1)) -> rule5))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple1) -> rule2) OR ((triple1) -> rule4) OR ((triple3 triple4) -> rule3) OR ((((triple1) -> rule5) triple4) -> rule3) OR ((((triple6) -> rule6) triple4) -> rule3))]