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