Erin is big. Erin is furry. Erin is red. Erin is rough. Erin is round. Erin is white. Harry is big. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is white. Round things are red.
Erin is kind.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is red.[(triple3 OR ((triple5) -> rule1))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Harry is big.[(triple7)] Harry is kind.[(triple8)] Harry is red.[(triple9 OR ((triple11) -> rule1))] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)]