「このマスターリングは新しが自流水依存水利団体でない」ということは成り立たない
fact1: もしこの買収スキームが新しということはないならそれは心無い fact2: 仮になんらかのものは自害しないとすれば「それは新しない」ということは成り立つ fact3: そのドレナージは食するけどそれは自害しない fact4: 新しない物は感じ取らない fact5: もしも「偉くない」ものがあればこの買収スキームは自害しないかまたは返りらしくないかまたはどちらもである fact6: もし仮に何らかのものは感じ取らないとしたら「前後録である」ということは事実と異ならない fact7: 何らかのものは偉くない fact8: もしも何らかのものが自流水依存水利団体でないとすれば感じ取らない fact9: もしもこの買収スキームが新しないならばこのマスターリングは返りらしくない fact10: もしも「前後録だということはない」物があるならその整理ダンスは心無いということはないかもしくは感じ取らないか両方である fact11: 仮にこのランディングが新しならばあのマスターリングは新しがしかし自流水依存水利団体でない fact12: もしも何らかのものは自害しないとすると「心無いということはない」ということは正しい fact13: 返りらしくないものは心無いということはない fact14: このマスターリングは甚だしいがしかし掃除しない fact15: 何かは自流水依存水利団体でないとすれば「それは返りらしくない」ということは成り立つ fact16: もしもその整理ダンスが前後録であるとするとこのランディングは新し fact17: このランディングは前後録だ fact18: このランディングが自流水依存水利団体であるならばこのマスターリングは新し fact19: もし仮にこの買収スキームが心無くないとしたらその整理ダンスは感じ取らない fact20: もし仮にある物はプロテカジンだということはないなら「うら若い」ということは誤りでない
fact12 -> int1: もしもこの買収スキームが自害するということはないならそれは心無くない; fact5 & fact7 -> int2: この買収スキームは自害しないかあるいは返りらしくないかあるいは両方である; fact13 -> int3: もしも「この買収スキームは返りらしいということはない」ということは本当であるとするとそれは心無いということはない; int1 & int2 & int3 -> int4: この買収スキームは心無くない; int4 & fact19 -> int5: 「その整理ダンスは感じ取らない」ということは成り立つ; fact6 -> int6: その整理ダンスは感じ取らないなら「それは前後録である」ということは成り立つ; int5 & int6 -> int7: その整理ダンスは前後録だ; int7 & fact16 -> int8: このランディングは新し; int8 & fact11 -> hypothesis;
$facts$ = fact1: もしこの買収スキームが新しということはないならそれは心無い fact2: 仮になんらかのものは自害しないとすれば「それは新しない」ということは成り立つ fact3: そのドレナージは食するけどそれは自害しない fact4: 新しない物は感じ取らない fact5: もしも「偉くない」ものがあればこの買収スキームは自害しないかまたは返りらしくないかまたはどちらもである fact6: もし仮に何らかのものは感じ取らないとしたら「前後録である」ということは事実と異ならない fact7: 何らかのものは偉くない fact8: もしも何らかのものが自流水依存水利団体でないとすれば感じ取らない fact9: もしもこの買収スキームが新しないならばこのマスターリングは返りらしくない fact10: もしも「前後録だということはない」物があるならその整理ダンスは心無いということはないかもしくは感じ取らないか両方である fact11: 仮にこのランディングが新しならばあのマスターリングは新しがしかし自流水依存水利団体でない fact12: もしも何らかのものは自害しないとすると「心無いということはない」ということは正しい fact13: 返りらしくないものは心無いということはない fact14: このマスターリングは甚だしいがしかし掃除しない fact15: 何かは自流水依存水利団体でないとすれば「それは返りらしくない」ということは成り立つ fact16: もしもその整理ダンスが前後録であるとするとこのランディングは新し fact17: このランディングは前後録だ fact18: このランディングが自流水依存水利団体であるならばこのマスターリングは新し fact19: もし仮にこの買収スキームが心無くないとしたらその整理ダンスは感じ取らない fact20: もし仮にある物はプロテカジンだということはないなら「うら若い」ということは誤りでない ; $hypothesis$ = 「このマスターリングは新しが自流水依存水利団体でない」ということは成り立たない ; $proof$ = 
fact12 -> int1: もしもこの買収スキームが自害するということはないならそれは心無くない; fact5 & fact7 -> int2: この買収スキームは自害しないかあるいは返りらしくないかあるいは両方である; fact13 -> int3: もしも「この買収スキームは返りらしいということはない」ということは本当であるとするとそれは心無いということはない; int1 & int2 & int3 -> int4: この買収スキームは心無くない; int4 & fact19 -> int5: 「その整理ダンスは感じ取らない」ということは成り立つ; fact6 -> int6: その整理ダンスは感じ取らないなら「それは前後録である」ということは成り立つ; int5 & int6 -> int7: その整理ダンスは前後録だ; int7 & fact16 -> int8: このランディングは新し; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: もしこの買収スキームが新しということはないならそれは心無い
事実2: 仮になんらかのものは自害しないとすれば「それは新しない」ということは成り立つ
事実3: そのドレナージは食するけどそれは自害しない
事実4: 新しない物は感じ取らない
事実5: もしも「偉くない」ものがあればこの買収スキームは自害しないかまたは返りらしくないかまたはどちらもである
事実6: もし仮に何らかのものは感じ取らないとしたら「前後録である」ということは事実と異ならない
事実7: 何らかのものは偉くない
事実8: もしも何らかのものが自流水依存水利団体でないとすれば感じ取らない
事実9: もしもこの買収スキームが新しないならばこのマスターリングは返りらしくない
事実10: もしも「前後録だということはない」物があるならその整理ダンスは心無いということはないかもしくは感じ取らないか両方である
事実11: 仮にこのランディングが新しならばあのマスターリングは新しがしかし自流水依存水利団体でない
事実12: もしも何らかのものは自害しないとすると「心無いということはない」ということは正しい
事実13: 返りらしくないものは心無いということはない
事実14: このマスターリングは甚だしいがしかし掃除しない
事実15: 何かは自流水依存水利団体でないとすれば「それは返りらしくない」ということは成り立つ
事実16: もしもその整理ダンスが前後録であるとするとこのランディングは新し
事実17: このランディングは前後録だ
事実18: このランディングが自流水依存水利団体であるならばこのマスターリングは新し
事実19: もし仮にこの買収スキームが心無くないとしたらその整理ダンスは感じ取らない
事実20: もし仮にある物はプロテカジンだということはないなら「うら若い」ということは誤りでない

仮説: 「このマスターリングは新しが自流水依存水利団体でない」ということは成り立たない
1. 事実12から、推論1: "もしもこの買収スキームが自害するということはないならそれは心無くない"が導かれる
2. 事実5と事実7から、推論2: "この買収スキームは自害しないかあるいは返りらしくないかあるいは両方である"が導かれる
3. 事実13から、推論3: "もしも「この買収スキームは返りらしいということはない」ということは本当であるとするとそれは心無いということはない"が導かれる
4. 推論1と推論2と推論3から、推論4: "この買収スキームは心無くない"が導かれる
5. 推論4と事実19から、推論5: "「その整理ダンスは感じ取らない」ということは成り立つ"が導かれる
6. 事実6から、推論6: "その整理ダンスは感じ取らないなら「それは前後録である」ということは成り立つ"が導かれる
7. 推論5と推論6から、推論7: "その整理ダンスは前後録だ"が導かれる
8. 推論7と事実16から、推論8: "このランディングは新し"が導かれる
9. 推論8と事実11から、仮説が否定される

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