Anne is big. Anne is cold. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Rough, big people are cold. If someone is quiet and nice then they are cold.
Anne is not rough.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple4 triple3) -> rule2) OR ((triple5 triple1) -> rule1))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)]