「「もし仮に誇らしいとしたら捉え返す」物はある」ということは偽である
fact1: 「もし仮に「その工場Ａは晩期であるしおまけに煮熟である」ということは間違っていればその工場Ａは晩期でない」ということは成り立つ fact2: もし仮にこの接続部分が誇らしいか考え深くないとすればあの敷石は誇らしい fact3: もしもその敷石が誇らしいならあの二．三項はトラックボールだが其れらしくない fact4: あの二．三項が誇らしいならばゆっくりしない fact5: あの二．三項が誇らしいとするとそれは捉え返すがゆっくりするということはない fact6: 継続し難いものは誇らしい fact7: 仮にあの微分方程式が寒くないかあるいはそれが歴史的環境でないとするとその信号強度は継続し難い fact8: 晩期であるし煮熟であるという物はない
void -> assump1: 以下のように仮定する。「あの二．三項は誇らしい」ということは真実だ; fact5 & assump1 -> int1: あの二．三項は捉え返すがしかしそれはゆっくりするということはない; int1 -> int2: あの二．三項は捉え返す; [assump1] & int2 -> int3: 仮に「あの二．三項は誇らしくない」ということは成り立たないとすれば「捉え返す」ということは真実だ; int3 -> hypothesis;
あの二．三項はトラックボールであるが其れらしくない
fact11 -> int4: もしその信号強度は継続し難いとしたら「それは誇らしい」ということは真実だ; fact14 -> int5: 「その工場Ａは晩期であるしその上煮熟である」ということは成り立たない; fact13 & int5 -> int6: その工場Ａは晩期でない; int6 -> int7: 「晩期でない」ものはある;
$facts$ = fact1: 「もし仮に「その工場Ａは晩期であるしおまけに煮熟である」ということは間違っていればその工場Ａは晩期でない」ということは成り立つ fact2: もし仮にこの接続部分が誇らしいか考え深くないとすればあの敷石は誇らしい fact3: もしもその敷石が誇らしいならあの二．三項はトラックボールだが其れらしくない fact4: あの二．三項が誇らしいならばゆっくりしない fact5: あの二．三項が誇らしいとするとそれは捉え返すがゆっくりするということはない fact6: 継続し難いものは誇らしい fact7: 仮にあの微分方程式が寒くないかあるいはそれが歴史的環境でないとするとその信号強度は継続し難い fact8: 晩期であるし煮熟であるという物はない ; $hypothesis$ = 「「もし仮に誇らしいとしたら捉え返す」物はある」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの二．三項は誇らしい」ということは真実だ; fact5 & assump1 -> int1: あの二．三項は捉え返すがしかしそれはゆっくりするということはない; int1 -> int2: あの二．三項は捉え返す; [assump1] & int2 -> int3: 仮に「あの二．三項は誇らしくない」ということは成り立たないとすれば「捉え返す」ということは真実だ; int3 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「その工場Ａは晩期であるしおまけに煮熟である」ということは間違っていればその工場Ａは晩期でない」ということは成り立つ
事実2: もし仮にこの接続部分が誇らしいか考え深くないとすればあの敷石は誇らしい
事実3: もしもその敷石が誇らしいならあの二．三項はトラックボールだが其れらしくない
事実4: あの二．三項が誇らしいならばゆっくりしない
事実5: あの二．三項が誇らしいとするとそれは捉え返すがゆっくりするということはない
事実6: 継続し難いものは誇らしい
事実7: 仮にあの微分方程式が寒くないかあるいはそれが歴史的環境でないとするとその信号強度は継続し難い
事実8: 晩期であるし煮熟であるという物はない

仮説: 「「もし仮に誇らしいとしたら捉え返す」物はある」ということは偽である
1. 仮定1: 以下のように仮定する。「あの二．三項は誇らしい」ということは真実だ
2. 事実5と仮定1から、推論1: "あの二．三項は捉え返すがしかしそれはゆっくりするということはない"が導かれる
3. 推論1から、推論2: "あの二．三項は捉え返す"が導かれる
4. [仮定1]と推論2から、推論3: "仮に「あの二．三項は誇らしくない」ということは成り立たないとすれば「捉え返す」ということは真実だ"が導かれる
5. 推論3から、仮説が否定される

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