Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is young. All young, blue people are kind. If someone is rough and red then they are blue.
Anne is not kind.
@0: Anne is blue.[(triple1 OR ((triple5 triple4) -> rule2))] Anne is kind.[(triple2 OR ((triple7 triple1) -> rule1) OR ((triple7 ((triple5 triple4) -> rule2)) -> rule1))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)]