Bob is not cold. Bob is round. Bob is smart. Charlie is blue. Charlie is green. Charlie is not quiet. Charlie is round. If Charlie is blue then Charlie is cold. If Charlie is round then Charlie is smart. If Bob is blue and Bob is not green then Bob is quiet.
Charlie is not green.
@0: Bob is not cold.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is round.[(triple7)] @1: Charlie is cold.[(((triple4) -> rule1))] Charlie is smart.[(((triple7) -> rule2))]