Charlie is green. Charlie is kind. Charlie is not round. Charlie is young. Harry is not cold. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is young. If someone is young then they are quiet. Quiet people are rough. If someone is cold and not quiet then they are not green.
Charlie is not rough.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is not round.[(triple3)] Charlie is young.[(triple4)] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is not cold.[(triple5)] Harry is quiet.[(triple8 OR ((triple10) -> rule1))] Harry is rough.[(triple9 OR ((triple8) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Harry is young.[(triple10)] @1: Charlie is quiet.[(((triple4) -> rule1))] @2: Charlie is rough.[(((((triple4) -> rule1)) -> rule2))]