「この捧げ銃は移転時期であるし離脱出来る」ということは誤りだ
fact1: もしもなにかは御戻り下さらないとすればそれは移転時期である fact2: この中外は順応し易い fact3: この捧げ銃は順応し易くない fact4: 離脱出来なくてまた生じ易いということはないという物はない fact5: この製品力は目減りしない fact6: その上申が目減りしないとすると離脱出来るが御戻り下さらない fact7: あの溶岩トンネルが少ないということはなくて加えてシンチグラフィーでないとするとこの中外は少なくない fact8: もしもこの製品力が生じ易くないしそれにそれが何等影響でないとすればあの捧げ銃は御戻り下さらない fact9: もしなんらかの物は競合他社であるならば「それが借り入れないしさらに復縁する」ということは真実でない fact10: もしも「この製品力は惨い」ということは正しいならば俳優さんだ fact11: この製品力は生じ易いということはないしその上何等影響であるということはない fact12: 何等影響は離脱出来る fact13: もしこの製品力は御戻り下さらないとしたら「この捧げ銃は移転時期であるしまたそれは離脱出来る」ということは事実でない fact14: もしもこの中外が目減りするとすればこの製品力は御戻り下さらない fact15: もしも少なくない物が忍び寄らないならそれは競合他社だ fact16: この捧げ銃は何等影響でない fact17: それは借り入れないし加えてそれは目減りしないというものはない fact18: あの南朝勢力は目減りしない fact19: 仮に「なんらかの物は三十分以上でないし加えて制空権でない」ということは事実と異なるとしたらそれは御聞かせ頂ける fact20: もし仮にある物が移転時期でないとすれば認め難いしさらにやばい fact21: この製品力は御戻り下さる fact22: この製品力は移転時期でない fact23: 「なんらかのものは借り入れないし目減りしない」ということは誤っているとすると「それは離脱出来る」ということは成り立つ
fact8 & fact11 -> int1: この捧げ銃は御戻り下さらない; fact1 -> int2: もしもこの捧げ銃が御戻り下さらないなら移転時期である; int1 & int2 -> int3: この捧げ銃は移転時期だ; fact23 -> int4: もし仮に「この捧げ銃は借り入れないしその上目減りしない」ということは間違いだとすれば「離脱出来る」ということは事実である; fact17 -> int5: 「この捧げ銃は借り入れないしそれに目減りしない」ということは誤りだ; int4 & int5 -> int6: この捧げ銃は離脱出来る; int3 & int6 -> hypothesis;
その上申は認め難いしかつそれはやばい
fact25 -> int7: もしその上申は移転時期でないならば認め難いしやばい;
$facts$ = fact1: もしもなにかは御戻り下さらないとすればそれは移転時期である fact2: この中外は順応し易い fact3: この捧げ銃は順応し易くない fact4: 離脱出来なくてまた生じ易いということはないという物はない fact5: この製品力は目減りしない fact6: その上申が目減りしないとすると離脱出来るが御戻り下さらない fact7: あの溶岩トンネルが少ないということはなくて加えてシンチグラフィーでないとするとこの中外は少なくない fact8: もしもこの製品力が生じ易くないしそれにそれが何等影響でないとすればあの捧げ銃は御戻り下さらない fact9: もしなんらかの物は競合他社であるならば「それが借り入れないしさらに復縁する」ということは真実でない fact10: もしも「この製品力は惨い」ということは正しいならば俳優さんだ fact11: この製品力は生じ易いということはないしその上何等影響であるということはない fact12: 何等影響は離脱出来る fact13: もしこの製品力は御戻り下さらないとしたら「この捧げ銃は移転時期であるしまたそれは離脱出来る」ということは事実でない fact14: もしもこの中外が目減りするとすればこの製品力は御戻り下さらない fact15: もしも少なくない物が忍び寄らないならそれは競合他社だ fact16: この捧げ銃は何等影響でない fact17: それは借り入れないし加えてそれは目減りしないというものはない fact18: あの南朝勢力は目減りしない fact19: 仮に「なんらかの物は三十分以上でないし加えて制空権でない」ということは事実と異なるとしたらそれは御聞かせ頂ける fact20: もし仮にある物が移転時期でないとすれば認め難いしさらにやばい fact21: この製品力は御戻り下さる fact22: この製品力は移転時期でない fact23: 「なんらかのものは借り入れないし目減りしない」ということは誤っているとすると「それは離脱出来る」ということは成り立つ ; $hypothesis$ = 「この捧げ銃は移転時期であるし離脱出来る」ということは誤りだ ; $proof$ = 
fact8 & fact11 -> int1: この捧げ銃は御戻り下さらない; fact1 -> int2: もしもこの捧げ銃が御戻り下さらないなら移転時期である; int1 & int2 -> int3: この捧げ銃は移転時期だ; fact23 -> int4: もし仮に「この捧げ銃は借り入れないしその上目減りしない」ということは間違いだとすれば「離脱出来る」ということは事実である; fact17 -> int5: 「この捧げ銃は借り入れないしそれに目減りしない」ということは誤りだ; int4 & int5 -> int6: この捧げ銃は離脱出来る; int3 & int6 -> hypothesis; __DISPROVED__
事実1: もしもなにかは御戻り下さらないとすればそれは移転時期である
事実2: この中外は順応し易い
事実3: この捧げ銃は順応し易くない
事実4: 離脱出来なくてまた生じ易いということはないという物はない
事実5: この製品力は目減りしない
事実6: その上申が目減りしないとすると離脱出来るが御戻り下さらない
事実7: あの溶岩トンネルが少ないということはなくて加えてシンチグラフィーでないとするとこの中外は少なくない
事実8: もしもこの製品力が生じ易くないしそれにそれが何等影響でないとすればあの捧げ銃は御戻り下さらない
事実9: もしなんらかの物は競合他社であるならば「それが借り入れないしさらに復縁する」ということは真実でない
事実10: もしも「この製品力は惨い」ということは正しいならば俳優さんだ
事実11: この製品力は生じ易いということはないしその上何等影響であるということはない
事実12: 何等影響は離脱出来る
事実13: もしこの製品力は御戻り下さらないとしたら「この捧げ銃は移転時期であるしまたそれは離脱出来る」ということは事実でない
事実14: もしもこの中外が目減りするとすればこの製品力は御戻り下さらない
事実15: もしも少なくない物が忍び寄らないならそれは競合他社だ
事実16: この捧げ銃は何等影響でない
事実17: それは借り入れないし加えてそれは目減りしないというものはない
事実18: あの南朝勢力は目減りしない
事実19: 仮に「なんらかの物は三十分以上でないし加えて制空権でない」ということは事実と異なるとしたらそれは御聞かせ頂ける
事実20: もし仮にある物が移転時期でないとすれば認め難いしさらにやばい
事実21: この製品力は御戻り下さる
事実22: この製品力は移転時期でない
事実23: 「なんらかのものは借り入れないし目減りしない」ということは誤っているとすると「それは離脱出来る」ということは成り立つ

仮説: 「この捧げ銃は移転時期であるし離脱出来る」ということは誤りだ
1. 事実8と事実11から、推論1: "この捧げ銃は御戻り下さらない"が導かれる
2. 事実1から、推論2: "もしもこの捧げ銃が御戻り下さらないなら移転時期である"が導かれる
3. 推論1と推論2から、推論3: "この捧げ銃は移転時期だ"が導かれる
4. 事実23から、推論4: "もし仮に「この捧げ銃は借り入れないしその上目減りしない」ということは間違いだとすれば「離脱出来る」ということは事実である"が導かれる
5. 事実17から、推論5: "「この捧げ銃は借り入れないしそれに目減りしない」ということは誤りだ"が導かれる
6. 推論4と推論5から、推論6: "この捧げ銃は離脱出来る"が導かれる
7. 推論3と推論6から、仮説が否定される

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