あの開発史は有望視する
fact1: 平たいものは見なさないかもしくは直径でないかまたは両方だ fact2: 仮に「商う」物はあるなら「そのロックは岡田委員である一方で商うということはない」ということは成り立つということはない fact3: もしこのヘリウムガスは御宜しいとしたら「体験学習でないし加えてそれは平たくない」ということは成り立つということはない fact4: あの開発史は直径でその上見なす fact5: もし仮に「あの西方浄土は伸ばし易いということはないけれど見付かる」ということは間違いであるとすればあの諌臣は伸ばし易い fact6: もし「平たくなくて加えて御宜しくない」ものがあるならその婦人解放は見なす fact7: もしも「そのロックは岡田委員であるけれど商わない」ということは正しいということはないとしたらそれは商う fact8: もしも「そのロックは商わないかあるいは口窄め呼吸法であるかまたは両方だ」ということは嘘であるとしたらこのヘリウムガスは御宜しい fact9: 「あの西方浄土は伸ばし易くないけど見付かる」ということは誤っている fact10: もし仮にそのロックが商うとするとこのヘリウムガスは体験学習だ fact11: もしもあの開発史が有望視するとするとそれは見なさない fact12: 口窄め呼吸法は商う fact13: このヘリウムガスが体験学習だとすればあの開発史は平たくないし御宜しくない fact14: もしもある物は伸ばし易いならば「それは口窄め呼吸法である」ということは成り立つ
void -> assump1: 以下のように仮定する。あの開発史は有望視する; fact11 & assump1 -> int1: あの開発史は見なさない; fact4 -> int2: あの開発史は見なす; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact11 & assump1 -> int1: ¬{B}{a}; fact4 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その婦人解放は直径だ
fact23 -> int4: もしもこの諌臣が口窄め呼吸法だとしたらそれは商う; fact17 -> int5: この諌臣が伸ばし易いならばそれは口窄め呼吸法である; fact16 & fact21 -> int6: この諌臣は伸ばし易い; int5 & int6 -> int7: この諌臣は口窄め呼吸法だ; int4 & int7 -> int8: 「この諌臣は商う」ということは本当だ; int8 -> int9: あるものは商う; int9 & fact15 -> int10: 「そのロックは岡田委員だけれどそれは商わない」ということは間違っている; fact19 & int10 -> int11: そのロックは商う; fact20 & int11 -> int12: 「このヘリウムガスは体験学習だ」ということは成り立つ; fact22 & int12 -> int13: あの開発史は平たいということはなくて御宜しくない; int13 -> int14: 平たくないし御宜しくないものはある; int14 & fact18 -> int15: 「その婦人解放は見なす」ということは成り立つ;
$facts$ = fact1: 平たいものは見なさないかもしくは直径でないかまたは両方だ fact2: 仮に「商う」物はあるなら「そのロックは岡田委員である一方で商うということはない」ということは成り立つということはない fact3: もしこのヘリウムガスは御宜しいとしたら「体験学習でないし加えてそれは平たくない」ということは成り立つということはない fact4: あの開発史は直径でその上見なす fact5: もし仮に「あの西方浄土は伸ばし易いということはないけれど見付かる」ということは間違いであるとすればあの諌臣は伸ばし易い fact6: もし「平たくなくて加えて御宜しくない」ものがあるならその婦人解放は見なす fact7: もしも「そのロックは岡田委員であるけれど商わない」ということは正しいということはないとしたらそれは商う fact8: もしも「そのロックは商わないかあるいは口窄め呼吸法であるかまたは両方だ」ということは嘘であるとしたらこのヘリウムガスは御宜しい fact9: 「あの西方浄土は伸ばし易くないけど見付かる」ということは誤っている fact10: もし仮にそのロックが商うとするとこのヘリウムガスは体験学習だ fact11: もしもあの開発史が有望視するとするとそれは見なさない fact12: 口窄め呼吸法は商う fact13: このヘリウムガスが体験学習だとすればあの開発史は平たくないし御宜しくない fact14: もしもある物は伸ばし易いならば「それは口窄め呼吸法である」ということは成り立つ ; $hypothesis$ = あの開発史は有望視する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの開発史は有望視する; fact11 & assump1 -> int1: あの開発史は見なさない; fact4 -> int2: あの開発史は見なす; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 平たいものは見なさないかもしくは直径でないかまたは両方だ
事実2: 仮に「商う」物はあるなら「そのロックは岡田委員である一方で商うということはない」ということは成り立つということはない
事実3: もしこのヘリウムガスは御宜しいとしたら「体験学習でないし加えてそれは平たくない」ということは成り立つということはない
事実4: あの開発史は直径でその上見なす
事実5: もし仮に「あの西方浄土は伸ばし易いということはないけれど見付かる」ということは間違いであるとすればあの諌臣は伸ばし易い
事実6: もし「平たくなくて加えて御宜しくない」ものがあるならその婦人解放は見なす
事実7: もしも「そのロックは岡田委員であるけれど商わない」ということは正しいということはないとしたらそれは商う
事実8: もしも「そのロックは商わないかあるいは口窄め呼吸法であるかまたは両方だ」ということは嘘であるとしたらこのヘリウムガスは御宜しい
事実9: 「あの西方浄土は伸ばし易くないけど見付かる」ということは誤っている
事実10: もし仮にそのロックが商うとするとこのヘリウムガスは体験学習だ
事実11: もしもあの開発史が有望視するとするとそれは見なさない
事実12: 口窄め呼吸法は商う
事実13: このヘリウムガスが体験学習だとすればあの開発史は平たくないし御宜しくない
事実14: もしもある物は伸ばし易いならば「それは口窄め呼吸法である」ということは成り立つ

仮説: あの開発史は有望視する
1. 仮定1: 以下のように仮定する。あの開発史は有望視する
2. 事実11と仮定1から、推論1: "あの開発史は見なさない"が導かれる
3. 事実4から、推論2: "あの開発史は見なす"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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