Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is white. All red people are blue. Blue, cold people are rough. All cold people are green.
Anne is red.
@0: Anne is blue.[(triple1 OR ((triple5) -> rule1))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple2) -> rule3))] Anne is red.[(triple5)] Anne is rough.[(triple6 OR ((triple1 triple2) -> rule2) OR ((((triple5) -> rule1) triple2) -> rule2))] Anne is white.[(triple7)]