Anne is big. Bob is nice. Gary is cold. All red things are round. Big things are round. If Anne is round then Anne is big. Cold things are young. All nice things are red. If Anne is cold then Anne is round. All nice things are young. If Bob is big then Bob is kind.
Bob is not red.
@0: Anne is big.[(triple1)] Bob is nice.[(triple2)] Gary is cold.[(triple3)] @1: Anne is round.[(((triple1) -> rule2))] Bob is red.[(((triple2) -> rule5))] Bob is young.[(((triple2) -> rule7))] Gary is young.[(((triple3) -> rule4))] @2: Bob is round.[(((((triple2) -> rule5)) -> rule1))]