Anne is cold. Anne is kind. Anne is rough. Anne is young. Charlie is cold. Charlie is green. Charlie is white. Charlie is young. Gary is cold. Gary is young. All young, cold things are big. If Charlie is white and Charlie is big then Charlie is kind.
Gary is young.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Gary is cold.[(triple9)] Gary is young.[(triple10)] @1: Anne is big.[(((triple4 triple1) -> rule1))] Charlie is big.[(((triple8 triple5) -> rule1))] Gary is big.[(((triple10 triple9) -> rule1))] @2: Charlie is kind.[(((triple7 ((triple8 triple5) -> rule1)) -> rule2))]