Anne is red. Anne is rough. Anne is young. Charlie is big. Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is young. Harry is red. If someone is big then they are rough. If Harry is cold then Harry is young. All green, kind people are rough.
Harry is not rough.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8 OR ((triple4) -> rule1) OR ((triple5 triple6) -> rule3))] Charlie is young.[(triple9)] Harry is red.[(triple10)]