Anne is rough. Bob is nice. Dave is round. Harry is cold. If something is rough and not nice then it is white. Young things are not white. If Bob is kind and Bob is round then Bob is rough. If Anne is not round then Anne is cold. If Dave is round and Dave is kind then Dave is young. Round things are young. If Anne is round and Anne is young then Anne is kind. If Anne is rough then Anne is white.
Harry is not young.
@0: Anne is rough.[(triple1)] Bob is nice.[(triple2)] Dave is round.[(triple3)] Harry is cold.[(triple4)] @1: Anne is white.[(((triple1) -> rule8))] Dave is young.[(((triple3) -> rule6))] @2: Dave is not white.[(((((triple3) -> rule6)) -> rule2))]