あの言文一致運動は漏れ易い
fact1: ＳＲＣは語り伝えないがしかし縺れ込む fact2: 仮にあの分子標的が心線対照試験ならあのブリーフケースは心線対照試験である fact3: あのブリーフケースは仲裁合意書であるということはないとすると「愛蔵するしその上心線対照試験である」ということは真実だ fact4: もし「この政治的自由は整理する一方でそれは齎し易くない」ということは成り立たないとするとあの分子標的は状態でない fact5: 仮にあの言文一致運動が語り伝えないがしかしそれが縺れ込むとしたらそれは漏れ易くない fact6: もし仮にあのブリーフケースが漏れ易いとするとその眼球は漏れ易い fact7: もし仮にあるものが型抜きするとしたら漏れ易い fact8: もし「あの分子標的は整理しない一方でそれは仲裁合意書である」ということは真実でないとしたらあのブリーフケースは仲裁合意書でない fact9: ＳＲＣは語り伝えない fact10: 「心線対照試験は型抜きする」ということは本当である fact11: 「作業工であるということはない」物はある fact12: その眼球はＳＲＣである fact13: もしあの分子標的は状態だということはないとしたら「それは整理しなくて更にそれは仲裁合意書である」ということは誤りだ fact14: 仮にあの言文一致運動が語り伝えるしそれにそれが縺れ込むとしたらそれは漏れ易くない fact15: もしその眼球が語り伝えるとしたらそのＬＬＣは語り伝える fact16: もし仮にあのブリーフケースが心線対照試験であるとすればその眼球は愛蔵しなくて加えて型抜きしない fact17: もし仮にその眼球がＳＲＣであるとするとあの言文一致運動はＳＲＣだ fact18: なにがしかのものは状態でないならば心線対照試験だし更に仲裁合意書だ fact19: 仮にその眼球が愛蔵しないし加えて型抜きしないならばあの言文一致運動は型抜きしない fact20: あの分子標的は状態でない
fact1 -> int1: 仮にあの言文一致運動がＳＲＣならそれは語り伝えない一方で縺れ込む; fact12 & fact17 -> int2: 「あの言文一致運動はＳＲＣだ」ということは成り立つ; int1 & int2 -> int3: あの言文一致運動は語り伝えないけれど縺れ込む; int3 & fact5 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact12 & fact17 -> int2: {A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); int3 & fact5 -> hypothesis;
そのＬＬＣは語り伝える
fact28 -> int4: もしあのブリーフケースが型抜きするとすればそれは漏れ易い; fact23 -> int5: もしもあのブリーフケースが心線対照試験ならば型抜きする; fact21 & fact24 -> int6: 「あの分子標的は整理しない一方で仲裁合意書である」ということは成り立たない; fact22 & int6 -> int7: あのブリーフケースは仲裁合意書でない; fact27 & int7 -> int8: あのブリーフケースは愛蔵するし更に心線対照試験だ; int8 -> int9: あのブリーフケースは心線対照試験である; int5 & int9 -> int10: 「あのブリーフケースは型抜きする」ということは成り立つ; int4 & int10 -> int11: あのブリーフケースは漏れ易い; fact25 & int11 -> int12: その眼球は漏れ易い; int12 -> int13: その眼球はＳＲＣでないかまたは漏れ易いかまたは両方である;
$facts$ = fact1: ＳＲＣは語り伝えないがしかし縺れ込む fact2: 仮にあの分子標的が心線対照試験ならあのブリーフケースは心線対照試験である fact3: あのブリーフケースは仲裁合意書であるということはないとすると「愛蔵するしその上心線対照試験である」ということは真実だ fact4: もし「この政治的自由は整理する一方でそれは齎し易くない」ということは成り立たないとするとあの分子標的は状態でない fact5: 仮にあの言文一致運動が語り伝えないがしかしそれが縺れ込むとしたらそれは漏れ易くない fact6: もし仮にあのブリーフケースが漏れ易いとするとその眼球は漏れ易い fact7: もし仮にあるものが型抜きするとしたら漏れ易い fact8: もし「あの分子標的は整理しない一方でそれは仲裁合意書である」ということは真実でないとしたらあのブリーフケースは仲裁合意書でない fact9: ＳＲＣは語り伝えない fact10: 「心線対照試験は型抜きする」ということは本当である fact11: 「作業工であるということはない」物はある fact12: その眼球はＳＲＣである fact13: もしあの分子標的は状態だということはないとしたら「それは整理しなくて更にそれは仲裁合意書である」ということは誤りだ fact14: 仮にあの言文一致運動が語り伝えるしそれにそれが縺れ込むとしたらそれは漏れ易くない fact15: もしその眼球が語り伝えるとしたらそのＬＬＣは語り伝える fact16: もし仮にあのブリーフケースが心線対照試験であるとすればその眼球は愛蔵しなくて加えて型抜きしない fact17: もし仮にその眼球がＳＲＣであるとするとあの言文一致運動はＳＲＣだ fact18: なにがしかのものは状態でないならば心線対照試験だし更に仲裁合意書だ fact19: 仮にその眼球が愛蔵しないし加えて型抜きしないならばあの言文一致運動は型抜きしない fact20: あの分子標的は状態でない ; $hypothesis$ = あの言文一致運動は漏れ易い ; $proof$ = 
fact1 -> int1: 仮にあの言文一致運動がＳＲＣならそれは語り伝えない一方で縺れ込む; fact12 & fact17 -> int2: 「あの言文一致運動はＳＲＣだ」ということは成り立つ; int1 & int2 -> int3: あの言文一致運動は語り伝えないけれど縺れ込む; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: ＳＲＣは語り伝えないがしかし縺れ込む
事実2: 仮にあの分子標的が心線対照試験ならあのブリーフケースは心線対照試験である
事実3: あのブリーフケースは仲裁合意書であるということはないとすると「愛蔵するしその上心線対照試験である」ということは真実だ
事実4: もし「この政治的自由は整理する一方でそれは齎し易くない」ということは成り立たないとするとあの分子標的は状態でない
事実5: 仮にあの言文一致運動が語り伝えないがしかしそれが縺れ込むとしたらそれは漏れ易くない
事実6: もし仮にあのブリーフケースが漏れ易いとするとその眼球は漏れ易い
事実7: もし仮にあるものが型抜きするとしたら漏れ易い
事実8: もし「あの分子標的は整理しない一方でそれは仲裁合意書である」ということは真実でないとしたらあのブリーフケースは仲裁合意書でない
事実9: ＳＲＣは語り伝えない
事実10: 「心線対照試験は型抜きする」ということは本当である
事実11: 「作業工であるということはない」物はある
事実12: その眼球はＳＲＣである
事実13: もしあの分子標的は状態だということはないとしたら「それは整理しなくて更にそれは仲裁合意書である」ということは誤りだ
事実14: 仮にあの言文一致運動が語り伝えるしそれにそれが縺れ込むとしたらそれは漏れ易くない
事実15: もしその眼球が語り伝えるとしたらそのＬＬＣは語り伝える
事実16: もし仮にあのブリーフケースが心線対照試験であるとすればその眼球は愛蔵しなくて加えて型抜きしない
事実17: もし仮にその眼球がＳＲＣであるとするとあの言文一致運動はＳＲＣだ
事実18: なにがしかのものは状態でないならば心線対照試験だし更に仲裁合意書だ
事実19: 仮にその眼球が愛蔵しないし加えて型抜きしないならばあの言文一致運動は型抜きしない
事実20: あの分子標的は状態でない

仮説: あの言文一致運動は漏れ易い
1. 事実1から、推論1: "仮にあの言文一致運動がＳＲＣならそれは語り伝えない一方で縺れ込む"が導かれる
2. 事実12と事実17から、推論2: "「あの言文一致運動はＳＲＣだ」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あの言文一致運動は語り伝えないけれど縺れ込む"が導かれる
4. 推論3と事実5から、仮説が否定される

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