Anne is cold. Anne is young. Charlie is smart. Dave is big. Dave is green. Dave is round. Fiona is green. All cold things are big. If something is big and cold then it is green. Green things are smart.
Anne is not green.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Charlie is smart.[(triple3)] Dave is big.[(triple4)] Dave is green.[(triple5)] Dave is round.[(triple6)] Fiona is green.[(triple7)] @1: Anne is big.[(((triple1) -> rule1))] Dave is smart.[(((triple5) -> rule3))] Fiona is smart.[(((triple7) -> rule3))] @2: Anne is green.[(((((triple1) -> rule1) triple1) -> rule2))] @3: Anne is smart.[(((((((triple1) -> rule1) triple1) -> rule2)) -> rule3))]