「「「小亀だ」ということは真実な」ものはある」ということは成り立たない
fact1: この出力先は御出で成す fact2: もしもある物が再吸収しないなら順応し易い fact3: もしこの十五日以内が絡め合わせれば小亀である fact4: なんらかの物はＭＩＡＷだ fact5: 吸収され難いし更に生まれ易いということはない物はない fact6: 「もし仮にその五千以上が広報活動だがしかし押し寄せないならこの釣り鐘は広報活動であるということはない」ということは成り立つ fact7: それは御出で成すし絡め合わせらないというものはない fact8: 仮に「なにがしかの物は御出で成すがしかし絡め合わせるということはない」ということは成り立たないならば小亀だ fact9: もしも「この十五日以内は秘匿する一方で居住しない」ということは間違っているとすれば借りれる fact10: この釣り鐘が広報活動でないとするとこの隅田公園は御出で成すし更に小亀だ fact11: 「この十五日以内は御出で成すしおまけに絡め合わせる」ということは誤りである
fact7 -> int1: 「この十五日以内は御出で成す一方で絡め合わせるということはない」ということは正しくない; fact8 -> int2: 「この十五日以内は御出で成すけど絡め合わせらない」ということは偽であるとすると小亀である; int1 & int2 -> int3: この十五日以内は小亀だ; int3 -> hypothesis;
fact7 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); fact8 -> int2: ¬({AA}{aa} & ¬{AB}{aa}) -> {A}{aa}; int1 & int2 -> int3: {A}{aa}; int3 -> hypothesis;
「この隅田公園は御出で成す」ということは本当だ
$facts$ = fact1: この出力先は御出で成す fact2: もしもある物が再吸収しないなら順応し易い fact3: もしこの十五日以内が絡め合わせれば小亀である fact4: なんらかの物はＭＩＡＷだ fact5: 吸収され難いし更に生まれ易いということはない物はない fact6: 「もし仮にその五千以上が広報活動だがしかし押し寄せないならこの釣り鐘は広報活動であるということはない」ということは成り立つ fact7: それは御出で成すし絡め合わせらないというものはない fact8: 仮に「なにがしかの物は御出で成すがしかし絡め合わせるということはない」ということは成り立たないならば小亀だ fact9: もしも「この十五日以内は秘匿する一方で居住しない」ということは間違っているとすれば借りれる fact10: この釣り鐘が広報活動でないとするとこの隅田公園は御出で成すし更に小亀だ fact11: 「この十五日以内は御出で成すしおまけに絡め合わせる」ということは誤りである ; $hypothesis$ = 「「「小亀だ」ということは真実な」ものはある」ということは成り立たない ; $proof$ = 
fact7 -> int1: 「この十五日以内は御出で成す一方で絡め合わせるということはない」ということは正しくない; fact8 -> int2: 「この十五日以内は御出で成すけど絡め合わせらない」ということは偽であるとすると小亀である; int1 & int2 -> int3: この十五日以内は小亀だ; int3 -> hypothesis; __DISPROVED__
事実1: この出力先は御出で成す
事実2: もしもある物が再吸収しないなら順応し易い
事実3: もしこの十五日以内が絡め合わせれば小亀である
事実4: なんらかの物はＭＩＡＷだ
事実5: 吸収され難いし更に生まれ易いということはない物はない
事実6: 「もし仮にその五千以上が広報活動だがしかし押し寄せないならこの釣り鐘は広報活動であるということはない」ということは成り立つ
事実7: それは御出で成すし絡め合わせらないというものはない
事実8: 仮に「なにがしかの物は御出で成すがしかし絡め合わせるということはない」ということは成り立たないならば小亀だ
事実9: もしも「この十五日以内は秘匿する一方で居住しない」ということは間違っているとすれば借りれる
事実10: この釣り鐘が広報活動でないとするとこの隅田公園は御出で成すし更に小亀だ
事実11: 「この十五日以内は御出で成すしおまけに絡め合わせる」ということは誤りである

仮説: 「「「小亀だ」ということは真実な」ものはある」ということは成り立たない
1. 事実7から、推論1: "「この十五日以内は御出で成す一方で絡め合わせるということはない」ということは正しくない"が導かれる
2. 事実8から、推論2: "「この十五日以内は御出で成すけど絡め合わせらない」ということは偽であるとすると小亀である"が導かれる
3. 推論1と推論2から、推論3: "この十五日以内は小亀だ"が導かれる
4. 推論3から、仮説が否定される

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