Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Erin is round. Erin is young. If Erin is kind then Erin is blue.
Erin is not blue.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple4) -> rule1))] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)]