Anne is not quiet. Anne is white. Anne is young. Bob is nice. Bob is quiet. Bob is round. Erin is nice. Erin is quiet. Erin is red. Erin is round. If someone is nice and not red then they are quiet. If Erin is not white and Erin is not round then Erin is young. All round people are green.
Bob is white.
@0: Anne is not quiet.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is round.[(triple10)] @1: Bob is green.[(((triple6) -> rule3))] Erin is green.[(((triple10) -> rule3))]