Anne is round. Charlie is not nice. Dave is big. Dave is cold. Dave is not kind. Dave is nice. Gary is cold. If Dave is cold then Dave is round. All red, big people are young. All round people are red.
Dave is red.
@0: Anne is round.[(triple1)] Charlie is not nice.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Dave is nice.[(triple6)] Dave is not kind.[(triple5)] Gary is cold.[(triple7)] @1: Anne is red.[(((triple1) -> rule3))] Dave is round.[(((triple4) -> rule1))] @2: Dave is red.[(((((triple4) -> rule1)) -> rule3))] @3: Dave is young.[(((((((triple4) -> rule1)) -> rule3) triple3) -> rule2))]