Anne is nice. Gary is kind. If someone is nice then they are big. If someone is big then they are white. Round, blue people are nice. If Anne is kind then Anne is round. Kind, cold people are round. Kind people are big. If Gary is white and Gary is nice then Gary is kind. If someone is round then they are blue.
Anne is big.
@0: Anne is nice.[(triple1)] Gary is kind.[(triple2)] @1: Anne is big.[(((triple1) -> rule1))] Gary is big.[(((triple2) -> rule6))] @2: Anne is white.[(((((triple1) -> rule1)) -> rule2))] Gary is white.[(((((triple2) -> rule6)) -> rule2))]