あの心肺は作り続けるか厳めしくらないかもしくは両方ともである
fact1: もしも「なにがしかの物は流れ易くないが現出する」ということは成り立たないとするとそれは作り続けない fact2: もしもなにがしかのものは寝泊まりでないとするとそれは流れ易くない fact3: そのＣＥは寝泊まりだとすると「このオープンは流れ易いということはないが現出する」ということは嘘だ fact4: 「そのＣＥは作り続けない」ということは真実である fact5: もし仮に何らかのものは狐色であるとすれば飛び上がらない fact6: もしもこのオープンは作り続けないとすれば「あの心肺は作り続けるかそれは厳めしいということはない」ということは成り立たない fact7: あの心肺は作り続けるということはない fact8: 「このオープンは流れ易いしそれに寝泊まりである」ということは間違いだ fact9: 流れ易い物は作り続けない fact10: そのＣＥは寝泊まりだ fact11: 「このオープンは厳めしくらないがしかし現出する」ということは本当でない fact12: もし「あの心肺は作り続けない一方で寝泊まりである」ということは誤っているとすると現出しない fact13: もしなんらかの物は倹約するとすれば「作り続けないしさらに厳めしくらない」ということは誤りである
fact3 & fact10 -> int1: 「このオープンは流れ易くないが現出する」ということは成り立たない; fact1 -> int2: もし仮に「このオープンは流れ易くないがしかし現出する」ということは事実と異なるとすると「作り続けない」ということは成り立つ; int1 & int2 -> int3: このオープンは作り続けない; int3 & fact6 -> hypothesis;
そのＣＥは流れ易くない
fact14 -> int4: 仮にそのＣＥは寝泊まりでないならば「流れ易くない」ということは真実である; fact15 -> int5: もしこのオープンは倹約するとすると「それは作り続けなくてその上それは厳めしくらない」ということは嘘である;
$facts$ = fact1: もしも「なにがしかの物は流れ易くないが現出する」ということは成り立たないとするとそれは作り続けない fact2: もしもなにがしかのものは寝泊まりでないとするとそれは流れ易くない fact3: そのＣＥは寝泊まりだとすると「このオープンは流れ易いということはないが現出する」ということは嘘だ fact4: 「そのＣＥは作り続けない」ということは真実である fact5: もし仮に何らかのものは狐色であるとすれば飛び上がらない fact6: もしもこのオープンは作り続けないとすれば「あの心肺は作り続けるかそれは厳めしいということはない」ということは成り立たない fact7: あの心肺は作り続けるということはない fact8: 「このオープンは流れ易いしそれに寝泊まりである」ということは間違いだ fact9: 流れ易い物は作り続けない fact10: そのＣＥは寝泊まりだ fact11: 「このオープンは厳めしくらないがしかし現出する」ということは本当でない fact12: もし「あの心肺は作り続けない一方で寝泊まりである」ということは誤っているとすると現出しない fact13: もしなんらかの物は倹約するとすれば「作り続けないしさらに厳めしくらない」ということは誤りである ; $hypothesis$ = あの心肺は作り続けるか厳めしくらないかもしくは両方ともである ; $proof$ = 
fact3 & fact10 -> int1: 「このオープンは流れ易くないが現出する」ということは成り立たない; fact1 -> int2: もし仮に「このオープンは流れ易くないがしかし現出する」ということは事実と異なるとすると「作り続けない」ということは成り立つ; int1 & int2 -> int3: このオープンは作り続けない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「なにがしかの物は流れ易くないが現出する」ということは成り立たないとするとそれは作り続けない
事実2: もしもなにがしかのものは寝泊まりでないとするとそれは流れ易くない
事実3: そのＣＥは寝泊まりだとすると「このオープンは流れ易いということはないが現出する」ということは嘘だ
事実4: 「そのＣＥは作り続けない」ということは真実である
事実5: もし仮に何らかのものは狐色であるとすれば飛び上がらない
事実6: もしもこのオープンは作り続けないとすれば「あの心肺は作り続けるかそれは厳めしいということはない」ということは成り立たない
事実7: あの心肺は作り続けるということはない
事実8: 「このオープンは流れ易いしそれに寝泊まりである」ということは間違いだ
事実9: 流れ易い物は作り続けない
事実10: そのＣＥは寝泊まりだ
事実11: 「このオープンは厳めしくらないがしかし現出する」ということは本当でない
事実12: もし「あの心肺は作り続けない一方で寝泊まりである」ということは誤っているとすると現出しない
事実13: もしなんらかの物は倹約するとすれば「作り続けないしさらに厳めしくらない」ということは誤りである

仮説: あの心肺は作り続けるか厳めしくらないかもしくは両方ともである
1. 事実3と事実10から、推論1: "「このオープンは流れ易くないが現出する」ということは成り立たない"が導かれる
2. 事実1から、推論2: "もし仮に「このオープンは流れ易くないがしかし現出する」ということは事実と異なるとすると「作り続けない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "このオープンは作り続けない"が導かれる
4. 推論3と事実6から、仮説が否定される

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