Anne is round. Bob is blue. All green people are big. All blue people are cold. If someone is round and blue then they are young. If someone is furry then they are young. If Bob is cold then Bob is furry. If someone is cold and furry then they are big.
Anne is not cold.
@0: Anne is round.[(triple1)] Bob is blue.[(triple2)] @1: Bob is cold.[(((triple2) -> rule2))] @2: Bob is furry.[(((((triple2) -> rule2)) -> rule5))] @3: Bob is big.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule5)) -> rule6))] Bob is young.[(((((((triple2) -> rule2)) -> rule5)) -> rule4))]