Anne is round. Bob is green. Bob is white. Erin is blue. Erin is young. Fiona is blue. Fiona is quiet. If Fiona is green and Fiona is rough then Fiona is blue. If someone is blue and quiet then they are young. If someone is quiet and round then they are green. If someone is quiet and green then they are blue. Blue, white people are round. If someone is white and blue then they are green.
Erin is white.
@0: Anne is round.[(triple1)] Bob is green.[(triple2)] Bob is white.[(triple3)] Erin is blue.[(triple4)] Erin is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is quiet.[(triple7)] @1: Fiona is young.[(((triple6 triple7) -> rule2))]