Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is rough. Anne is white. If Anne is nice and Anne is not furry then Anne is not rough. If something is cold and big then it is rough. Cold, big things are nice. All nice things are big. If something is cold and not furry then it is white. Furry things are white.
Anne is cold.
@0: Anne is big.[(triple1 OR ((triple5) -> rule4))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5 OR ((triple2 triple1) -> rule3))] Anne is rough.[(triple6 OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple5) -> rule4)) -> rule2))] Anne is white.[(triple7 OR ((triple3) -> rule6))]