この敷居は三次元分布だ
fact1: この敷居がごついならばそれは稼がないし加えて反撃しない fact2: 何らかのものは取り易くない fact3: もし仮に「なんらかの物は堅持する」ということは確かだとすればそれは関数Ｓだがごついない fact4: 「ある物はレイアウトでないがしかし取り易い」ということは誤っていれば堅持する fact5: この階層は住み易いし二千一Ａだ fact6: もしもとある物は稼がないしかつ反撃しないとすれば通用する fact7: とある物が通用するし三次元分布であるとすればそれは住み易くない fact8: この敷居はごつい fact9: もし仮にあのスルファニルアミド溶液が住み易いとするとこの敷居は住み易い fact10: この敷居はごついなら「反撃するということはない」ということは確かだ fact11: ごつかないものは通用するか住み易い fact12: もしもこの敷居が稼がないけど反撃すれば通用する fact13: あのスルファニルアミド溶液は住み易いし関数Ｓである
fact6 -> int1: もしこの敷居は稼がないしそれに反撃しないとしたら通用する; fact8 & fact1 -> int2: この敷居が稼ぐということはないしその上それは反撃しない; int1 & int2 -> int3: この敷居は通用する; void -> assump1: 以下のように仮定する。この敷居は三次元分布だ; int3 & assump1 -> int4: この敷居は通用するし更に三次元分布だ; fact7 -> int5: もしもこの敷居は通用するし加えて三次元分布であるとするとそれは住み易いということはない; int4 & int5 -> int6: この敷居は住み易くない; fact13 -> int7: あのスルファニルアミド溶液は住み易い; int7 & fact9 -> int8: この敷居は住み易い; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
この敷居は三次元分布である
fact14 -> int10: あのスルファニルアミド溶液はごつかないなら通用するかまたは住み易い; fact15 -> int11: 「あのスルファニルアミド溶液が堅持するとすればあのスルファニルアミド溶液が関数Ｓだけどそれはごつかない」ということは成り立つ; fact16 -> int12: もしも「あのスルファニルアミド溶液はレイアウトでないけれど取り易い」ということは間違っているとしたら堅持する;
$facts$ = fact1: この敷居がごついならばそれは稼がないし加えて反撃しない fact2: 何らかのものは取り易くない fact3: もし仮に「なんらかの物は堅持する」ということは確かだとすればそれは関数Ｓだがごついない fact4: 「ある物はレイアウトでないがしかし取り易い」ということは誤っていれば堅持する fact5: この階層は住み易いし二千一Ａだ fact6: もしもとある物は稼がないしかつ反撃しないとすれば通用する fact7: とある物が通用するし三次元分布であるとすればそれは住み易くない fact8: この敷居はごつい fact9: もし仮にあのスルファニルアミド溶液が住み易いとするとこの敷居は住み易い fact10: この敷居はごついなら「反撃するということはない」ということは確かだ fact11: ごつかないものは通用するか住み易い fact12: もしもこの敷居が稼がないけど反撃すれば通用する fact13: あのスルファニルアミド溶液は住み易いし関数Ｓである ; $hypothesis$ = この敷居は三次元分布だ ; $proof$ = 
fact6 -> int1: もしこの敷居は稼がないしそれに反撃しないとしたら通用する; fact8 & fact1 -> int2: この敷居が稼ぐということはないしその上それは反撃しない; int1 & int2 -> int3: この敷居は通用する; void -> assump1: 以下のように仮定する。この敷居は三次元分布だ; int3 & assump1 -> int4: この敷居は通用するし更に三次元分布だ; fact7 -> int5: もしもこの敷居は通用するし加えて三次元分布であるとするとそれは住み易いということはない; int4 & int5 -> int6: この敷居は住み易くない; fact13 -> int7: あのスルファニルアミド溶液は住み易い; int7 & fact9 -> int8: この敷居は住み易い; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: この敷居がごついならばそれは稼がないし加えて反撃しない
事実2: 何らかのものは取り易くない
事実3: もし仮に「なんらかの物は堅持する」ということは確かだとすればそれは関数Ｓだがごついない
事実4: 「ある物はレイアウトでないがしかし取り易い」ということは誤っていれば堅持する
事実5: この階層は住み易いし二千一Ａだ
事実6: もしもとある物は稼がないしかつ反撃しないとすれば通用する
事実7: とある物が通用するし三次元分布であるとすればそれは住み易くない
事実8: この敷居はごつい
事実9: もし仮にあのスルファニルアミド溶液が住み易いとするとこの敷居は住み易い
事実10: この敷居はごついなら「反撃するということはない」ということは確かだ
事実11: ごつかないものは通用するか住み易い
事実12: もしもこの敷居が稼がないけど反撃すれば通用する
事実13: あのスルファニルアミド溶液は住み易いし関数Ｓである

仮説: この敷居は三次元分布だ
1. 事実6から、推論1: "もしこの敷居は稼がないしそれに反撃しないとしたら通用する"が導かれる
2. 事実8と事実1から、推論2: "この敷居が稼ぐということはないしその上それは反撃しない"が導かれる
3. 推論1と推論2から、推論3: "この敷居は通用する"が導かれる
4. 仮定1: 以下のように仮定する。この敷居は三次元分布だ
5. 推論3と仮定1から、推論4: "この敷居は通用するし更に三次元分布だ"が導かれる
6. 事実7から、推論5: "もしもこの敷居は通用するし加えて三次元分布であるとするとそれは住み易いということはない"が導かれる
7. 推論4と推論5から、推論6: "この敷居は住み易くない"が導かれる
8. 事実13から、推論7: "あのスルファニルアミド溶液は住み易い"が導かれる
9. 推論7と事実9から、推論8: "この敷居は住み易い"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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