Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Rough, blue people are kind. Rough people are blue. If someone is quiet and red then they are kind. Red, green people are rough. All smart people are quiet. All red, rough people are kind.
Anne is not blue.
@0: Anne is blue.[(triple1 OR ((triple6) -> rule2) OR ((((triple5 triple2) -> rule4)) -> rule2))] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple4 triple5) -> rule3) OR ((triple5 triple6) -> rule6) OR ((triple6 triple1) -> rule1) OR ((triple5 ((triple5 triple2) -> rule4)) -> rule6) OR ((triple6 ((triple6) -> rule2)) -> rule1) OR ((((triple7) -> rule5) triple5) -> rule3) OR ((((triple5 triple2) -> rule4) triple1) -> rule1) OR ((((triple5 triple2) -> rule4) ((triple6) -> rule2)) -> rule1) OR ((triple6 ((((triple5 triple2) -> rule4)) -> rule2)) -> rule1) OR ((((triple5 triple2) -> rule4) ((((triple5 triple2) -> rule4)) -> rule2)) -> rule1))] Anne is quiet.[(triple4 OR ((triple7) -> rule5))] Anne is red.[(triple5)] Anne is rough.[(triple6 OR ((triple5 triple2) -> rule4))] Anne is smart.[(triple7)]