Anne is blue. Anne is quiet. Anne is rough. Anne is not round. Anne is young. Erin is not blue. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is young. If something is blue and not nice then it is young. If Erin is not nice then Erin is red. Nice, young things are quiet. If something is nice and not quiet then it is rough. If Erin is not quiet then Erin is round. If something is blue then it is not round. If something is red and not nice then it is round. If something is blue and not rough then it is red.
Anne is nice.
@0: Anne is blue.[(triple1)] Anne is not round.[(triple4 OR ((triple1) -> rule6))] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple5)] Erin is nice.[(triple7)] Erin is not blue.[(triple6)] Erin is quiet.[(triple8 OR ((triple7 triple12) -> rule3))] Erin is red.[(triple9)] Erin is rough.[(triple10)] Erin is round.[(triple11)] Erin is young.[(triple12)]