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