Anne is cold. Charlie is not blue. Charlie is cold. Charlie is nice. Dave is cold. Dave is not green. Dave is not rough. All green people are kind. If someone is red and rough then they are kind. If someone is green and red then they are cold. Nice people are green. Green people are not rough. Kind people are nice. Blue, cold people are nice. If someone is kind and green then they are not red.
Charlie is rough.
@0: Anne is cold.[(triple1)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4)] Charlie is not blue.[(triple2)] Dave is cold.[(triple5)] Dave is not green.[(triple6)] Dave is not rough.[(triple7)] @1: Charlie is green.[(((triple4) -> rule4))] @2: Charlie is kind.[(((((triple4) -> rule4)) -> rule1))] Charlie is not rough.[(((((triple4) -> rule4)) -> rule5))] @3: Charlie is not red.[(((((((triple4) -> rule4)) -> rule1) ((triple4) -> rule4)) -> rule8))]