Bob is green. Bob is quiet. Bob is rough. Bob is round. Dave is nice. Dave is rough. Gary is nice. Gary is quiet. Gary is white. Harry is green. If something is white and not rough then it is blue. All rough, nice things are quiet.
Dave is white.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8)] Gary is white.[(triple9)] Harry is green.[(triple10)] @1: Dave is quiet.[(((triple6 triple5) -> rule2))]