Anne is big. Bob is cold. Gary is kind. If something is red and cold then it is kind. Furry things are young. All kind things are young. If something is cold and big then it is kind. If something is big and kind then it is red. All cold things are red. Red things are furry. If Anne is young and Anne is cold then Anne is red.
Anne is not cold.
@0: Anne is big.[(triple1)] Bob is cold.[(triple2)] Gary is kind.[(triple3)] @1: Bob is red.[(((triple2) -> rule6))] Gary is young.[(((triple3) -> rule3))] @2: Bob is furry.[(((((triple2) -> rule6)) -> rule7))] Bob is kind.[(((((triple2) -> rule6) triple2) -> rule1))] @3: Bob is young.[(((((((triple2) -> rule6)) -> rule7)) -> rule2) OR ((((((triple2) -> rule6) triple2) -> rule1)) -> rule3))]