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.
Harry is not big.
@0: Bob is quiet.[(triple1)] Charlie is white.[(triple2)] Fiona is quiet.[(triple3)] Harry is quiet.[(triple4)] @1: Charlie is big.[(((triple2) -> rule3))]