その二台分は辞す
fact1: 仮に「「何かはぎごちなくないけどそれは辞す」ということは事実だ」ということは事実と異なるとすれば辞さない fact2: もし仮になんらかのものは都市史研究でないとしたら「それは奪うが敬わない」ということは間違っている fact3: もしも「この電気信号は辞すということはなくてぎごちないということはない」ということは本当でないとすると「その二台分は辞さない」ということは成り立つ fact4: 「その二台分は解け易いしそれにそれは辞す」ということは成り立つということはない fact5: 仮に「なんらかの物は解け易いしそれにぎごちない」ということは誤っているとすれば契約違反でない fact6: もし仮にこの室町時代が契約違反でないならばあの二台分は辞す fact7: 仮にとあるものはぎごちなくないとすれば契約違反だということはない fact8: もしも「黒くない」ものがあるとするとこの電気信号は呼吸出来る fact9: もし仮に「この室町時代は電源ボタンだ一方で涙脆くない」ということは偽ならばそれは都市史研究でない fact10: 「黒くない」物はある fact11: 「もし仮に「黒くない」物はあるとすればあの電気信号はぎごちなくない一方で呼吸出来る」ということは本当である fact12: もしもこの電気信号は解け易くないとすれば「この抗菌薬は呼吸出来ないけど黒い」ということは事実と異なる fact13: 仮にとあるものは黒くないならば「それはぎごちなくないがしかし辞す」ということは確かでない fact14: もし仮に「この室町時代は黒くない」ということは成り立つとすると「この電気信号は辞すということはないしそれはぎごちなくない」ということは誤っている fact15: とある物は黒い fact16: もしこの電気信号はぎごちなくないとしたら「この室町時代は解け易くてさらにぎごちない」ということは間違っている fact17: 仮に「なんらかのものは奪うがそれは敬わない」ということは成り立つということはないなら「それは張るということはない」ということは成り立つ fact18: もしなにかは張るということはないとすればそれは解け易いししかも契約違反だ fact19: この電気信号は呼吸出来る
fact10 & fact11 -> int1: この電気信号はぎごちないということはないが呼吸出来る; int1 -> int2: この電気信号はぎごちなくない; int2 & fact16 -> int3: 「この室町時代は解け易いしぎごちない」ということは事実と異なる; fact5 -> int4: 仮に「この室町時代は解け易いしまたぎごちない」ということは成り立たないとしたら契約違反でない; int3 & int4 -> int5: この室町時代は契約違反でない; int5 & fact6 -> hypothesis;
この抗菌薬は辞さない
fact20 -> int6: もしも「この抗菌薬はぎごちなくないけれどそれは辞す」ということは成り立たないならば辞さない; fact22 -> int7: もしもこの抗菌薬は黒くないとすれば「それはぎごちなくないし更に辞す」ということは偽だ;
$facts$ = fact1: 仮に「「何かはぎごちなくないけどそれは辞す」ということは事実だ」ということは事実と異なるとすれば辞さない fact2: もし仮になんらかのものは都市史研究でないとしたら「それは奪うが敬わない」ということは間違っている fact3: もしも「この電気信号は辞すということはなくてぎごちないということはない」ということは本当でないとすると「その二台分は辞さない」ということは成り立つ fact4: 「その二台分は解け易いしそれにそれは辞す」ということは成り立つということはない fact5: 仮に「なんらかの物は解け易いしそれにぎごちない」ということは誤っているとすれば契約違反でない fact6: もし仮にこの室町時代が契約違反でないならばあの二台分は辞す fact7: 仮にとあるものはぎごちなくないとすれば契約違反だということはない fact8: もしも「黒くない」ものがあるとするとこの電気信号は呼吸出来る fact9: もし仮に「この室町時代は電源ボタンだ一方で涙脆くない」ということは偽ならばそれは都市史研究でない fact10: 「黒くない」物はある fact11: 「もし仮に「黒くない」物はあるとすればあの電気信号はぎごちなくない一方で呼吸出来る」ということは本当である fact12: もしもこの電気信号は解け易くないとすれば「この抗菌薬は呼吸出来ないけど黒い」ということは事実と異なる fact13: 仮にとあるものは黒くないならば「それはぎごちなくないがしかし辞す」ということは確かでない fact14: もし仮に「この室町時代は黒くない」ということは成り立つとすると「この電気信号は辞すということはないしそれはぎごちなくない」ということは誤っている fact15: とある物は黒い fact16: もしこの電気信号はぎごちなくないとしたら「この室町時代は解け易くてさらにぎごちない」ということは間違っている fact17: 仮に「なんらかのものは奪うがそれは敬わない」ということは成り立つということはないなら「それは張るということはない」ということは成り立つ fact18: もしなにかは張るということはないとすればそれは解け易いししかも契約違反だ fact19: この電気信号は呼吸出来る ; $hypothesis$ = その二台分は辞す ; $proof$ = 
fact10 & fact11 -> int1: この電気信号はぎごちないということはないが呼吸出来る; int1 -> int2: この電気信号はぎごちなくない; int2 & fact16 -> int3: 「この室町時代は解け易いしぎごちない」ということは事実と異なる; fact5 -> int4: 仮に「この室町時代は解け易いしまたぎごちない」ということは成り立たないとしたら契約違反でない; int3 & int4 -> int5: この室町時代は契約違反でない; int5 & fact6 -> hypothesis; __PROVED__
事実1: 仮に「「何かはぎごちなくないけどそれは辞す」ということは事実だ」ということは事実と異なるとすれば辞さない
事実2: もし仮になんらかのものは都市史研究でないとしたら「それは奪うが敬わない」ということは間違っている
事実3: もしも「この電気信号は辞すということはなくてぎごちないということはない」ということは本当でないとすると「その二台分は辞さない」ということは成り立つ
事実4: 「その二台分は解け易いしそれにそれは辞す」ということは成り立つということはない
事実5: 仮に「なんらかの物は解け易いしそれにぎごちない」ということは誤っているとすれば契約違反でない
事実6: もし仮にこの室町時代が契約違反でないならばあの二台分は辞す
事実7: 仮にとあるものはぎごちなくないとすれば契約違反だということはない
事実8: もしも「黒くない」ものがあるとするとこの電気信号は呼吸出来る
事実9: もし仮に「この室町時代は電源ボタンだ一方で涙脆くない」ということは偽ならばそれは都市史研究でない
事実10: 「黒くない」物はある
事実11: 「もし仮に「黒くない」物はあるとすればあの電気信号はぎごちなくない一方で呼吸出来る」ということは本当である
事実12: もしもこの電気信号は解け易くないとすれば「この抗菌薬は呼吸出来ないけど黒い」ということは事実と異なる
事実13: 仮にとあるものは黒くないならば「それはぎごちなくないがしかし辞す」ということは確かでない
事実14: もし仮に「この室町時代は黒くない」ということは成り立つとすると「この電気信号は辞すということはないしそれはぎごちなくない」ということは誤っている
事実15: とある物は黒い
事実16: もしこの電気信号はぎごちなくないとしたら「この室町時代は解け易くてさらにぎごちない」ということは間違っている
事実17: 仮に「なんらかのものは奪うがそれは敬わない」ということは成り立つということはないなら「それは張るということはない」ということは成り立つ
事実18: もしなにかは張るということはないとすればそれは解け易いししかも契約違反だ
事実19: この電気信号は呼吸出来る

仮説: その二台分は辞す
1. 事実10と事実11から、推論1: "この電気信号はぎごちないということはないが呼吸出来る"が導かれる
2. 推論1から、推論2: "この電気信号はぎごちなくない"が導かれる
3. 推論2と事実16から、推論3: "「この室町時代は解け易いしぎごちない」ということは事実と異なる"が導かれる
4. 事実5から、推論4: "仮に「この室町時代は解け易いしまたぎごちない」ということは成り立たないとしたら契約違反でない"が導かれる
5. 推論3と推論4から、推論5: "この室町時代は契約違反でない"が導かれる
6. 推論5と事実6から、仮説が導かれる

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