Charlie is blue. Charlie is cold. Charlie is rough. If Charlie is blue then Charlie is kind. If Charlie is cold and Charlie is not big then Charlie is not kind. If someone is cold and not big then they are blue. If someone is white and red then they are kind. Rough, cold people are kind. If Charlie is kind and Charlie is cold then Charlie is white. If someone is cold and not blue then they are rough. Red, cold people are rough.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is rough.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule1) OR ((triple3 triple2) -> rule5))] @2: Charlie is white.[(((((triple1) -> rule1) triple2) -> rule6) OR ((((triple3 triple2) -> rule5) triple2) -> rule6))]