Anne is big. Bob is furry. Dave is smart. All big, nice people are cold. All furry, big people are not cold. If someone is smart and rough then they are nice. If someone is furry then they are nice. If Dave is big then Dave is smart. If Anne is big and Anne is not smart then Anne is nice. If Dave is not big then Dave is rough. If Anne is big then Anne is rough.
Bob is furry.
@0: Anne is big.[(triple1)] Bob is furry.[(triple2)] Dave is smart.[(triple3)] @1: Anne is rough.[(((triple1) -> rule8))] Bob is nice.[(((triple2) -> rule4))]