そのネットワーク内部は床しい
fact1: その丹田呼吸は紛らす fact2: 「あの膜厚Ｔは曲げる」ということは真実だ fact3: そのネットワーク内部は紛らす fact4: そのサムタイムは紛らす fact5: もし仮にそのサムタイムが紛らすけれど広くないとしたらそのネットワーク内部は床しかない fact6: 仮にそのサムタイムが紛らすとすればそれは曲げる fact7: 広いものは曲げる fact8: そのネットワーク内部は旅行する fact9: もし仮にそのサムタイムが紛らすとしたら床しい fact10: 仮に「その三段仕込みは招ぐないし更に草むしりでない」ということは事実でないとしたらそれは草むしりだ fact11: もし仮にそのサムタイムが紛らすとしたらそのネットワーク内部は広い fact12: もしもそのネットワーク内部は紛らすとすれば「そのサムタイムは広い」ということは確かである fact13: もしもその三段仕込みが草むしりだし更に譲歩するとするとこのカタコンベは草むしりでない fact14: 何かは曲げるとしたら床しい fact15: もしこのカタコンベは草むしりでないなら「それは安堵し難くないし振興しない」ということは間違っている fact16: そのサムタイムは酒臭い fact17: もし仮にそのサムタイムが床しいならそのネットワーク内部は紛らす fact18: そのサムタイムは曲げる fact19: もし仮にこの温度計測が手厳しいならそれは床しい
fact11 & fact4 -> int1: 「そのネットワーク内部は広いということはない」ということは間違っている; fact7 -> int2: もし仮にそのネットワーク内部が広いならば曲げる; int1 & int2 -> int3: そのネットワーク内部は曲げる; fact14 -> int4: もし仮に「そのネットワーク内部は曲げる」ということは真実であるならば床しい; int3 & int4 -> hypothesis;
そのネットワーク内部は床しかない
$facts$ = fact1: その丹田呼吸は紛らす fact2: 「あの膜厚Ｔは曲げる」ということは真実だ fact3: そのネットワーク内部は紛らす fact4: そのサムタイムは紛らす fact5: もし仮にそのサムタイムが紛らすけれど広くないとしたらそのネットワーク内部は床しかない fact6: 仮にそのサムタイムが紛らすとすればそれは曲げる fact7: 広いものは曲げる fact8: そのネットワーク内部は旅行する fact9: もし仮にそのサムタイムが紛らすとしたら床しい fact10: 仮に「その三段仕込みは招ぐないし更に草むしりでない」ということは事実でないとしたらそれは草むしりだ fact11: もし仮にそのサムタイムが紛らすとしたらそのネットワーク内部は広い fact12: もしもそのネットワーク内部は紛らすとすれば「そのサムタイムは広い」ということは確かである fact13: もしもその三段仕込みが草むしりだし更に譲歩するとするとこのカタコンベは草むしりでない fact14: 何かは曲げるとしたら床しい fact15: もしこのカタコンベは草むしりでないなら「それは安堵し難くないし振興しない」ということは間違っている fact16: そのサムタイムは酒臭い fact17: もし仮にそのサムタイムが床しいならそのネットワーク内部は紛らす fact18: そのサムタイムは曲げる fact19: もし仮にこの温度計測が手厳しいならそれは床しい ; $hypothesis$ = そのネットワーク内部は床しい ; $proof$ = 
fact11 & fact4 -> int1: 「そのネットワーク内部は広いということはない」ということは間違っている; fact7 -> int2: もし仮にそのネットワーク内部が広いならば曲げる; int1 & int2 -> int3: そのネットワーク内部は曲げる; fact14 -> int4: もし仮に「そのネットワーク内部は曲げる」ということは真実であるならば床しい; int3 & int4 -> hypothesis; __PROVED__
事実1: その丹田呼吸は紛らす
事実2: 「あの膜厚Ｔは曲げる」ということは真実だ
事実3: そのネットワーク内部は紛らす
事実4: そのサムタイムは紛らす
事実5: もし仮にそのサムタイムが紛らすけれど広くないとしたらそのネットワーク内部は床しかない
事実6: 仮にそのサムタイムが紛らすとすればそれは曲げる
事実7: 広いものは曲げる
事実8: そのネットワーク内部は旅行する
事実9: もし仮にそのサムタイムが紛らすとしたら床しい
事実10: 仮に「その三段仕込みは招ぐないし更に草むしりでない」ということは事実でないとしたらそれは草むしりだ
事実11: もし仮にそのサムタイムが紛らすとしたらそのネットワーク内部は広い
事実12: もしもそのネットワーク内部は紛らすとすれば「そのサムタイムは広い」ということは確かである
事実13: もしもその三段仕込みが草むしりだし更に譲歩するとするとこのカタコンベは草むしりでない
事実14: 何かは曲げるとしたら床しい
事実15: もしこのカタコンベは草むしりでないなら「それは安堵し難くないし振興しない」ということは間違っている
事実16: そのサムタイムは酒臭い
事実17: もし仮にそのサムタイムが床しいならそのネットワーク内部は紛らす
事実18: そのサムタイムは曲げる
事実19: もし仮にこの温度計測が手厳しいならそれは床しい

仮説: そのネットワーク内部は床しい
1. 事実11と事実4から、推論1: "「そのネットワーク内部は広いということはない」ということは間違っている"が導かれる
2. 事実7から、推論2: "もし仮にそのネットワーク内部が広いならば曲げる"が導かれる
3. 推論1と推論2から、推論3: "そのネットワーク内部は曲げる"が導かれる
4. 事実14から、推論4: "もし仮に「そのネットワーク内部は曲げる」ということは真実であるならば床しい"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。