Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Charlie is young. If someone is kind then they are young. If Charlie is rough then Charlie is kind. If someone is kind then they are blue.
Charlie is not cold.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple5) -> rule2))] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]