著しいということは発生しない
fact1: 大きいということが発生するかあるいは程無いということが起きるか両方ともだとすると著しいということは発生しない fact2: せこいということと得難しということが発生する
fact2 -> int1: せこいということが発生する;
fact2 -> int1: {A};
$facts$ = fact1: 大きいということが発生するかあるいは程無いということが起きるか両方ともだとすると著しいということは発生しない fact2: せこいということと得難しということが発生する ; $hypothesis$ = 著しいということは発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__