Erin is big. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is white. Gary is big. Gary is red. Gary is round. Gary is young. Harry is big. Harry is nice. Harry is red. Harry is round. Harry is smart. Harry is white. All smart people are round.
Harry is round.
@0: Erin is big.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3)] Erin is round.[(triple4 OR ((triple5) -> rule1))] Erin is smart.[(triple5)] Erin is white.[(triple6)] Gary is big.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)] Harry is big.[(triple11)] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14 OR ((triple15) -> rule1))] Harry is smart.[(triple15)] Harry is white.[(triple16)]