「もし仮にこの無策が助くとすればその市内外は図面上だ」ということは誤りである
fact1: もし仮にあの有力組織は丁髷であるということはないとすると「この無策は即決するけど稽古場だということはない」ということは間違っている fact2: 「この無策は睦まじくない一方で助く」ということは成り立つとするとあの暗記科目は印加方法だ fact3: もしあの有力組織は睦まじくないならば「この無策は丁髷であるしそれにそれは助く」ということは成り立たない fact4: あの有力組織は丁髷でない fact5: 「この無策は稽古場でない一方で丁髷である」ということは正しい fact6: 仮に「とあるものは即決するが稽古場でない」ということは成り立つということはないなら睦まじいということはない fact7: 「この無策は即決するししかも稽古場である」ということは成り立たない fact8: あの有力組織は印加方法だ fact9: 仮にあの暗記科目は印加方法だとすれば「その市内外は図面上である」ということは事実だ fact10: あの暗記科目は睦まじくない fact11: あの有力組織は図面上だ
fact1 & fact4 -> int1: 「この無策は即決するけれどそれは稽古場でない」ということは間違いだ; fact6 -> int2: もし「この無策は即決するが稽古場でない」ということは間違いなら「睦まじくない」ということは本当である; int1 & int2 -> int3: この無策は睦まじくない; void -> assump1: 以下のように仮定する。「この無策は助く」ということは成り立つ; int3 & assump1 -> int4: この無策は睦まじくないけれどそれは助く; int4 & fact2 -> int5: あの暗記科目は印加方法だ; int5 & fact9 -> int6: その市内外は図面上である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もし仮にあの有力組織は丁髷であるということはないとすると「この無策は即決するけど稽古場だということはない」ということは間違っている fact2: 「この無策は睦まじくない一方で助く」ということは成り立つとするとあの暗記科目は印加方法だ fact3: もしあの有力組織は睦まじくないならば「この無策は丁髷であるしそれにそれは助く」ということは成り立たない fact4: あの有力組織は丁髷でない fact5: 「この無策は稽古場でない一方で丁髷である」ということは正しい fact6: 仮に「とあるものは即決するが稽古場でない」ということは成り立つということはないなら睦まじいということはない fact7: 「この無策は即決するししかも稽古場である」ということは成り立たない fact8: あの有力組織は印加方法だ fact9: 仮にあの暗記科目は印加方法だとすれば「その市内外は図面上である」ということは事実だ fact10: あの暗記科目は睦まじくない fact11: あの有力組織は図面上だ ; $hypothesis$ = 「もし仮にこの無策が助くとすればその市内外は図面上だ」ということは誤りである ; $proof$ = 
fact1 & fact4 -> int1: 「この無策は即決するけれどそれは稽古場でない」ということは間違いだ; fact6 -> int2: もし「この無策は即決するが稽古場でない」ということは間違いなら「睦まじくない」ということは本当である; int1 & int2 -> int3: この無策は睦まじくない; void -> assump1: 以下のように仮定する。「この無策は助く」ということは成り立つ; int3 & assump1 -> int4: この無策は睦まじくないけれどそれは助く; int4 & fact2 -> int5: あの暗記科目は印加方法だ; int5 & fact9 -> int6: その市内外は図面上である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にあの有力組織は丁髷であるということはないとすると「この無策は即決するけど稽古場だということはない」ということは間違っている
事実2: 「この無策は睦まじくない一方で助く」ということは成り立つとするとあの暗記科目は印加方法だ
事実3: もしあの有力組織は睦まじくないならば「この無策は丁髷であるしそれにそれは助く」ということは成り立たない
事実4: あの有力組織は丁髷でない
事実5: 「この無策は稽古場でない一方で丁髷である」ということは正しい
事実6: 仮に「とあるものは即決するが稽古場でない」ということは成り立つということはないなら睦まじいということはない
事実7: 「この無策は即決するししかも稽古場である」ということは成り立たない
事実8: あの有力組織は印加方法だ
事実9: 仮にあの暗記科目は印加方法だとすれば「その市内外は図面上である」ということは事実だ
事実10: あの暗記科目は睦まじくない
事実11: あの有力組織は図面上だ

仮説: 「もし仮にこの無策が助くとすればその市内外は図面上だ」ということは誤りである
1. 事実1と事実4から、推論1: "「この無策は即決するけれどそれは稽古場でない」ということは間違いだ"が導かれる
2. 事実6から、推論2: "もし「この無策は即決するが稽古場でない」ということは間違いなら「睦まじくない」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "この無策は睦まじくない"が導かれる
4. 仮定1: 以下のように仮定する。「この無策は助く」ということは成り立つ
5. 推論3と仮定1から、推論4: "この無策は睦まじくないけれどそれは助く"が導かれる
6. 推論4と事実2から、推論5: "あの暗記科目は印加方法だ"が導かれる
7. 推論5と事実9から、推論6: "その市内外は図面上である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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