Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Nice, rough people are green. If someone is rough then they are red.
Anne is furry.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple7) -> rule1))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple7) -> rule2))] Anne is rough.[(triple7)]