Anne is nice. Bob is white. Charlie is nice. Dave is furry. If Anne is cold then Anne is round. If someone is nice then they are cold. If Dave is nice then Dave is big.
Anne is big.
@0: Anne is nice.[(triple1)] Bob is white.[(triple2)] Charlie is nice.[(triple3)] Dave is furry.[(triple4)] @1: Anne is cold.[(((triple1) -> rule2))] Charlie is cold.[(((triple3) -> rule2))] @2: Anne is round.[(((((triple1) -> rule2)) -> rule1))]