Anne is nice. Bob is not cold. Charlie is green. Harry is green. All red people are not cold. If someone is nice and green then they are kind. If Anne is young then Anne is red. If Harry is red then Harry is not green. If someone is nice then they are young. Cold, red people are rough. If Charlie is young then Charlie is not nice. All nice people are not green.
Charlie is green.
@0: Anne is nice.[(triple1)] Bob is not cold.[(triple2)] Charlie is green.[(triple3)] Harry is green.[(triple4)] @1: Anne is not green.[(((triple1) -> rule8))] Anne is young.[(((triple1) -> rule5))] @2: Anne is red.[(((((triple1) -> rule5)) -> rule3))] @3: Anne is not cold.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))]