Anne is blue. Anne is nice. Anne is red. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is young. If someone is red then they are nice.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule1))] Anne is red.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple6 OR ((triple8) -> rule1))] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10)]