Charlie is cold. Charlie is green. Charlie is kind. If Charlie is red and Charlie is green then Charlie is big. Kind, cold people are green. Red people are big.
Charlie is green.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2 OR ((triple3 triple1) -> rule2))] Charlie is kind.[(triple3)]