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