Anne is cold. Bob is red. Dave is kind. Harry is nice. All kind people are cold. All big people are young. If someone is big then they are young. Cold people are big. If Dave is nice and Dave is not cold then Dave is furry. If Dave is not cold then Dave is red.
Anne is big.
@0: Anne is cold.[(triple1)] Bob is red.[(triple2)] Dave is kind.[(triple3)] Harry is nice.[(triple4)] @1: Anne is big.[(((triple1) -> rule4))] Dave is cold.[(((triple3) -> rule1))] @2: Anne is young.[(((((triple1) -> rule4)) -> rule2) OR ((((triple1) -> rule4)) -> rule3))] Dave is big.[(((((triple3) -> rule1)) -> rule4))] @3: Dave is young.[(((((((triple3) -> rule1)) -> rule4)) -> rule2) OR ((((((triple3) -> rule1)) -> rule4)) -> rule3))]