Bob is big. Bob is kind. Bob is smart. Erin is big. Erin is kind. Erin is red. Erin is rough. Erin is smart. Erin is white. Gary is big. Gary is kind. Gary is rough. Gary is smart. Harry is big. Harry is kind. Harry is smart. If someone is rough then they are big.
Gary is not rough.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Erin is big.[(triple4 OR ((triple7) -> rule1))] Erin is kind.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Gary is big.[(triple10 OR ((triple12) -> rule1))] Gary is kind.[(triple11)] Gary is rough.[(triple12)] Gary is smart.[(triple13)] Harry is big.[(triple14)] Harry is kind.[(triple15)] Harry is smart.[(triple16)]