Anne is big. Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Anne is smart. Anne is young. If something is big and cold then it is rough. If Anne is quiet and Anne is smart then Anne is big. If Anne is furry and Anne is cold then Anne is rough.
Anne is not furry.
@0: Anne is big.[(triple1 OR ((triple4 triple6) -> rule2))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple3 triple2) -> rule3) OR ((((triple4 triple6) -> rule2) triple2) -> rule1))] Anne is smart.[(triple6)] Anne is young.[(triple7)]