Dave is big. Dave is nice. Dave is not quiet. Dave is not smart. Dave is not white. Gary is not blue. Gary is smart. Gary is not white. Harry is blue. Harry is quiet. Harry is smart. Harry is white. If something is blue then it is rough. Quiet, rough things are nice.
Harry is not rough.
@0: Dave is big.[(triple1)] Dave is nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is not smart.[(triple4)] Dave is not white.[(triple5)] Gary is not blue.[(triple6)] Gary is not white.[(triple8)] Gary is smart.[(triple7)] Harry is blue.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Harry is rough.[(((triple9) -> rule1))] @2: Harry is nice.[(((triple10 ((triple9) -> rule1)) -> rule2))]