Anne is big. Anne is not quiet. Charlie is nice. Charlie is quiet. Fiona is furry. Gary is big. Gary is young. Quiet things are kind. If Anne is quiet then Anne is not green. If something is green and not kind then it is not big. If something is kind then it is big. Young, quiet things are green. If something is young and big then it is green.
Charlie is young.
@0: Anne is big.[(triple1)] Anne is not quiet.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Fiona is furry.[(triple5)] Gary is big.[(triple6)] Gary is young.[(triple7)] @1: Charlie is kind.[(((triple4) -> rule1))] Gary is green.[(((triple7 triple6) -> rule6))] @2: Charlie is big.[(((((triple4) -> rule1)) -> rule4))]