Anne is big. Anne is green. Anne is white. Charlie is kind. Charlie is white. Gary is green. Gary is kind. Gary is smart. Harry is green. Harry is white. If Gary is round then Gary is not green. All green, kind things are smart. If Gary is not smart then Gary is not big. If something is big and not round then it is not young. All young, big things are white. If something is green and not smart then it is not white.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] Charlie is kind.[(triple4)] Charlie is white.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is smart.[(triple8 OR ((triple6 triple7) -> rule2))] Harry is green.[(triple9)] Harry is white.[(triple10)]