そのタイプ原稿は看過し難い
fact1: 看過し難くない物は戦闘員でないし加えて千人対でない fact2: 「その権現は引っ捕らえない一方でデモ行進する」ということは事実と異なる fact3: もし何らかの物は戦闘員でないしおまけに千人対だということはないとしたらそれは推進す fact4: もし仮になんらかの物はデモ行進する一方で引っ捕らえないならば「看過し難くない」ということは成り立つ fact5: その権現は推進すけど千人対でない fact6: すべては物狂おしくてさらに浅し fact7: もしもその権現は推進すしその上戦闘員ならば「そのタイプ原稿は看過し難くない」ということは確かである fact8: その権現は千人対であるということはない fact9: もしその権現がデモ行進しないとすればそれは戦闘員である fact10: どれもこれもはデモ行進する fact11: もし「その権現は引っ捕らえないけどデモ行進する」ということは嘘であるとするとそれは戦闘員である fact12: あの軽度発達障害は推進す
fact5 -> int1: 「その権現は推進す」ということは成り立つ; fact2 & fact11 -> int2: その権現は戦闘員である; int1 & int2 -> int3: その権現は推進すし戦闘員である; int3 & fact7 -> hypothesis;
fact5 -> int1: {A}{a}; fact2 & fact11 -> int2: {C}{a}; int1 & int2 -> int3: ({A}{a} & {C}{a}); int3 & fact7 -> hypothesis;
この修行は推進す
fact15 -> int4: もしこの修行は戦闘員でなくて千人対でないとすると推進す; fact13 -> int5: もしその権現は看過し難くないとすると戦闘員でないし更に千人対だということはない; fact14 -> int6: もし仮にその権現はデモ行進するが引っ捕らえるということはないとすれば「それは看過し難いということはない」ということは確かである; fact17 -> int7: その権現はデモ行進する; fact16 -> int8: その権現は物狂おしいし浅し;
$facts$ = fact1: 看過し難くない物は戦闘員でないし加えて千人対でない fact2: 「その権現は引っ捕らえない一方でデモ行進する」ということは事実と異なる fact3: もし何らかの物は戦闘員でないしおまけに千人対だということはないとしたらそれは推進す fact4: もし仮になんらかの物はデモ行進する一方で引っ捕らえないならば「看過し難くない」ということは成り立つ fact5: その権現は推進すけど千人対でない fact6: すべては物狂おしくてさらに浅し fact7: もしもその権現は推進すしその上戦闘員ならば「そのタイプ原稿は看過し難くない」ということは確かである fact8: その権現は千人対であるということはない fact9: もしその権現がデモ行進しないとすればそれは戦闘員である fact10: どれもこれもはデモ行進する fact11: もし「その権現は引っ捕らえないけどデモ行進する」ということは嘘であるとするとそれは戦闘員である fact12: あの軽度発達障害は推進す ; $hypothesis$ = そのタイプ原稿は看過し難い ; $proof$ = 
fact5 -> int1: 「その権現は推進す」ということは成り立つ; fact2 & fact11 -> int2: その権現は戦闘員である; int1 & int2 -> int3: その権現は推進すし戦闘員である; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: 看過し難くない物は戦闘員でないし加えて千人対でない
事実2: 「その権現は引っ捕らえない一方でデモ行進する」ということは事実と異なる
事実3: もし何らかの物は戦闘員でないしおまけに千人対だということはないとしたらそれは推進す
事実4: もし仮になんらかの物はデモ行進する一方で引っ捕らえないならば「看過し難くない」ということは成り立つ
事実5: その権現は推進すけど千人対でない
事実6: すべては物狂おしくてさらに浅し
事実7: もしもその権現は推進すしその上戦闘員ならば「そのタイプ原稿は看過し難くない」ということは確かである
事実8: その権現は千人対であるということはない
事実9: もしその権現がデモ行進しないとすればそれは戦闘員である
事実10: どれもこれもはデモ行進する
事実11: もし「その権現は引っ捕らえないけどデモ行進する」ということは嘘であるとするとそれは戦闘員である
事実12: あの軽度発達障害は推進す

仮説: そのタイプ原稿は看過し難い
1. 事実5から、推論1: "「その権現は推進す」ということは成り立つ"が導かれる
2. 事実2と事実11から、推論2: "その権現は戦闘員である"が導かれる
3. 推論1と推論2から、推論3: "その権現は推進すし戦闘員である"が導かれる
4. 推論3と事実7から、仮説が否定される

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