「この芽は渡れなくてそれは珍しかない」ということは偽である
fact1: もしこの平出は提供しないとすると「その自然塩は湾曲部でないし黒木軍でない」ということは成り立たない fact2: この平出は珍しかない fact3: なにがしかの物は八つ当たりでないとすれば「それが泥棒運転だしそれは規則正しい」ということは真実でない fact4: もしその位置Ｘは湾曲部だとすれば「黒木軍でないけど八つ当たりだ」ということは事実と異なる fact5: もしもそのデシベルが八つ当たりでないならその位置Ｘは黒木軍でないけど八つ当たりである fact6: この芽は改題しない fact7: その位置Ｘは湾曲部だ fact8: この平出は泥棒運転だ fact9: もし「この芽は渡れないし加えて珍しかない」ということは成り立つということはないとしたらその自然塩は規則正しい fact10: そのデシベルは珍しかない fact11: 「この芽は渡れないけれど珍しい」ということは成り立たない fact12: その位置Ｘは黒木軍でない fact13: その自然塩が規則正しいとすれば改題する fact14: この平出は八つ当たりである fact15: もしもあの行き付けが泥棒運転だとすればあの平出は泥棒運転である fact16: もし仮にその位置Ｘが珍しかないとすればあの芽は湾曲部でない一方でそれは珍しい fact17: 仮にその位置Ｘが湾曲部であるけれど珍しかないならばあのデシベルは八つ当たりでない fact18: もし「その自然塩は湾曲部でないしその上黒木軍でない」ということは成り立たないとするとそれは湾曲部だ fact19: 仮にあの行き付けが泥棒運転であるとしたらこの平出は泥棒運転だけれどそれは塩っ辛くない fact20: もし仮にこの芽は改題するとすれば「あの行き付けは塩っ辛い」ということは事実だ fact21: この平出が泥棒運転だがしかし塩っ辛いということはないならばそのデシベルは八つ当たりでない fact22: もし仮にこの芽は黒木軍だとすれば「それは珍しかないしおまけに泥棒運転だ」ということは間違っている fact23: その自然塩が改題するとするとあの行き付けは泥棒運転である fact24: 仮にそのデシベルが八つ当たりでないならばその位置Ｘは黒木軍でない fact25: 「「この芽は渡れるが珍しかない」ということは成り立つということはない」ということは正しい
void -> assump1: 以下のように仮定する。「この芽は渡れないしまたそれは珍しかない」ということは嘘だ; fact9 & assump1 -> int1: その自然塩は規則正しい; int1 & fact13 -> int2: その自然塩は改題する; int2 & fact23 -> int3: あの行き付けは泥棒運転である; int3 & fact19 -> int4: 「この平出は泥棒運転だが塩っ辛くない」ということは誤っていない; int4 & fact21 -> int5: そのデシベルは八つ当たりでない; int5 & fact5 -> int6: その位置Ｘは黒木軍でないけれどそれは八つ当たりだ; fact7 & fact4 -> int7: 「その位置Ｘは黒木軍でないけど八つ当たりである」ということは間違いだ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「あの行き付けは塩っ辛い」ということは成り立つ
fact26 -> int9: 仮にその自然塩は八つ当たりでないなら「泥棒運転であるしそれは規則正しい」ということは間違っている;
$facts$ = fact1: もしこの平出は提供しないとすると「その自然塩は湾曲部でないし黒木軍でない」ということは成り立たない fact2: この平出は珍しかない fact3: なにがしかの物は八つ当たりでないとすれば「それが泥棒運転だしそれは規則正しい」ということは真実でない fact4: もしその位置Ｘは湾曲部だとすれば「黒木軍でないけど八つ当たりだ」ということは事実と異なる fact5: もしもそのデシベルが八つ当たりでないならその位置Ｘは黒木軍でないけど八つ当たりである fact6: この芽は改題しない fact7: その位置Ｘは湾曲部だ fact8: この平出は泥棒運転だ fact9: もし「この芽は渡れないし加えて珍しかない」ということは成り立つということはないとしたらその自然塩は規則正しい fact10: そのデシベルは珍しかない fact11: 「この芽は渡れないけれど珍しい」ということは成り立たない fact12: その位置Ｘは黒木軍でない fact13: その自然塩が規則正しいとすれば改題する fact14: この平出は八つ当たりである fact15: もしもあの行き付けが泥棒運転だとすればあの平出は泥棒運転である fact16: もし仮にその位置Ｘが珍しかないとすればあの芽は湾曲部でない一方でそれは珍しい fact17: 仮にその位置Ｘが湾曲部であるけれど珍しかないならばあのデシベルは八つ当たりでない fact18: もし「その自然塩は湾曲部でないしその上黒木軍でない」ということは成り立たないとするとそれは湾曲部だ fact19: 仮にあの行き付けが泥棒運転であるとしたらこの平出は泥棒運転だけれどそれは塩っ辛くない fact20: もし仮にこの芽は改題するとすれば「あの行き付けは塩っ辛い」ということは事実だ fact21: この平出が泥棒運転だがしかし塩っ辛いということはないならばそのデシベルは八つ当たりでない fact22: もし仮にこの芽は黒木軍だとすれば「それは珍しかないしおまけに泥棒運転だ」ということは間違っている fact23: その自然塩が改題するとするとあの行き付けは泥棒運転である fact24: 仮にそのデシベルが八つ当たりでないならばその位置Ｘは黒木軍でない fact25: 「「この芽は渡れるが珍しかない」ということは成り立つということはない」ということは正しい ; $hypothesis$ = 「この芽は渡れなくてそれは珍しかない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この芽は渡れないしまたそれは珍しかない」ということは嘘だ; fact9 & assump1 -> int1: その自然塩は規則正しい; int1 & fact13 -> int2: その自然塩は改題する; int2 & fact23 -> int3: あの行き付けは泥棒運転である; int3 & fact19 -> int4: 「この平出は泥棒運転だが塩っ辛くない」ということは誤っていない; int4 & fact21 -> int5: そのデシベルは八つ当たりでない; int5 & fact5 -> int6: その位置Ｘは黒木軍でないけれどそれは八つ当たりだ; fact7 & fact4 -> int7: 「その位置Ｘは黒木軍でないけど八つ当たりである」ということは間違いだ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしこの平出は提供しないとすると「その自然塩は湾曲部でないし黒木軍でない」ということは成り立たない
事実2: この平出は珍しかない
事実3: なにがしかの物は八つ当たりでないとすれば「それが泥棒運転だしそれは規則正しい」ということは真実でない
事実4: もしその位置Ｘは湾曲部だとすれば「黒木軍でないけど八つ当たりだ」ということは事実と異なる
事実5: もしもそのデシベルが八つ当たりでないならその位置Ｘは黒木軍でないけど八つ当たりである
事実6: この芽は改題しない
事実7: その位置Ｘは湾曲部だ
事実8: この平出は泥棒運転だ
事実9: もし「この芽は渡れないし加えて珍しかない」ということは成り立つということはないとしたらその自然塩は規則正しい
事実10: そのデシベルは珍しかない
事実11: 「この芽は渡れないけれど珍しい」ということは成り立たない
事実12: その位置Ｘは黒木軍でない
事実13: その自然塩が規則正しいとすれば改題する
事実14: この平出は八つ当たりである
事実15: もしもあの行き付けが泥棒運転だとすればあの平出は泥棒運転である
事実16: もし仮にその位置Ｘが珍しかないとすればあの芽は湾曲部でない一方でそれは珍しい
事実17: 仮にその位置Ｘが湾曲部であるけれど珍しかないならばあのデシベルは八つ当たりでない
事実18: もし「その自然塩は湾曲部でないしその上黒木軍でない」ということは成り立たないとするとそれは湾曲部だ
事実19: 仮にあの行き付けが泥棒運転であるとしたらこの平出は泥棒運転だけれどそれは塩っ辛くない
事実20: もし仮にこの芽は改題するとすれば「あの行き付けは塩っ辛い」ということは事実だ
事実21: この平出が泥棒運転だがしかし塩っ辛いということはないならばそのデシベルは八つ当たりでない
事実22: もし仮にこの芽は黒木軍だとすれば「それは珍しかないしおまけに泥棒運転だ」ということは間違っている
事実23: その自然塩が改題するとするとあの行き付けは泥棒運転である
事実24: 仮にそのデシベルが八つ当たりでないならばその位置Ｘは黒木軍でない
事実25: 「「この芽は渡れるが珍しかない」ということは成り立つということはない」ということは正しい

仮説: 「この芽は渡れなくてそれは珍しかない」ということは偽である
1. 仮定1: 以下のように仮定する。「この芽は渡れないしまたそれは珍しかない」ということは嘘だ
2. 事実9と仮定1から、推論1: "その自然塩は規則正しい"が導かれる
3. 推論1と事実13から、推論2: "その自然塩は改題する"が導かれる
4. 推論2と事実23から、推論3: "あの行き付けは泥棒運転である"が導かれる
5. 推論3と事実19から、推論4: "「この平出は泥棒運転だが塩っ辛くない」ということは誤っていない"が導かれる
6. 推論4と事実21から、推論5: "そのデシベルは八つ当たりでない"が導かれる
7. 推論5と事実5から、推論6: "その位置Ｘは黒木軍でないけれどそれは八つ当たりだ"が導かれる
8. 事実7と事実4から、推論7: "「その位置Ｘは黒木軍でないけど八つ当たりである」ということは間違いだ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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