Anne is cold. Anne is kind. Charlie is blue. Charlie is round. Charlie is young. Erin is big. Erin is blue. Erin is not kind. Erin is not nice. Erin is young. Kind things are big. If something is round and not big then it is not blue. If something is big and not cold then it is blue.
Charlie is not big.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Charlie is blue.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is not kind.[(triple8)] Erin is not nice.[(triple9)] Erin is young.[(triple10)] @1: Anne is big.[(((triple2) -> rule1))]