Charlie is not cold. Charlie is nice. Charlie is red. Dave is cold. Dave is green. Dave is kind. Dave is young. If something is young and red then it is not cold. All rough things are young. All rough, young things are kind. If something is nice then it is rough. If something is nice and not young then it is green. If Charlie is green and Charlie is not nice then Charlie is cold.
Dave is not rough.
@0: Charlie is nice.[(triple2)] Charlie is not cold.[(triple1 OR ((((((triple2) -> rule4)) -> rule2) triple3) -> rule1))] Charlie is red.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is young.[(triple7)] @1: Charlie is rough.[(((triple2) -> rule4))] @2: Charlie is young.[(((((triple2) -> rule4)) -> rule2))] @3: Charlie is kind.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule3))]