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