Bob is cold. Bob is red. Bob is not white. Dave is not quiet. Dave is rough. Dave is young. Gary is not quiet. Gary is not rough. Gary is not round. Harry is red. Harry is rough. Harry is young. If something is quiet and rough then it is not white. Red, young things are quiet. If something is rough and not white then it is round.
Harry is not young.
@0: Bob is cold.[(triple1)] Bob is not white.[(triple3)] Bob is red.[(triple2)] Dave is not quiet.[(triple4)] Dave is rough.[(triple5)] Dave is young.[(triple6)] Gary is not quiet.[(triple7)] Gary is not rough.[(triple8)] Gary is not round.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Harry is quiet.[(((triple10 triple12) -> rule2))] @2: Harry is not white.[(((((triple10 triple12) -> rule2) triple11) -> rule1))] @3: Harry is round.[(((triple11 ((((triple10 triple12) -> rule2) triple11) -> rule1)) -> rule3))]