Anne is kind. Anne is nice. Erin is big. Erin is green. Erin is kind. Gary is nice. Gary is round. If someone is cold then they are nice. If Anne is kind and Anne is white then Anne is big. If Erin is round and Erin is cold then Erin is big. If someone is cold then they are round. Nice, round people are cold. Round people are kind.
Erin is white.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Gary is nice.[(triple6)] Gary is round.[(triple7)] @1: Gary is cold.[(((triple6 triple7) -> rule5))] Gary is kind.[(((triple7) -> rule6))]