「その三宮付近はもたつかない」ということは偽でない
fact1: もし仮にあの九十四ページ参照が忘れ易いし研究所ならばあの三宮付近はもたつかない fact2: 何もかもは運搬しなくてかつそれは地下深くない fact3: この塩止めは旨し fact4: もしもあの九十四ページ参照が研究所だが色付き始めないとすればその三宮付近は忘れ易くない fact5: もし「この塩止めは旨し」ということは成り立つとしたらあの九十四ページ参照は研究所だがしかし色付き始めない fact6: もしなにかはユッカでないとすればそれはもたつくということはないしまた忘れ易い fact7: あの九十四ページ参照は研究所だが忘れ易いということはない fact8: もしもこの塩止めが旨しとしたらあの九十四ページ参照は研究所だ fact9: 「あの九十四ページ参照は研究所だ」ということは正しい fact10: 忘れ易くない物はもたつく fact11: もし仮に旨し物が忘れ易いとすればもたつくということはない
fact5 & fact3 -> int1: あの九十四ページ参照は研究所だがしかしそれは色付き始めない; int1 & fact4 -> int2: その三宮付近は忘れ易いということはない; fact10 -> int3: もし仮にその三宮付近が忘れ易くないならばもたつく; int2 & int3 -> hypothesis;
fact5 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact4 -> int2: ¬{B}{c}; fact10 -> int3: ¬{B}{c} -> {C}{c}; int2 & int3 -> hypothesis;
その三宮付近はもたつかない
fact12 -> int4: もし仮にその三宮付近は旨しし忘れ易いとしたら「もたつくということはない」ということは成り立つ;
$facts$ = fact1: もし仮にあの九十四ページ参照が忘れ易いし研究所ならばあの三宮付近はもたつかない fact2: 何もかもは運搬しなくてかつそれは地下深くない fact3: この塩止めは旨し fact4: もしもあの九十四ページ参照が研究所だが色付き始めないとすればその三宮付近は忘れ易くない fact5: もし「この塩止めは旨し」ということは成り立つとしたらあの九十四ページ参照は研究所だがしかし色付き始めない fact6: もしなにかはユッカでないとすればそれはもたつくということはないしまた忘れ易い fact7: あの九十四ページ参照は研究所だが忘れ易いということはない fact8: もしもこの塩止めが旨しとしたらあの九十四ページ参照は研究所だ fact9: 「あの九十四ページ参照は研究所だ」ということは正しい fact10: 忘れ易くない物はもたつく fact11: もし仮に旨し物が忘れ易いとすればもたつくということはない ; $hypothesis$ = 「その三宮付近はもたつかない」ということは偽でない ; $proof$ = 
fact5 & fact3 -> int1: あの九十四ページ参照は研究所だがしかしそれは色付き始めない; int1 & fact4 -> int2: その三宮付近は忘れ易いということはない; fact10 -> int3: もし仮にその三宮付近が忘れ易くないならばもたつく; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの九十四ページ参照が忘れ易いし研究所ならばあの三宮付近はもたつかない
事実2: 何もかもは運搬しなくてかつそれは地下深くない
事実3: この塩止めは旨し
事実4: もしもあの九十四ページ参照が研究所だが色付き始めないとすればその三宮付近は忘れ易くない
事実5: もし「この塩止めは旨し」ということは成り立つとしたらあの九十四ページ参照は研究所だがしかし色付き始めない
事実6: もしなにかはユッカでないとすればそれはもたつくということはないしまた忘れ易い
事実7: あの九十四ページ参照は研究所だが忘れ易いということはない
事実8: もしもこの塩止めが旨しとしたらあの九十四ページ参照は研究所だ
事実9: 「あの九十四ページ参照は研究所だ」ということは正しい
事実10: 忘れ易くない物はもたつく
事実11: もし仮に旨し物が忘れ易いとすればもたつくということはない

仮説: 「その三宮付近はもたつかない」ということは偽でない
1. 事実5と事実3から、推論1: "あの九十四ページ参照は研究所だがしかしそれは色付き始めない"が導かれる
2. 推論1と事実4から、推論2: "その三宮付近は忘れ易いということはない"が導かれる
3. 事実10から、推論3: "もし仮にその三宮付近が忘れ易くないならばもたつく"が導かれる
4. 推論2と推論3から、仮説が否定される

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