その建築図は手引きしない
fact1: 仮に「「補填するがしかし既刊目録でない」ということは間違いである」物があるとしたらその思想・信条は既刊目録である fact2: 「その大阪控訴院は補填するけどそれは既刊目録でない」ということは成り立たない fact3: もし仮にとある物が既刊目録だということはないとすればそれは手引きしないがしかしセンターアセスメントである fact4: その建築図は手引きするということはないとしたら「その受動免疫はＥＣＧ異常スコアでないし通行しない」ということは間違いだ fact5: 仮に「その受動免疫はＥＣＧ異常スコアでないしそれに通行しない」ということは確かでないとすればこのポツダム宣言受諾はセンターアセスメントだ fact6: もしもこのポツダム宣言受諾はセンターアセスメントなら「その思想・信条は既刊目録でない」ということは成り立つ
void -> assump1: 以下のように仮定する。その建築図は手引きしない; fact4 & assump1 -> int1: 「その受動免疫はＥＣＧ異常スコアでないしさらに通行しない」ということは嘘である; int1 & fact5 -> int2: このポツダム宣言受諾はセンターアセスメントだ; int2 & fact6 -> int3: その思想・信条は既刊目録でない; fact2 -> int4: 「「補填するけれど既刊目録であるということはない」ということは成り立たない」ものはある; int4 & fact1 -> int5: 「その思想・信条は既刊目録である」ということは事実である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「その建築図は手引きするということはない」ということは成り立つ
fact7 -> int7: もしも「その建築図は既刊目録である」ということは成り立たないとすればそれは手引きしなくて更にセンターアセスメントである;
$facts$ = fact1: 仮に「「補填するがしかし既刊目録でない」ということは間違いである」物があるとしたらその思想・信条は既刊目録である fact2: 「その大阪控訴院は補填するけどそれは既刊目録でない」ということは成り立たない fact3: もし仮にとある物が既刊目録だということはないとすればそれは手引きしないがしかしセンターアセスメントである fact4: その建築図は手引きするということはないとしたら「その受動免疫はＥＣＧ異常スコアでないし通行しない」ということは間違いだ fact5: 仮に「その受動免疫はＥＣＧ異常スコアでないしそれに通行しない」ということは確かでないとすればこのポツダム宣言受諾はセンターアセスメントだ fact6: もしもこのポツダム宣言受諾はセンターアセスメントなら「その思想・信条は既刊目録でない」ということは成り立つ ; $hypothesis$ = その建築図は手引きしない ; $proof$ = 
void -> assump1: 以下のように仮定する。その建築図は手引きしない; fact4 & assump1 -> int1: 「その受動免疫はＥＣＧ異常スコアでないしさらに通行しない」ということは嘘である; int1 & fact5 -> int2: このポツダム宣言受諾はセンターアセスメントだ; int2 & fact6 -> int3: その思想・信条は既刊目録でない; fact2 -> int4: 「「補填するけれど既刊目録であるということはない」ということは成り立たない」ものはある; int4 & fact1 -> int5: 「その思想・信条は既刊目録である」ということは事実である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮に「「補填するがしかし既刊目録でない」ということは間違いである」物があるとしたらその思想・信条は既刊目録である
事実2: 「その大阪控訴院は補填するけどそれは既刊目録でない」ということは成り立たない
事実3: もし仮にとある物が既刊目録だということはないとすればそれは手引きしないがしかしセンターアセスメントである
事実4: その建築図は手引きするということはないとしたら「その受動免疫はＥＣＧ異常スコアでないし通行しない」ということは間違いだ
事実5: 仮に「その受動免疫はＥＣＧ異常スコアでないしそれに通行しない」ということは確かでないとすればこのポツダム宣言受諾はセンターアセスメントだ
事実6: もしもこのポツダム宣言受諾はセンターアセスメントなら「その思想・信条は既刊目録でない」ということは成り立つ

仮説: その建築図は手引きしない
1. 仮定1: 以下のように仮定する。その建築図は手引きしない
2. 事実4と仮定1から、推論1: "「その受動免疫はＥＣＧ異常スコアでないしさらに通行しない」ということは嘘である"が導かれる
3. 推論1と事実5から、推論2: "このポツダム宣言受諾はセンターアセスメントだ"が導かれる
4. 推論2と事実6から、推論3: "その思想・信条は既刊目録でない"が導かれる
5. 事実2から、推論4: "「「補填するけれど既刊目録であるということはない」ということは成り立たない」ものはある"が導かれる
6. 推論4と事実1から、推論5: "「その思想・信条は既刊目録である」ということは事実である"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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