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