Charlie is smart. Dave is green. Harry is big. Rough, white people are cold. All rough people are cold. Kind people are white. All big, rough people are not white. All smart people are not green. Rough people are kind. If someone is rough then they are kind. If someone is white and green then they are rough.
Charlie is not cold.
@0: Charlie is smart.[(triple1)] Dave is green.[(triple2)] Harry is big.[(triple3)] @1: Charlie is not green.[(((triple1) -> rule5))]