Anne is green. Charlie is not kind. Fiona is red. Gary is kind. If something is big then it is not red. If Gary is big then Gary is red. If Charlie is big and Charlie is not round then Charlie is green. If something is furry then it is not green. If something is young then it is not green. If something is big and not red then it is young. Kind things are young. All big things are young.
Fiona is not furry.
@0: Anne is green.[(triple1)] Charlie is not kind.[(triple2)] Fiona is red.[(triple3)] Gary is kind.[(triple4)] @1: Gary is young.[(((triple4) -> rule7))] @2: Gary is not green.[(((((triple4) -> rule7)) -> rule5))]