Bob is young. Charlie is big. Harry is nice. If Harry is quiet then Harry is smart. If Bob is young then Bob is not quiet. If someone is cold then they are quiet.
Charlie is not quiet.
@0: Bob is young.[(triple1)] Charlie is big.[(triple2)] Harry is nice.[(triple3)] @1: Bob is not quiet.[(((triple1) -> rule2))]