Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is round. Erin is smart. Erin is white. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is round. Harry is smart. Harry is white. If something is furry then it is white.
Erin is round.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is nice.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple3) -> rule1))] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is round.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14 OR ((triple10) -> rule1))]