Anne is furry. Charlie is big. Gary is blue. If Anne is white then Anne is big. All nice things are big. Big things are young. If something is blue and white then it is nice. All big, white things are furry. If Gary is blue and Gary is big then Gary is furry. All nice things are white. If something is big and green then it is furry.
Anne is not furry.
@0: Anne is furry.[(triple1)] Charlie is big.[(triple2)] Gary is blue.[(triple3)] @1: Charlie is young.[(((triple2) -> rule3))]