Anne is green. Anne is kind. Anne is round. Charlie is green. Charlie is kind. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is young. Furry things are kind. If Gary is young then Gary is quiet.
Gary is round.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7 OR ((triple6) -> rule1))] Gary is quiet.[(triple8 OR ((triple10) -> rule2))] Gary is round.[(triple9)] Gary is young.[(triple10)]