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