Anne is not blue. Bob is blue. Bob is young. Charlie is furry. Charlie is quiet. Charlie is not round. Charlie is smart. All blue, quiet people are not round. If Bob is not quiet then Bob is nice. If Charlie is young then Charlie is quiet. If Anne is furry and Anne is young then Anne is smart. If someone is smart then they are not young. If Charlie is young and Charlie is not round then Charlie is not nice.
Bob is not blue.
@0: Anne is not blue.[(triple1)] Bob is blue.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is not round.[(triple6)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple7)] @1: Charlie is not young.[(((triple7) -> rule5))]