あの割り振りは稲科でない
fact1: もしも「「医師・歯科医師でないかいがらっぽいかあるいは両方だ」ということは成り立たない」物はあるとすると「あの割り振りは稲科だ」ということは本当である fact2: 「とあるものは医師・歯科医師でないかもしくはいがらっぽくないかあるいは両方ともである」ということは確かだ fact3: もしあの割り振りはそそっかしくないとすると「それは医師・歯科医師でなくて加えて稲科でない」ということは成り立たない fact4: あの割り振りは可笑し fact5: 仮にあるものは可笑しないなら「それは助け合うということはないかあるいはそれは小首でない」ということは事実でない fact6: 仮にそのフレンズが植え継がないとすればそれはいがらっぽい fact7: 仮に「「医師・歯科医師でないかいがらっぽくないかもしくは両方だ」ということは成り立たない」ものがあるとするとあの割り振りは稲科である fact8: この御昼御飯は可笑し fact9: ある物は割り付けないなら「そそっかしくなくて実見しない」ということは嘘だ fact10: 「あのレベルＡはそそっかしいということはないしその上実見しない」ということは誤りだとしたら「あの割り振りはそそっかしくない」ということは事実である fact11: そのフレンズがいがらっぽくないとしたらこの御昼御飯は答礼しないかまたはそれは植え継ぐか両方だ fact12: あの掛け金分は小首だ fact13: もしも「あの百二参照は打ち捲らないけど天麩羅ショットだ」ということは嘘であるとしたらあのレベルＡは割り付けない fact14: 仮に何かは答礼しないかあるいは植え継ぐかあるいは両方だとしたらその名無しは可笑しない fact15: 「「いがらっぽくないかあるいは稲科である」ということは事実と異なる」物はある fact16: なんらかの物は妻自身である fact17: この御昼御飯はそそっかしい fact18: もし何かは小首でないとすれば可笑しし答礼する fact19: もし仮にこの御昼御飯が答礼するし加えて小首であるとするとそのフレンズは植え継がない fact20: もしもなんらかの物は植え継がないとすれば「それは医師・歯科医師であるということはないかいがらっぽくないかもしくは両方ともである」ということは間違っている fact21: 「「医師・歯科医師であるかいがらっぽくないかどちらもである」ということは成り立つということはない」ものはある fact22: 「この御昼御飯が可笑しとしたらこの御昼御飯は答礼する」ということは本当だ fact23: この御昼御飯はそそっかしくて更に小首だ
fact22 & fact8 -> int1: この御昼御飯は答礼する; fact23 -> int2: この御昼御飯は小首だ; int1 & int2 -> int3: この御昼御飯は答礼するし小首である; int3 & fact19 -> int4: そのフレンズは植え継がない; fact20 -> int5: もしもそのフレンズは植え継がないならば「医師・歯科医師でないかまたはいがらっぽくないかまたは両方である」ということは成り立つということはない; int4 & int5 -> int6: 「そのフレンズは医師・歯科医師でないかまたはいがらっぽくないかあるいは両方だ」ということは成り立たない; int6 -> int7: 「「医師・歯科医師でないかまたはいがらっぽいということはないかもしくはどちらもだ」ということは間違いである」ものはある; int7 & fact7 -> hypothesis;
あの割り振りは稲科でない
fact24 -> int8: あの割り振りが小首でないなら可笑しし加えて答礼する;
$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$ = 
fact22 & fact8 -> int1: この御昼御飯は答礼する; fact23 -> int2: この御昼御飯は小首だ; int1 & int2 -> int3: この御昼御飯は答礼するし小首である; int3 & fact19 -> int4: そのフレンズは植え継がない; fact20 -> int5: もしもそのフレンズは植え継がないならば「医師・歯科医師でないかまたはいがらっぽくないかまたは両方である」ということは成り立つということはない; int4 & int5 -> int6: 「そのフレンズは医師・歯科医師でないかまたはいがらっぽくないかあるいは両方だ」ということは成り立たない; int6 -> int7: 「「医師・歯科医師でないかまたはいがらっぽいということはないかもしくはどちらもだ」ということは間違いである」ものはある; int7 & fact7 -> 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. 事実22と事実8から、推論1: "この御昼御飯は答礼する"が導かれる
2. 事実23から、推論2: "この御昼御飯は小首だ"が導かれる
3. 推論1と推論2から、推論3: "この御昼御飯は答礼するし小首である"が導かれる
4. 推論3と事実19から、推論4: "そのフレンズは植え継がない"が導かれる
5. 事実20から、推論5: "もしもそのフレンズは植え継がないならば「医師・歯科医師でないかまたはいがらっぽくないかまたは両方である」ということは成り立つということはない"が導かれる
6. 推論4と推論5から、推論6: "「そのフレンズは医師・歯科医師でないかまたはいがらっぽくないかあるいは両方だ」ということは成り立たない"が導かれる
7. 推論6から、推論7: "「「医師・歯科医師でないかまたはいがらっぽいということはないかもしくはどちらもだ」ということは間違いである」ものはある"が導かれる
8. 推論7と事実7から、仮説が否定される

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