Erin is big. Erin is cold. Erin is rough. Erin is round. Erin is smart. Erin is young. Gary is big. Gary is cold. Gary is smart. Gary is white. Harry is big. Harry is cold. Harry is rough. Harry is round. Harry is smart. Harry is white. Rough people are cold. If Gary is young and Gary is big then Gary is smart. If Harry is white and Harry is round then Harry is big.
Harry is round.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple3) -> rule1))] Erin is rough.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5)] Erin is young.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is big.[(triple11 OR ((triple16 triple14) -> rule3))] Harry is cold.[(triple12 OR ((triple13) -> rule1))] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)]