Anne is big. Anne is green. Anne is not quiet. Anne is rough. Anne is smart. Anne is not white. Anne is not young. Gary is big. Gary is green. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Gary is young. If someone is green then they are big. If Anne is white and Anne is smart then Anne is not young.
Anne is young.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is green.[(triple2)] Anne is not quiet.[(triple3)] Anne is not white.[(triple6)] Anne is not young.[(triple7)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Gary is big.[(triple8 OR ((triple9) -> rule1))] Gary is green.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)]