あのジアステレオマーは零対だ
fact1: もし仮にその満点が太守であるとしたらあのジアステレオマーは零対だ fact2: もし仮にその副長が馬鹿さ加減だとすれば起き易くないしその上御茶だということはない fact3: もし「なにかは反応し易いけれど窶れない」ということは事実と異なるとすれば馬鹿さ加減だ fact4: 馬鹿さ加減は熱処理するかもしくは完治しない fact5: その副長は完治するしさらに捕捉出来る fact6: もし仮にその副長は暮らせるとしたら「あの同行は反応し易いけれどそれは窶れない」ということは事実でない fact7: 「その副長は完治する」ということは間違いでない fact8: その副長は起き易くない fact9: 何らかの物が捕捉出来れば御茶だ fact10: もし仮に「その副長は馬鹿さ加減だ」ということは成り立てばそれは起き易くない fact11: 太守は暮らせる fact12: もしその副長が馬鹿さ加減でないならその食品医薬品局は反応し易い fact13: その食品医薬品局は零対でない fact14: もしも「何かは窶れない一方で反応し易い」ということは間違いでないとすればそれは暮らせない fact15: もし粉っぽくないものは非Ａであるとすれば消化し難くない fact16: その副長が馬鹿さ加減でないならばその食品医薬品局は窶れないがしかし反応し易い fact17: 仮にその食品医薬品局が暮らせるということはないならばその満点は太守であるかまたは暮らせないかどちらもである fact18: その食品医薬品局は反応し易い fact19: 仮にあるものが馬鹿さ加減でないとすればそれは零対でない fact20: もし仮にその満点は暮らせないなら「あのジアステレオマーは零対である」ということは真実だ fact21: その満点は暮らせるかまたはそれは御茶でない
void -> assump1: 以下のように仮定する。その副長は馬鹿さ加減である; fact2 & assump1 -> int1: その副長は起き易くないし御茶でない; int1 -> int2: その副長は御茶でない; fact5 -> int3: 「その副長は捕捉出来る」ということは本当だ; fact9 -> int4: その副長が捕捉出来れば御茶である; int3 & int4 -> int5: その副長は御茶である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その副長は馬鹿さ加減でない; int7 & fact16 -> int8: その食品医薬品局は窶れないがしかし反応し易い; fact14 -> int9: もしその食品医薬品局が窶れないけれどそれが反応し易いとすると暮らせない; int8 & int9 -> int10: その食品医薬品局は暮らせない; int10 & fact17 -> int11: その満点は太守であるかもしくは暮らせない; int11 & fact1 & fact20 -> hypothesis;
あのジアステレオマーは零対だということはない
fact22 -> int12: もし仮にあのジアステレオマーは馬鹿さ加減でないならそれは零対でない;
$facts$ = fact1: もし仮にその満点が太守であるとしたらあのジアステレオマーは零対だ fact2: もし仮にその副長が馬鹿さ加減だとすれば起き易くないしその上御茶だということはない fact3: もし「なにかは反応し易いけれど窶れない」ということは事実と異なるとすれば馬鹿さ加減だ fact4: 馬鹿さ加減は熱処理するかもしくは完治しない fact5: その副長は完治するしさらに捕捉出来る fact6: もし仮にその副長は暮らせるとしたら「あの同行は反応し易いけれどそれは窶れない」ということは事実でない fact7: 「その副長は完治する」ということは間違いでない fact8: その副長は起き易くない fact9: 何らかの物が捕捉出来れば御茶だ fact10: もし仮に「その副長は馬鹿さ加減だ」ということは成り立てばそれは起き易くない fact11: 太守は暮らせる fact12: もしその副長が馬鹿さ加減でないならその食品医薬品局は反応し易い fact13: その食品医薬品局は零対でない fact14: もしも「何かは窶れない一方で反応し易い」ということは間違いでないとすればそれは暮らせない fact15: もし粉っぽくないものは非Ａであるとすれば消化し難くない fact16: その副長が馬鹿さ加減でないならばその食品医薬品局は窶れないがしかし反応し易い fact17: 仮にその食品医薬品局が暮らせるということはないならばその満点は太守であるかまたは暮らせないかどちらもである fact18: その食品医薬品局は反応し易い fact19: 仮にあるものが馬鹿さ加減でないとすればそれは零対でない fact20: もし仮にその満点は暮らせないなら「あのジアステレオマーは零対である」ということは真実だ fact21: その満点は暮らせるかまたはそれは御茶でない ; $hypothesis$ = あのジアステレオマーは零対だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その副長は馬鹿さ加減である; fact2 & assump1 -> int1: その副長は起き易くないし御茶でない; int1 -> int2: その副長は御茶でない; fact5 -> int3: 「その副長は捕捉出来る」ということは本当だ; fact9 -> int4: その副長が捕捉出来れば御茶である; int3 & int4 -> int5: その副長は御茶である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その副長は馬鹿さ加減でない; int7 & fact16 -> int8: その食品医薬品局は窶れないがしかし反応し易い; fact14 -> int9: もしその食品医薬品局が窶れないけれどそれが反応し易いとすると暮らせない; int8 & int9 -> int10: その食品医薬品局は暮らせない; int10 & fact17 -> int11: その満点は太守であるかもしくは暮らせない; int11 & fact1 & fact20 -> hypothesis; __PROVED__
事実1: もし仮にその満点が太守であるとしたらあのジアステレオマーは零対だ
事実2: もし仮にその副長が馬鹿さ加減だとすれば起き易くないしその上御茶だということはない
事実3: もし「なにかは反応し易いけれど窶れない」ということは事実と異なるとすれば馬鹿さ加減だ
事実4: 馬鹿さ加減は熱処理するかもしくは完治しない
事実5: その副長は完治するしさらに捕捉出来る
事実6: もし仮にその副長は暮らせるとしたら「あの同行は反応し易いけれどそれは窶れない」ということは事実でない
事実7: 「その副長は完治する」ということは間違いでない
事実8: その副長は起き易くない
事実9: 何らかの物が捕捉出来れば御茶だ
事実10: もし仮に「その副長は馬鹿さ加減だ」ということは成り立てばそれは起き易くない
事実11: 太守は暮らせる
事実12: もしその副長が馬鹿さ加減でないならその食品医薬品局は反応し易い
事実13: その食品医薬品局は零対でない
事実14: もしも「何かは窶れない一方で反応し易い」ということは間違いでないとすればそれは暮らせない
事実15: もし粉っぽくないものは非Ａであるとすれば消化し難くない
事実16: その副長が馬鹿さ加減でないならばその食品医薬品局は窶れないがしかし反応し易い
事実17: 仮にその食品医薬品局が暮らせるということはないならばその満点は太守であるかまたは暮らせないかどちらもである
事実18: その食品医薬品局は反応し易い
事実19: 仮にあるものが馬鹿さ加減でないとすればそれは零対でない
事実20: もし仮にその満点は暮らせないなら「あのジアステレオマーは零対である」ということは真実だ
事実21: その満点は暮らせるかまたはそれは御茶でない

仮説: あのジアステレオマーは零対だ
1. 仮定1: 以下のように仮定する。その副長は馬鹿さ加減である
2. 事実2と仮定1から、推論1: "その副長は起き易くないし御茶でない"が導かれる
3. 推論1から、推論2: "その副長は御茶でない"が導かれる
4. 事実5から、推論3: "「その副長は捕捉出来る」ということは本当だ"が導かれる
5. 事実9から、推論4: "その副長が捕捉出来れば御茶である"が導かれる
6. 推論3と推論4から、推論5: "その副長は御茶である"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その副長は馬鹿さ加減でない"が導かれる
9. 推論7と事実16から、推論8: "その食品医薬品局は窶れないがしかし反応し易い"が導かれる
10. 事実14から、推論9: "もしその食品医薬品局が窶れないけれどそれが反応し易いとすると暮らせない"が導かれる
11. 推論8と推論9から、推論10: "その食品医薬品局は暮らせない"が導かれる
12. 推論10と事実17から、推論11: "その満点は太守であるかもしくは暮らせない"が導かれる
13. 推論11と事実1と事実20から、仮説が導かれる

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