Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Kind things are white. Quiet, white things are red. If Charlie is rough then Charlie is cold.
Charlie is kind.
@0: Charlie is cold.[(triple1 OR ((triple6) -> rule3))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple4 triple7) -> rule2) OR ((triple4 ((triple2) -> rule1)) -> rule2))] Charlie is rough.[(triple6)] Charlie is white.[(triple7 OR ((triple2) -> rule1))]