「そのイザヤ書は安静時でないけど働き出す」ということは成り立たない
fact1: もし仮にあの一支国が男組でないとすればその粉ゼラチンは男組でないかあるいはそれはドーナツ・ショップでないか両方ともである fact2: 何らかのものが察知出来ないならば安静時でないしその上働き出す fact3: 仮にその粉ゼラチンがドーナツ・ショップでないならばそのイザヤ書は察知出来ない fact4: なんらかのものは察知出来ないとすれば「それは働き出す」ということは成り立つ fact5: そのイザヤ書は働き出す fact6: 「「縫い繋ぐし加えておどろおどろしくない」ということは間違っている」物はある fact7: もし仮に「「縫い繋ぐしおどろおどろしくない」ということは成り立たない」ものがあるとするとあの一支国は男組でない fact8: 「「縫い繋ぐしかつおどろおどろしい」ということは成り立つということはない」物はある fact9: もしとあるものがおどろおどろしいとするとあの一支国は男組だということはない fact10: その胸痛はドーナツ・ショップでない一方で御悪い fact11: もしその粉ゼラチンが男組であるということはないとすればあのイザヤ書は察知出来ない
fact6 & fact7 -> int1: あの一支国は男組でない; int1 & fact1 -> int2: その粉ゼラチンは男組でないかドーナツ・ショップであるということはない; int2 & fact11 & fact3 -> int3: そのイザヤ書は察知出来ない; fact2 -> int4: 仮にそのイザヤ書は察知出来ないとすれば「安静時でなくて働き出す」ということは事実と異ならない; int3 & int4 -> hypothesis;
$facts$ = fact1: もし仮にあの一支国が男組でないとすればその粉ゼラチンは男組でないかあるいはそれはドーナツ・ショップでないか両方ともである fact2: 何らかのものが察知出来ないならば安静時でないしその上働き出す fact3: 仮にその粉ゼラチンがドーナツ・ショップでないならばそのイザヤ書は察知出来ない fact4: なんらかのものは察知出来ないとすれば「それは働き出す」ということは成り立つ fact5: そのイザヤ書は働き出す fact6: 「「縫い繋ぐし加えておどろおどろしくない」ということは間違っている」物はある fact7: もし仮に「「縫い繋ぐしおどろおどろしくない」ということは成り立たない」ものがあるとするとあの一支国は男組でない fact8: 「「縫い繋ぐしかつおどろおどろしい」ということは成り立つということはない」物はある fact9: もしとあるものがおどろおどろしいとするとあの一支国は男組だということはない fact10: その胸痛はドーナツ・ショップでない一方で御悪い fact11: もしその粉ゼラチンが男組であるということはないとすればあのイザヤ書は察知出来ない ; $hypothesis$ = 「そのイザヤ書は安静時でないけど働き出す」ということは成り立たない ; $proof$ = 
fact6 & fact7 -> int1: あの一支国は男組でない; int1 & fact1 -> int2: その粉ゼラチンは男組でないかドーナツ・ショップであるということはない; int2 & fact11 & fact3 -> int3: そのイザヤ書は察知出来ない; fact2 -> int4: 仮にそのイザヤ書は察知出来ないとすれば「安静時でなくて働き出す」ということは事実と異ならない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にあの一支国が男組でないとすればその粉ゼラチンは男組でないかあるいはそれはドーナツ・ショップでないか両方ともである
事実2: 何らかのものが察知出来ないならば安静時でないしその上働き出す
事実3: 仮にその粉ゼラチンがドーナツ・ショップでないならばそのイザヤ書は察知出来ない
事実4: なんらかのものは察知出来ないとすれば「それは働き出す」ということは成り立つ
事実5: そのイザヤ書は働き出す
事実6: 「「縫い繋ぐし加えておどろおどろしくない」ということは間違っている」物はある
事実7: もし仮に「「縫い繋ぐしおどろおどろしくない」ということは成り立たない」ものがあるとするとあの一支国は男組でない
事実8: 「「縫い繋ぐしかつおどろおどろしい」ということは成り立つということはない」物はある
事実9: もしとあるものがおどろおどろしいとするとあの一支国は男組だということはない
事実10: その胸痛はドーナツ・ショップでない一方で御悪い
事実11: もしその粉ゼラチンが男組であるということはないとすればあのイザヤ書は察知出来ない

仮説: 「そのイザヤ書は安静時でないけど働き出す」ということは成り立たない
1. 事実6と事実7から、推論1: "あの一支国は男組でない"が導かれる
2. 推論1と事実1から、推論2: "その粉ゼラチンは男組でないかドーナツ・ショップであるということはない"が導かれる
3. 推論2と事実11と事実3から、推論3: "そのイザヤ書は察知出来ない"が導かれる
4. 事実2から、推論4: "仮にそのイザヤ書は察知出来ないとすれば「安静時でなくて働き出す」ということは事実と異ならない"が導かれる
5. 推論3と推論4から、仮説が否定される

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