「その御手盛りは行き難くないけど事務ガイドラインである」ということは成り立たない
fact1: その劣性は活用し易い fact2: その御手盛りは寄付しないとしたら「その細胞移植は事務ガイドラインでないがしかし行き難い」ということは成り立たない fact3: もし仮にその劣性は正しいとすると「それは事務ガイドラインでないがしかし行き難い」ということは誤りである fact4: その小中高は寄付する fact5: 「その細胞移植は投与開始しないがしかし事務ガイドラインだ」ということは誤っている fact6: 「その御手盛りは行き難いし寄付する」ということは確かでない fact7: その構造は寄付しない fact8: その細胞移植は投与開始しないとすれば「「その劣性は寄付するしまた移れる」ということは嘘でない」ということは成り立たない fact9: 「その劣性は事務ガイドラインであるしそれは移れる」ということは成り立たない fact10: もしその細胞移植が正しくないならばその御手盛りは移れるしその上投与開始する fact11: 「「その御手盛りは行き難くないけれど投与開始する」ということは成り立たない」ということは嘘でない fact12: その御手盛りは移れるということはない fact13: あの菌液は投与開始しない fact14: その細胞移植は投与開始しない fact15: 仮にその劣性が移れるが投与開始するということはないとしたらその御手盛りは事務ガイドラインでない fact16: その細胞移植は寄付する fact17: もしその御手盛りは寄付しないならば「「その細胞移植は行き難くないがしかしそれは事務ガイドラインである」ということは成り立つ」ということは事実と異なる fact18: 「その御手盛りは移れるしさらに行き難い」ということは間違っている fact19: もし「その細胞移植は事務ガイドラインであるけどそれは移れない」ということは成り立つとするとその御手盛りは投与開始するということはない fact20: もしもその御手盛りが寄付する一方でそれが事務ガイドラインでないならその細胞移植は投与開始するということはない fact21: その細胞移植は流し場だ fact22: その劣性は行き難い fact23: もしも「その劣性は移れない」ということは成り立てば「その御手盛りは行き難いということはないけれど事務ガイドラインである」ということは誤っている fact24: もしもその細胞移植が寄付するけれど投与開始しないとしたらその劣性は移れない fact25: もしとある物は移れないならば「その東大入試は座り易くないが移れる」ということは誤っている fact26: もしもとある物が投与開始しないか寄付しないならその細胞移植は移れるということはない
fact16 & fact14 -> int1: その細胞移植は寄付するがそれは投与開始するということはない; int1 & fact24 -> int2: その劣性は移れない; int2 & fact23 -> hypothesis;
その御手盛りは行き難いということはないけど事務ガイドラインだ
$facts$ = fact1: その劣性は活用し易い fact2: その御手盛りは寄付しないとしたら「その細胞移植は事務ガイドラインでないがしかし行き難い」ということは成り立たない fact3: もし仮にその劣性は正しいとすると「それは事務ガイドラインでないがしかし行き難い」ということは誤りである fact4: その小中高は寄付する fact5: 「その細胞移植は投与開始しないがしかし事務ガイドラインだ」ということは誤っている fact6: 「その御手盛りは行き難いし寄付する」ということは確かでない fact7: その構造は寄付しない fact8: その細胞移植は投与開始しないとすれば「「その劣性は寄付するしまた移れる」ということは嘘でない」ということは成り立たない fact9: 「その劣性は事務ガイドラインであるしそれは移れる」ということは成り立たない fact10: もしその細胞移植が正しくないならばその御手盛りは移れるしその上投与開始する fact11: 「「その御手盛りは行き難くないけれど投与開始する」ということは成り立たない」ということは嘘でない fact12: その御手盛りは移れるということはない fact13: あの菌液は投与開始しない fact14: その細胞移植は投与開始しない fact15: 仮にその劣性が移れるが投与開始するということはないとしたらその御手盛りは事務ガイドラインでない fact16: その細胞移植は寄付する fact17: もしその御手盛りは寄付しないならば「「その細胞移植は行き難くないがしかしそれは事務ガイドラインである」ということは成り立つ」ということは事実と異なる fact18: 「その御手盛りは移れるしさらに行き難い」ということは間違っている fact19: もし「その細胞移植は事務ガイドラインであるけどそれは移れない」ということは成り立つとするとその御手盛りは投与開始するということはない fact20: もしもその御手盛りが寄付する一方でそれが事務ガイドラインでないならその細胞移植は投与開始するということはない fact21: その細胞移植は流し場だ fact22: その劣性は行き難い fact23: もしも「その劣性は移れない」ということは成り立てば「その御手盛りは行き難いということはないけれど事務ガイドラインである」ということは誤っている fact24: もしもその細胞移植が寄付するけれど投与開始しないとしたらその劣性は移れない fact25: もしとある物は移れないならば「その東大入試は座り易くないが移れる」ということは誤っている fact26: もしもとある物が投与開始しないか寄付しないならその細胞移植は移れるということはない ; $hypothesis$ = 「その御手盛りは行き難くないけど事務ガイドラインである」ということは成り立たない ; $proof$ = 
fact16 & fact14 -> int1: その細胞移植は寄付するがそれは投与開始するということはない; int1 & fact24 -> int2: その劣性は移れない; int2 & fact23 -> hypothesis; __PROVED__
事実1: その劣性は活用し易い
事実2: その御手盛りは寄付しないとしたら「その細胞移植は事務ガイドラインでないがしかし行き難い」ということは成り立たない
事実3: もし仮にその劣性は正しいとすると「それは事務ガイドラインでないがしかし行き難い」ということは誤りである
事実4: その小中高は寄付する
事実5: 「その細胞移植は投与開始しないがしかし事務ガイドラインだ」ということは誤っている
事実6: 「その御手盛りは行き難いし寄付する」ということは確かでない
事実7: その構造は寄付しない
事実8: その細胞移植は投与開始しないとすれば「「その劣性は寄付するしまた移れる」ということは嘘でない」ということは成り立たない
事実9: 「その劣性は事務ガイドラインであるしそれは移れる」ということは成り立たない
事実10: もしその細胞移植が正しくないならばその御手盛りは移れるしその上投与開始する
事実11: 「「その御手盛りは行き難くないけれど投与開始する」ということは成り立たない」ということは嘘でない
事実12: その御手盛りは移れるということはない
事実13: あの菌液は投与開始しない
事実14: その細胞移植は投与開始しない
事実15: 仮にその劣性が移れるが投与開始するということはないとしたらその御手盛りは事務ガイドラインでない
事実16: その細胞移植は寄付する
事実17: もしその御手盛りは寄付しないならば「「その細胞移植は行き難くないがしかしそれは事務ガイドラインである」ということは成り立つ」ということは事実と異なる
事実18: 「その御手盛りは移れるしさらに行き難い」ということは間違っている
事実19: もし「その細胞移植は事務ガイドラインであるけどそれは移れない」ということは成り立つとするとその御手盛りは投与開始するということはない
事実20: もしもその御手盛りが寄付する一方でそれが事務ガイドラインでないならその細胞移植は投与開始するということはない
事実21: その細胞移植は流し場だ
事実22: その劣性は行き難い
事実23: もしも「その劣性は移れない」ということは成り立てば「その御手盛りは行き難いということはないけれど事務ガイドラインである」ということは誤っている
事実24: もしもその細胞移植が寄付するけれど投与開始しないとしたらその劣性は移れない
事実25: もしとある物は移れないならば「その東大入試は座り易くないが移れる」ということは誤っている
事実26: もしもとある物が投与開始しないか寄付しないならその細胞移植は移れるということはない

仮説: 「その御手盛りは行き難くないけど事務ガイドラインである」ということは成り立たない
1. 事実16と事実14から、推論1: "その細胞移植は寄付するがそれは投与開始するということはない"が導かれる
2. 推論1と事実24から、推論2: "その劣性は移れない"が導かれる
3. 推論2と事実23から、仮説が導かれる

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