Bob is young. Erin is not blue. Erin is quiet. If Erin is blue then Erin is young. If something is blue then it is young. If Bob is young then Bob is quiet. If something is blue and green then it is round. All young, white things are nice. If Erin is nice and Erin is young then Erin is round. If something is green and not young then it is not white. If Erin is green and Erin is not white then Erin is quiet.
Bob is not quiet.
@0: Bob is young.[(triple1)] Erin is not blue.[(triple2)] Erin is quiet.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule3))]