Charlie is quiet. Charlie is rough. Charlie is white. Harry is blue. Harry is green. Harry is nice. Harry is quiet. Harry is rough. Harry is white. Harry is young. If Harry is green and Harry is quiet then Harry is white. If Harry is nice then Harry is white.
Charlie is blue.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Harry is blue.[(triple4)] Harry is green.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] Harry is rough.[(triple8)] Harry is white.[(triple9 OR ((triple6) -> rule2) OR ((triple5 triple7) -> rule1))] Harry is young.[(triple10)]