Anne is big. Anne is white. Charlie is rough. Charlie is smart. Charlie is white. Dave is nice. Dave is rough. Dave is round. Harry is big. Harry is nice. Harry is round. Harry is smart. If Anne is smart and Anne is white then Anne is nice. If Anne is nice then Anne is round. If Dave is round then Dave is big. All white, big people are rough. Round, rough people are smart. If Harry is round and Harry is smart then Harry is white.
Charlie is not rough.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is nice.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Harry is big.[(triple9)] Harry is nice.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Anne is rough.[(((triple2 triple1) -> rule4))] Dave is big.[(((triple8) -> rule3))] Dave is smart.[(((triple8 triple7) -> rule5))] Harry is white.[(((triple11 triple12) -> rule6))] @2: Harry is rough.[(((((triple11 triple12) -> rule6) triple9) -> rule4))]