Anne is kind. Charlie is nice. Dave is big. Harry is big. All cold, big things are young. If something is blue then it is young. If something is kind and not red then it is cold. If something is young then it is not cold. If Charlie is nice then Charlie is blue. All red, nice things are blue. All young, big things are not nice. If Harry is blue and Harry is not kind then Harry is not big.
Charlie is not young.
@0: Anne is kind.[(triple1)] Charlie is nice.[(triple2)] Dave is big.[(triple3)] Harry is big.[(triple4)] @1: Charlie is blue.[(((triple2) -> rule5))] @2: Charlie is young.[(((((triple2) -> rule5)) -> rule2))] @3: Charlie is not cold.[(((((((triple2) -> rule5)) -> rule2)) -> rule4))]