Charlie is not rough. Dave is cold. Gary is kind. Harry is furry. If Dave is not white then Dave is not rough. If someone is young then they are round. If Harry is furry then Harry is rough. All white people are cold. All rough people are not cold. If someone is round and not young then they are kind.
Charlie is not rough.
@0: Charlie is not rough.[(triple1)] Dave is cold.[(triple2)] Gary is kind.[(triple3)] Harry is furry.[(triple4)] @1: Harry is rough.[(((triple4) -> rule3))] @2: Harry is not cold.[(((((triple4) -> rule3)) -> rule5))]