Bob is young. Charlie is quiet. Charlie is young. All round, quiet people are not cold. If someone is cold and kind then they are smart. Quiet people are round. If someone is rough and quiet then they are not kind. If someone is rough then they are not quiet. If Charlie is not cold and Charlie is not rough then Charlie is smart.
Bob is not round.
@0: Bob is young.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3)] @1: Charlie is round.[(((triple2) -> rule3))] @2: Charlie is not cold.[(((((triple2) -> rule3) triple2) -> rule1))]