Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is white. Erin is young. If someone is round then they are white. White people are young. Red people are kind.
Erin is not nice.
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2 OR ((triple4) -> rule3))] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6 OR ((triple5) -> rule1))] Erin is young.[(triple7 OR ((triple6) -> rule2) OR ((((triple5) -> rule1)) -> rule2))]