あの複式は尤もらしい
fact1: もしもあのＵＫＵＳＡ同盟が手子摺るとするとあの複式は尤もらしい fact2: もし仮にその所長官舎が流され易いとしたら手子摺らない fact3: その擂り身は数学科である fact4: その擂り身は中胚葉でない fact5: もし「その擂り身は砕け易いということはないかもしくは中胚葉であるかあるいはどちらもだ」ということは誤りであるとすれば数学科でない fact6: もし「その所長官舎は良くない」ということは本当ならばあの擂り身は中胚葉でない fact7: あの複式は流され易い fact8: 仮にその所長官舎は良くないとすれば「「その擂り身は砕け易くないかまたは中胚葉であるかもしくはどちらもだ」ということは確かである」ということは間違っている fact9: もし仮に「その所長官舎は良いかあるいはそれは流され易いかもしくはどちらもだ」ということは本当であるならばそれは手子摺らない fact10: もし仮にあのＵＫＵＳＡ同盟がイオン化するならあの複式は尤もらしい fact11: あのＵＫＵＳＡ同盟はイオン化するか砕け易い fact12: 「仮にその所長官舎が手子摺らないとするとあのＵＫＵＳＡ同盟は手子摺るかまたはイオン化するかまたは両方ともである」ということは成り立つ
void -> assump1: 以下のように仮定する。「その所長官舎は良くない」ということは真実だ; fact8 & assump1 -> int1: 「その擂り身は砕け易いということはないかまたは中胚葉だ」ということは誤っている; int1 & fact5 -> int2: その擂り身は数学科でない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: その所長官舎は良い; int4 -> int5: その所長官舎は良いか流され易い; int5 & fact9 -> int6: 「その所長官舎は手子摺らない」ということは正しい; int6 & fact12 -> int7: あのＵＫＵＳＡ同盟は手子摺るかあるいはイオン化するかどちらもだ; int7 & fact1 & fact10 -> hypothesis;
$facts$ = fact1: もしもあのＵＫＵＳＡ同盟が手子摺るとするとあの複式は尤もらしい fact2: もし仮にその所長官舎が流され易いとしたら手子摺らない fact3: その擂り身は数学科である fact4: その擂り身は中胚葉でない fact5: もし「その擂り身は砕け易いということはないかもしくは中胚葉であるかあるいはどちらもだ」ということは誤りであるとすれば数学科でない fact6: もし「その所長官舎は良くない」ということは本当ならばあの擂り身は中胚葉でない fact7: あの複式は流され易い fact8: 仮にその所長官舎は良くないとすれば「「その擂り身は砕け易くないかまたは中胚葉であるかもしくはどちらもだ」ということは確かである」ということは間違っている fact9: もし仮に「その所長官舎は良いかあるいはそれは流され易いかもしくはどちらもだ」ということは本当であるならばそれは手子摺らない fact10: もし仮にあのＵＫＵＳＡ同盟がイオン化するならあの複式は尤もらしい fact11: あのＵＫＵＳＡ同盟はイオン化するか砕け易い fact12: 「仮にその所長官舎が手子摺らないとするとあのＵＫＵＳＡ同盟は手子摺るかまたはイオン化するかまたは両方ともである」ということは成り立つ ; $hypothesis$ = あの複式は尤もらしい ; $proof$ = 
void -> assump1: 以下のように仮定する。「その所長官舎は良くない」ということは真実だ; fact8 & assump1 -> int1: 「その擂り身は砕け易いということはないかまたは中胚葉だ」ということは誤っている; int1 & fact5 -> int2: その擂り身は数学科でない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: その所長官舎は良い; int4 -> int5: その所長官舎は良いか流され易い; int5 & fact9 -> int6: 「その所長官舎は手子摺らない」ということは正しい; int6 & fact12 -> int7: あのＵＫＵＳＡ同盟は手子摺るかあるいはイオン化するかどちらもだ; int7 & fact1 & fact10 -> hypothesis; __PROVED__
事実1: もしもあのＵＫＵＳＡ同盟が手子摺るとするとあの複式は尤もらしい
事実2: もし仮にその所長官舎が流され易いとしたら手子摺らない
事実3: その擂り身は数学科である
事実4: その擂り身は中胚葉でない
事実5: もし「その擂り身は砕け易いということはないかもしくは中胚葉であるかあるいはどちらもだ」ということは誤りであるとすれば数学科でない
事実6: もし「その所長官舎は良くない」ということは本当ならばあの擂り身は中胚葉でない
事実7: あの複式は流され易い
事実8: 仮にその所長官舎は良くないとすれば「「その擂り身は砕け易くないかまたは中胚葉であるかもしくはどちらもだ」ということは確かである」ということは間違っている
事実9: もし仮に「その所長官舎は良いかあるいはそれは流され易いかもしくはどちらもだ」ということは本当であるならばそれは手子摺らない
事実10: もし仮にあのＵＫＵＳＡ同盟がイオン化するならあの複式は尤もらしい
事実11: あのＵＫＵＳＡ同盟はイオン化するか砕け易い
事実12: 「仮にその所長官舎が手子摺らないとするとあのＵＫＵＳＡ同盟は手子摺るかまたはイオン化するかまたは両方ともである」ということは成り立つ

仮説: あの複式は尤もらしい
1. 仮定1: 以下のように仮定する。「その所長官舎は良くない」ということは真実だ
2. 事実8と仮定1から、推論1: "「その擂り身は砕け易いということはないかまたは中胚葉だ」ということは誤っている"が導かれる
3. 推論1と事実5から、推論2: "その擂り身は数学科でない"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その所長官舎は良い"が導かれる
6. 推論4から、推論5: "その所長官舎は良いか流され易い"が導かれる
7. 推論5と事実9から、推論6: "「その所長官舎は手子摺らない」ということは正しい"が導かれる
8. 推論6と事実12から、推論7: "あのＵＫＵＳＡ同盟は手子摺るかあるいはイオン化するかどちらもだ"が導かれる
9. 推論7と事実1と事実10から、仮説が導かれる

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