「忍耐強いということが起きるし懸濁することが発生する」ということは偽である
fact1: 「忍耐強いということが起きる」ということは本当だ fact2: 懸濁することが発生するし様良しということが起こる
fact2 -> int1: 懸濁することが発生する; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 「忍耐強いということが起きる」ということは本当だ fact2: 懸濁することが発生するし様良しということが起こる ; $hypothesis$ = 「忍耐強いということが起きるし懸濁することが発生する」ということは偽である ; $proof$ = 
fact2 -> int1: 懸濁することが発生する; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__