Charlie is blue. Charlie is green. Charlie is rough. Charlie is round. Charlie is white. Harry is blue. Harry is cold. Harry is green. Harry is round. Harry is white. If Charlie is rough then Charlie is white.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5 OR ((triple3) -> rule1))] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)]