Erin is big. Erin is not blue. Erin is cold. Erin is kind. Erin is nice. Erin is not round. Erin is white. All kind things are big. If Erin is cold then Erin is kind.
Erin is not round.
@0: Erin is big.[(triple1 OR ((triple4) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Erin is cold.[(triple3)] Erin is kind.[(triple4 OR ((triple3) -> rule2))] Erin is nice.[(triple5)] Erin is not blue.[(triple2)] Erin is not round.[(triple6)] Erin is white.[(triple7)]