Erin is big. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is white. Harry is big. Harry is cold. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is white. All round people are kind.
Erin is not red.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3 OR ((triple6) -> rule1))] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple10 OR ((triple13) -> rule1))] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14)]