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