Bob is quiet. Charlie is blue. Charlie is rough. Erin is cold. Erin is quiet. Harry is rough. Harry is white. All white things are cold.
Charlie is not blue.
@0: Bob is quiet.[(triple1)] Charlie is blue.[(triple2)] Charlie is rough.[(triple3)] Erin is cold.[(triple4)] Erin is quiet.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)] @1: Harry is cold.[(((triple7) -> rule1))]