この五十二型は細くない
fact1: あの膀胱直腸障害は無性でない fact2: もし仮にあの膀胱直腸障害は無性でないとしたら「そのオールド・フィッシャーマンズ・ワーフは奥手でない一方で顔色だ」ということは成り立たない fact3: それはバント船だ一方で説明し易くないという物はない fact4: もしも「ある物は刑場でないが進め易い」ということは偽だとしたら成熟しない fact5: 「この五十二型は確認し難い」ということは確かである fact6: もし仮にそのオールド・フィッシャーマンズ・ワーフが説明し易くてさらにそれがエクセルシート上ソルバーであるとすればあの五十二型は説明し易いということはない fact7: もし何かは四級でないとすれば弛み無いしその上企業診断であるということはない fact8: あるものは説明し易くないとするとそれは細くない fact9: ＰＲするしそれに伝え難くないという物はない fact10: もしある物がＰＲするということはないとすればそれは細い fact11: 「何かは奥手でないがしかし顔色だ」ということは成り立たないとしたらそれは四級だということはない fact12: そのＲＶ車は伝え難い fact13: もしなにがしかの物が成熟しないならそれがエクセルシート上ソルバーだしその上それは高位結紮である fact14: この前方らしさは細い fact15: 弛み無い物は企業診断でないなら「説明し易い」ということは正しい fact16: 「もし仮に「ある物はＰＲするけれど伝え難くない」ということは事実と異なるとしたらそれは細い」ということは事実だ fact17: もし仮にこの五十二型がＰＲしないならばそれは細い
fact9 -> int1: 「この五十二型はＰＲするけど伝え難くない」ということは誤っている; fact16 -> int2: もしも「この五十二型はＰＲするが伝え難くない」ということは成り立たないならばそれは細い; int1 & int2 -> hypothesis;
この五十二型は細くない
fact23 -> int3: この五十二型が説明し易いということはないならば細くない; fact26 -> int4: そのオールド・フィッシャーマンズ・ワーフは弛み無いけど企業診断だということはないなら説明し易い; fact19 -> int5: 仮にそのオールド・フィッシャーマンズ・ワーフが四級でないなら弛み無いししかも企業診断だということはない; fact22 -> int6: 仮に「そのオールド・フィッシャーマンズ・ワーフは奥手でないがしかし顔色だ」ということは誤っているとすればそれは四級でない; fact18 & fact24 -> int7: 「そのオールド・フィッシャーマンズ・ワーフは奥手であるということはないけど顔色だ」ということは誤りである; int6 & int7 -> int8: そのオールド・フィッシャーマンズ・ワーフは四級でない; int5 & int8 -> int9: そのオールド・フィッシャーマンズ・ワーフは弛み無いがしかし企業診断でない; int4 & int9 -> int10: そのオールド・フィッシャーマンズ・ワーフは説明し易い; fact20 -> int11: 仮にそのオールド・フィッシャーマンズ・ワーフが成熟しないならばそれがエクセルシート上ソルバーだしまたそれは高位結紮である; fact21 -> int12: 「「そのオールド・フィッシャーマンズ・ワーフは刑場でない一方でそれは進め易い」ということは誤っている」ということは本当だとするとそれは成熟しない;
$facts$ = fact1: あの膀胱直腸障害は無性でない fact2: もし仮にあの膀胱直腸障害は無性でないとしたら「そのオールド・フィッシャーマンズ・ワーフは奥手でない一方で顔色だ」ということは成り立たない fact3: それはバント船だ一方で説明し易くないという物はない fact4: もしも「ある物は刑場でないが進め易い」ということは偽だとしたら成熟しない fact5: 「この五十二型は確認し難い」ということは確かである fact6: もし仮にそのオールド・フィッシャーマンズ・ワーフが説明し易くてさらにそれがエクセルシート上ソルバーであるとすればあの五十二型は説明し易いということはない fact7: もし何かは四級でないとすれば弛み無いしその上企業診断であるということはない fact8: あるものは説明し易くないとするとそれは細くない fact9: ＰＲするしそれに伝え難くないという物はない fact10: もしある物がＰＲするということはないとすればそれは細い fact11: 「何かは奥手でないがしかし顔色だ」ということは成り立たないとしたらそれは四級だということはない fact12: そのＲＶ車は伝え難い fact13: もしなにがしかの物が成熟しないならそれがエクセルシート上ソルバーだしその上それは高位結紮である fact14: この前方らしさは細い fact15: 弛み無い物は企業診断でないなら「説明し易い」ということは正しい fact16: 「もし仮に「ある物はＰＲするけれど伝え難くない」ということは事実と異なるとしたらそれは細い」ということは事実だ fact17: もし仮にこの五十二型がＰＲしないならばそれは細い ; $hypothesis$ = この五十二型は細くない ; $proof$ = 
fact9 -> int1: 「この五十二型はＰＲするけど伝え難くない」ということは誤っている; fact16 -> int2: もしも「この五十二型はＰＲするが伝え難くない」ということは成り立たないならばそれは細い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの膀胱直腸障害は無性でない
事実2: もし仮にあの膀胱直腸障害は無性でないとしたら「そのオールド・フィッシャーマンズ・ワーフは奥手でない一方で顔色だ」ということは成り立たない
事実3: それはバント船だ一方で説明し易くないという物はない
事実4: もしも「ある物は刑場でないが進め易い」ということは偽だとしたら成熟しない
事実5: 「この五十二型は確認し難い」ということは確かである
事実6: もし仮にそのオールド・フィッシャーマンズ・ワーフが説明し易くてさらにそれがエクセルシート上ソルバーであるとすればあの五十二型は説明し易いということはない
事実7: もし何かは四級でないとすれば弛み無いしその上企業診断であるということはない
事実8: あるものは説明し易くないとするとそれは細くない
事実9: ＰＲするしそれに伝え難くないという物はない
事実10: もしある物がＰＲするということはないとすればそれは細い
事実11: 「何かは奥手でないがしかし顔色だ」ということは成り立たないとしたらそれは四級だということはない
事実12: そのＲＶ車は伝え難い
事実13: もしなにがしかの物が成熟しないならそれがエクセルシート上ソルバーだしその上それは高位結紮である
事実14: この前方らしさは細い
事実15: 弛み無い物は企業診断でないなら「説明し易い」ということは正しい
事実16: 「もし仮に「ある物はＰＲするけれど伝え難くない」ということは事実と異なるとしたらそれは細い」ということは事実だ
事実17: もし仮にこの五十二型がＰＲしないならばそれは細い

仮説: この五十二型は細くない
1. 事実9から、推論1: "「この五十二型はＰＲするけど伝え難くない」ということは誤っている"が導かれる
2. 事実16から、推論2: "もしも「この五十二型はＰＲするが伝え難くない」ということは成り立たないならばそれは細い"が導かれる
3. 推論1と推論2から、仮説が否定される

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