Harry is big. Harry is rough. Harry is smart. All red, smart people are cold. If someone is rough then they are big. All big, young people are rough.
Harry is not rough.
@0: Harry is big.[(triple1 OR ((triple2) -> rule2))] Harry is rough.[(triple2)] Harry is smart.[(triple3)]