Bob is quiet. Charlie is white. Fiona is quiet. Harry is quiet. If something is kind and white then it is rough. Quiet, white things are smart. All white things are big.
Charlie is not white.
@0: Bob is quiet.[(triple1)] Charlie is white.[(triple2)] Fiona is quiet.[(triple3)] Harry is quiet.[(triple4)] @1: Charlie is big.[(((triple2) -> rule3))]