Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Erin is white. Harry is cold. Harry is not green. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is white. If someone is rough and not round then they are not green. All green people are white.
Erin is rough.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple2) -> rule2))] Harry is cold.[(triple8)] Harry is nice.[(triple10)] Harry is not green.[(triple9)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14)]