Charlie is blue. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is white. Charlie is young. Harry is blue. Harry is kind. Harry is nice. Harry is white. Nice, blue things are kind. All kind, rough things are white.
Charlie is not young.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5 OR ((triple3 triple4) -> rule2))] Charlie is young.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8 OR ((triple9 triple7) -> rule1))] Harry is nice.[(triple9)] Harry is white.[(triple10)]