このナノ技術は消し忘れるかまたは弱まる
fact1: もし仮にあの心タンポナーデは弱まらないけど消し忘れるとするともどかしくない fact2: もし仮にあの心タンポナーデは弱まらないとすると「このナノ技術は消し忘れるかもしくは弱まるかあるいは両方ともである」ということは嘘だ fact3: 輝かしないものはもどかしくないがしかし捕らえ易い fact4: あの心タンポナーデは物納でないがもどかしい fact5: あの心タンポナーデはプレファレンスでないならば「床しくて暗号化する」ということは成り立たない fact6: なんらかのものは床しかないかもしくは福音館書店でないかまたはどちらもであるとしたら「それは床しかない」ということは確かである fact7: もし仮にあの心タンポナーデが消し忘れないならばこのナノ技術は物納だということはない fact8: あの心タンポナーデはプレファレンスでない fact9: 「仮にこのナノ技術が床しかないとすればこのナノ技術は消し忘れるし輝かし」ということは正しい fact10: もしもその駐車中が弱まらないかまたはそれは消し忘れるか両方であるとするとそれは輝かしない fact11: 「何かは床しくてかつ暗号化する」ということは成り立たないなら床しかない fact12: もし仮にあの心タンポナーデが暗号化するということはないならばそれは消し忘れるしそれは床しい fact13: もし仮にあの心タンポナーデは物納だということはない一方でもどかしいとすれば弱まらない
fact13 & fact4 -> int1: あの心タンポナーデは弱まらない; int1 & fact2 -> hypothesis;
その駐車中はもどかしくないけれど捕らえ易い
fact15 -> int2: 仮にその駐車中が輝かしないならばもどかしくなくて更にそれは捕らえ易い;
$facts$ = fact1: もし仮にあの心タンポナーデは弱まらないけど消し忘れるとするともどかしくない fact2: もし仮にあの心タンポナーデは弱まらないとすると「このナノ技術は消し忘れるかもしくは弱まるかあるいは両方ともである」ということは嘘だ fact3: 輝かしないものはもどかしくないがしかし捕らえ易い fact4: あの心タンポナーデは物納でないがもどかしい fact5: あの心タンポナーデはプレファレンスでないならば「床しくて暗号化する」ということは成り立たない fact6: なんらかのものは床しかないかもしくは福音館書店でないかまたはどちらもであるとしたら「それは床しかない」ということは確かである fact7: もし仮にあの心タンポナーデが消し忘れないならばこのナノ技術は物納だということはない fact8: あの心タンポナーデはプレファレンスでない fact9: 「仮にこのナノ技術が床しかないとすればこのナノ技術は消し忘れるし輝かし」ということは正しい fact10: もしもその駐車中が弱まらないかまたはそれは消し忘れるか両方であるとするとそれは輝かしない fact11: 「何かは床しくてかつ暗号化する」ということは成り立たないなら床しかない fact12: もし仮にあの心タンポナーデが暗号化するということはないならばそれは消し忘れるしそれは床しい fact13: もし仮にあの心タンポナーデは物納だということはない一方でもどかしいとすれば弱まらない ; $hypothesis$ = このナノ技術は消し忘れるかまたは弱まる ; $proof$ = 
fact13 & fact4 -> int1: あの心タンポナーデは弱まらない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの心タンポナーデは弱まらないけど消し忘れるとするともどかしくない
事実2: もし仮にあの心タンポナーデは弱まらないとすると「このナノ技術は消し忘れるかもしくは弱まるかあるいは両方ともである」ということは嘘だ
事実3: 輝かしないものはもどかしくないがしかし捕らえ易い
事実4: あの心タンポナーデは物納でないがもどかしい
事実5: あの心タンポナーデはプレファレンスでないならば「床しくて暗号化する」ということは成り立たない
事実6: なんらかのものは床しかないかもしくは福音館書店でないかまたはどちらもであるとしたら「それは床しかない」ということは確かである
事実7: もし仮にあの心タンポナーデが消し忘れないならばこのナノ技術は物納だということはない
事実8: あの心タンポナーデはプレファレンスでない
事実9: 「仮にこのナノ技術が床しかないとすればこのナノ技術は消し忘れるし輝かし」ということは正しい
事実10: もしもその駐車中が弱まらないかまたはそれは消し忘れるか両方であるとするとそれは輝かしない
事実11: 「何かは床しくてかつ暗号化する」ということは成り立たないなら床しかない
事実12: もし仮にあの心タンポナーデが暗号化するということはないならばそれは消し忘れるしそれは床しい
事実13: もし仮にあの心タンポナーデは物納だということはない一方でもどかしいとすれば弱まらない

仮説: このナノ技術は消し忘れるかまたは弱まる
1. 事実13と事実4から、推論1: "あの心タンポナーデは弱まらない"が導かれる
2. 推論1と事実2から、仮説が否定される

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