Anne is blue. Anne is furry. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is not young. If someone is furry and not blue then they are smart. If someone is nice and red then they are furry. If Anne is nice then Anne is red.
Anne is young.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule3)) -> rule2))] Anne is nice.[(triple3)] Anne is not young.[(triple7)] Anne is red.[(triple4 OR ((triple3) -> rule3))] Anne is rough.[(triple5)] Anne is smart.[(triple6)]