Bob is kind. Bob is quiet. Bob is red. Bob is round. Bob is young. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. If something is cold then it is rough. If Charlie is rough then Charlie is round.
Bob is not rough.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple6) -> rule1))] Charlie is round.[(triple10 OR ((triple9) -> rule2) OR ((((triple6) -> rule1)) -> rule2))]