Erin is blue. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is white. If Erin is blue then Erin is quiet. If someone is quiet then they are smart. If someone is blue then they are quiet.
Erin is not nice.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple1) -> rule1) OR ((triple1) -> rule3))] Erin is red.[(triple5)] Erin is smart.[(triple6 OR ((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule3)) -> rule2))] Erin is white.[(triple7)]