Anne is young. Bob is green. Erin is red. All blue, nice people are green. If someone is nice then they are blue. All green people are young. If Erin is young and Erin is not blue then Erin is not quiet. If someone is furry and nice then they are red. Quiet people are furry. Furry people are not quiet. If someone is red and furry then they are quiet.
Erin is not red.
@0: Anne is young.[(triple1)] Bob is green.[(triple2)] Erin is red.[(triple3)] @1: Bob is young.[(((triple2) -> rule3))]