「そのθＩＪは保全協だがしかしレッスンしない」ということは誤りだ
fact1: あの第十六章は占領前期でない fact2: 仮にそのθＩＪは棚でないとすると割れ難くてそれは行き難い fact3: そのθＩＪは保全協でそれは棚だ fact4: そのθＩＪは行き難くない fact5: 「あの第十六章が行き難いとするとあの第十六章は割れ難い」ということは成り立つ fact6: あの第十六章は行き難いということはないとすれば「そのθＩＪはレッスンしない」ということは事実である fact7: そのθＩＪは棚である fact8: そのθＩＪは割れ難いということはない fact9: あの第十六章は染み付く fact10: その友誼医院内はＰＨＩであるしそれは行き難い fact11: あの第十六章は割れ難くないが染み付く fact12: あの第十六章が棚でないならばそのθＩＪは染み付かない fact13: もしも何かは行き難いなら「保全協であるがレッスンしない」ということは偽である
void -> assump1: 以下のように仮定する。あの第十六章は行き難い; fact5 & assump1 -> int1: あの第十六章は割れ難い; fact11 -> int2: あの第十六章は割れ難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの第十六章は行き難くない; int4 & fact6 -> int5: そのθＩＪはレッスンしない; fact3 -> int6: そのθＩＪは保全協だ; int5 & int6 -> hypothesis;
「そのθＩＪは保全協だけれどレッスンしない」ということは成り立たない
fact15 -> int7: もし「そのθＩＪは行き難い」ということは成り立つなら「保全協であるけれどレッスンするということはない」ということは誤りである;
$facts$ = fact1: あの第十六章は占領前期でない fact2: 仮にそのθＩＪは棚でないとすると割れ難くてそれは行き難い fact3: そのθＩＪは保全協でそれは棚だ fact4: そのθＩＪは行き難くない fact5: 「あの第十六章が行き難いとするとあの第十六章は割れ難い」ということは成り立つ fact6: あの第十六章は行き難いということはないとすれば「そのθＩＪはレッスンしない」ということは事実である fact7: そのθＩＪは棚である fact8: そのθＩＪは割れ難いということはない fact9: あの第十六章は染み付く fact10: その友誼医院内はＰＨＩであるしそれは行き難い fact11: あの第十六章は割れ難くないが染み付く fact12: あの第十六章が棚でないならばそのθＩＪは染み付かない fact13: もしも何かは行き難いなら「保全協であるがレッスンしない」ということは偽である ; $hypothesis$ = 「そのθＩＪは保全協だがしかしレッスンしない」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの第十六章は行き難い; fact5 & assump1 -> int1: あの第十六章は割れ難い; fact11 -> int2: あの第十六章は割れ難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの第十六章は行き難くない; int4 & fact6 -> int5: そのθＩＪはレッスンしない; fact3 -> int6: そのθＩＪは保全協だ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: あの第十六章は占領前期でない
事実2: 仮にそのθＩＪは棚でないとすると割れ難くてそれは行き難い
事実3: そのθＩＪは保全協でそれは棚だ
事実4: そのθＩＪは行き難くない
事実5: 「あの第十六章が行き難いとするとあの第十六章は割れ難い」ということは成り立つ
事実6: あの第十六章は行き難いということはないとすれば「そのθＩＪはレッスンしない」ということは事実である
事実7: そのθＩＪは棚である
事実8: そのθＩＪは割れ難いということはない
事実9: あの第十六章は染み付く
事実10: その友誼医院内はＰＨＩであるしそれは行き難い
事実11: あの第十六章は割れ難くないが染み付く
事実12: あの第十六章が棚でないならばそのθＩＪは染み付かない
事実13: もしも何かは行き難いなら「保全協であるがレッスンしない」ということは偽である

仮説: 「そのθＩＪは保全協だがしかしレッスンしない」ということは誤りだ
1. 仮定1: 以下のように仮定する。あの第十六章は行き難い
2. 事実5と仮定1から、推論1: "あの第十六章は割れ難い"が導かれる
3. 事実11から、推論2: "あの第十六章は割れ難くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの第十六章は行き難くない"が導かれる
6. 推論4と事実6から、推論5: "そのθＩＪはレッスンしない"が導かれる
7. 事実3から、推論6: "そのθＩＪは保全協だ"が導かれる
8. 推論5と推論6から、仮説が否定される

よって、仮説が否定されました。