Bob is nice. Charlie is rough. Harry is rough. All white, kind things are quiet. If Charlie is cold and Charlie is white then Charlie is quiet. Cold things are white. All nice things are round. If something is rough and kind then it is white. If Bob is rough and Bob is nice then Bob is white. All rough, kind things are quiet. If something is nice and white then it is cold.
Charlie is not cold.
@0: Bob is nice.[(triple1)] Charlie is rough.[(triple2)] Harry is rough.[(triple3)] @1: Bob is round.[(((triple1) -> rule4))]