Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is rough. Erin is white. Harry is kind. Harry is nice. Harry is rough. Harry is white. All white, furry people are nice. Big people are rough. If someone is blue then they are white.
Erin is not kind.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is nice.[(triple4 OR ((triple6 triple3) -> rule1) OR ((((triple2) -> rule3) triple3) -> rule1))] Erin is rough.[(triple5 OR ((triple1) -> rule2))] Erin is white.[(triple6 OR ((triple2) -> rule3))] Harry is kind.[(triple7)] Harry is nice.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)]