Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is young. If something is rough then it is blue. If Anne is red and Anne is young then Anne is green. If Anne is rough and Anne is young then Anne is red. If Anne is quiet and Anne is kind then Anne is red. If Anne is rough then Anne is kind. Quiet, green things are blue.
Anne is green.
@0: Anne is blue.[(triple1 OR ((triple6) -> rule1) OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple5 triple7) -> rule2)) -> rule6) OR ((triple4 ((((triple4 triple3) -> rule4) triple7) -> rule2)) -> rule6) OR ((triple4 ((((triple6 triple7) -> rule3) triple7) -> rule2)) -> rule6) OR ((triple4 ((((triple4 ((triple6) -> rule5)) -> rule4) triple7) -> rule2)) -> rule6))] Anne is green.[(triple2 OR ((triple5 triple7) -> rule2) OR ((((triple4 triple3) -> rule4) triple7) -> rule2) OR ((((triple6 triple7) -> rule3) triple7) -> rule2) OR ((((triple4 ((triple6) -> rule5)) -> rule4) triple7) -> rule2))] Anne is kind.[(triple3 OR ((triple6) -> rule5))] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple4 triple3) -> rule4) OR ((triple6 triple7) -> rule3) OR ((triple4 ((triple6) -> rule5)) -> rule4))] Anne is rough.[(triple6)] Anne is young.[(triple7)]