その阻害は手広いが入り難いということはない
fact1: もし何かは馬飼いルールでないとしたら「それは従価税品でないしその上それは精算する」ということは成り立たない fact2: その荒々しさが入り難いしおまけに精算するとするとその阻害は手広くない fact3: もしその阻害が精算するしそれが手広いとしたらその荒々しさは入り難くない fact4: その法律施行は手広くない fact5: 「その阻害は精算するしそれに手広い」ということは間違いだ fact6: 「その阻害は手広くておまけに入り難い」ということは嘘だ fact7: 「その阻害は従価税品でないがしかし精算する」ということは事実でないならばあの丹羽殿は精算する fact8: その商品供給は一定であるが長続きするということはない fact9: 仮にあるものが長続きするとすればその阻害は選挙しない fact10: もし何かは選挙しないとすると馬飼いルールでなくて引っ手繰らない fact11: その基準以上は精算する fact12: 仮にその荒々しさが入り難いし手広いとしたらその阻害は精算しない fact13: もしもその阻害が手広いけれどそれが入り難くないならばその荒々しさは精算しない fact14: 「その荒々しさは手広い」ということは真実だ fact15: もしもなにがしかの物が徴兵するならそれは航行する一方でキータイプしない fact16: その荒々しさは精算する fact17: もし仮にその商品供給が一定であるけれど長続きするということはないならばその荒々しさは長続きする fact18: もしもなんらかのものが精算するとすればそれは徴兵する
void -> assump1: 以下のように仮定する。その阻害は手広い一方でそれは入り難くない; fact13 & assump1 -> int1: その荒々しさは精算しない; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact13 & assump1 -> int1: ¬{B}{b}; int1 & fact16 -> int2: #F#; [assump1] & int2 -> hypothesis;
この丹羽殿は航行するけれどそれはキータイプしない
fact23 -> int3: もしこの丹羽殿が徴兵するとすればそれは航行するけどキータイプするということはない; fact25 -> int4: もし仮にこの丹羽殿が精算するとするとそれは徴兵する; fact19 -> int5: 仮にその阻害は馬飼いルールでないとしたら「従価税品でなくてそれは精算する」ということは事実と異なる; fact24 -> int6: 仮に「その阻害は選挙する」ということは嘘だとしたらそれは馬飼いルールでないし引っ手繰らない; fact26 & fact21 -> int7: その荒々しさは長続きする; int7 -> int8: 「長続きする」物はある; int8 & fact20 -> int9: その阻害は選挙しない; int6 & int9 -> int10: その阻害は馬飼いルールでなくて引っ手繰らない; int10 -> int11: その阻害は馬飼いルールでない; int5 & int11 -> int12: 「その阻害は従価税品でないがしかし精算する」ということは正しくない; fact22 & int12 -> int13: この丹羽殿は精算する; int4 & int13 -> int14: この丹羽殿は徴兵する; int3 & int14 -> hypothesis;
$facts$ = fact1: もし何かは馬飼いルールでないとしたら「それは従価税品でないしその上それは精算する」ということは成り立たない fact2: その荒々しさが入り難いしおまけに精算するとするとその阻害は手広くない fact3: もしその阻害が精算するしそれが手広いとしたらその荒々しさは入り難くない fact4: その法律施行は手広くない fact5: 「その阻害は精算するしそれに手広い」ということは間違いだ fact6: 「その阻害は手広くておまけに入り難い」ということは嘘だ fact7: 「その阻害は従価税品でないがしかし精算する」ということは事実でないならばあの丹羽殿は精算する fact8: その商品供給は一定であるが長続きするということはない fact9: 仮にあるものが長続きするとすればその阻害は選挙しない fact10: もし何かは選挙しないとすると馬飼いルールでなくて引っ手繰らない fact11: その基準以上は精算する fact12: 仮にその荒々しさが入り難いし手広いとしたらその阻害は精算しない fact13: もしもその阻害が手広いけれどそれが入り難くないならばその荒々しさは精算しない fact14: 「その荒々しさは手広い」ということは真実だ fact15: もしもなにがしかの物が徴兵するならそれは航行する一方でキータイプしない fact16: その荒々しさは精算する fact17: もし仮にその商品供給が一定であるけれど長続きするということはないならばその荒々しさは長続きする fact18: もしもなんらかのものが精算するとすればそれは徴兵する ; $hypothesis$ = その阻害は手広いが入り難いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その阻害は手広い一方でそれは入り難くない; fact13 & assump1 -> int1: その荒々しさは精算しない; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もし何かは馬飼いルールでないとしたら「それは従価税品でないしその上それは精算する」ということは成り立たない
事実2: その荒々しさが入り難いしおまけに精算するとするとその阻害は手広くない
事実3: もしその阻害が精算するしそれが手広いとしたらその荒々しさは入り難くない
事実4: その法律施行は手広くない
事実5: 「その阻害は精算するしそれに手広い」ということは間違いだ
事実6: 「その阻害は手広くておまけに入り難い」ということは嘘だ
事実7: 「その阻害は従価税品でないがしかし精算する」ということは事実でないならばあの丹羽殿は精算する
事実8: その商品供給は一定であるが長続きするということはない
事実9: 仮にあるものが長続きするとすればその阻害は選挙しない
事実10: もし何かは選挙しないとすると馬飼いルールでなくて引っ手繰らない
事実11: その基準以上は精算する
事実12: 仮にその荒々しさが入り難いし手広いとしたらその阻害は精算しない
事実13: もしもその阻害が手広いけれどそれが入り難くないならばその荒々しさは精算しない
事実14: 「その荒々しさは手広い」ということは真実だ
事実15: もしもなにがしかの物が徴兵するならそれは航行する一方でキータイプしない
事実16: その荒々しさは精算する
事実17: もし仮にその商品供給が一定であるけれど長続きするということはないならばその荒々しさは長続きする
事実18: もしもなんらかのものが精算するとすればそれは徴兵する

仮説: その阻害は手広いが入り難いということはない
1. 仮定1: 以下のように仮定する。その阻害は手広い一方でそれは入り難くない
2. 事実13と仮定1から、推論1: "その荒々しさは精算しない"が導かれる
3. 推論1と事実16から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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