Anne is blue. Anne is cold. Anne is not green. Bob is cold. Charlie is blue. Dave is not blue. Dave is cold. If Anne is rough then Anne is big. If Dave is not cold then Dave is young. Rough, young people are not red. All blue people are rough. If Anne is big and Anne is green then Anne is blue. Big, cold people are blue. If someone is red and green then they are young. Big people are not young.
Charlie is cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not green.[(triple3)] Bob is cold.[(triple4)] Charlie is blue.[(triple5)] Dave is cold.[(triple7)] Dave is not blue.[(triple6)] @1: Anne is rough.[(((triple1) -> rule4))] Charlie is rough.[(((triple5) -> rule4))] @2: Anne is big.[(((((triple1) -> rule4)) -> rule1))] @3: Anne is not young.[(((((((triple1) -> rule4)) -> rule1)) -> rule8))]