「この兵士は買い込むが器具でない」ということは成り立つということはない
fact1: もしも「あの注入時は御戻り下さる」ということは確かであるとしたらあの軟鋼は総和しない fact2: あの注入時は買い込まない fact3: もしもこの兵士はデザイン化しないとすれば「それは器具だ」ということは確かである fact4: もしその反転項目が広しないならばこの兵士は買い込むけど器具でない fact5: ある物が塗り固めるとするとあのゴールドは生活水準だ fact6: あの注入時はデザイン化しなくてまた総和しない fact7: もしもあの注入時がデザイン化しないしさらに総和するということはないとするとあのゴールドは艦載でない fact8: もしもあのゴールドが広しないしかつ買い込まないならばあの兵士は生活水準でない fact9: もしも「「強しないが古めかしい」ということは成り立たない」ものがあるならその反転項目は強し fact10: 艦載は御戻り下さる fact11: もし仮にあの注入時は広しないが生活水準だとしたらそれは物寂しい fact12: 物寂しい物が生活水準であるならその反転項目は広しない fact13: もし仮にとあるものは艦載でないならそれは御戻り下さらない fact14: 「「強しということはないけど古めかしい」ということは成り立たない」ものはある fact15: もし仮に「その運動性は強しない」ということは嘘ならばそれは塗り固める fact16: あの注入時が物寂しいならばあの兵士は物寂しい fact17: 「その運動性は強し」ということは成り立つ fact18: 仮にその反転項目が強しとすればあのゴールドは塗り固めない fact19: もしも何かは御戻り下さるとすれば「それは買い込むしそれにそれは器具でない」ということは成り立たない fact20: もしある物が買い込むとしたらこの兵士は広し fact21: とある物が御戻り下さるということはないとしたら物寂しい
fact7 & fact6 -> int1: あのゴールドは艦載であるということはない; fact13 -> int2: もしもあのゴールドは艦載でないとしたらそれは御戻り下さらない; int1 & int2 -> int3: あのゴールドは御戻り下さるということはない; fact21 -> int4: もしもあのゴールドが御戻り下さらないとしたら物寂しい; int3 & int4 -> int5: あのゴールドは物寂しい; fact15 & fact17 -> int6: その運動性は塗り固める; int6 -> int7: あるものは塗り固める; fact5 & int7 -> int8: あのゴールドは生活水準である; int5 & int8 -> int9: あのゴールドは物寂しいしその上生活水準だ; int9 -> int10: 「物寂しいし生活水準な」物はある; int10 & fact12 -> int11: その反転項目は広しない; int11 & fact4 -> hypothesis;
「この兵士は買い込む一方で器具でない」ということは成り立たない
fact22 -> int12: もしこの兵士は御戻り下さるとすれば「買い込むけれど器具でない」ということは偽である; fact23 -> int13: もしもこの兵士が艦載ならそれは御戻り下さる; fact28 & fact25 -> int14: その反転項目は強し; fact27 & int14 -> int15: 「あのゴールドは塗り固めない」ということは成り立つ; int15 -> int16: 「塗り固めない」物はある;
$facts$ = fact1: もしも「あの注入時は御戻り下さる」ということは確かであるとしたらあの軟鋼は総和しない fact2: あの注入時は買い込まない fact3: もしもこの兵士はデザイン化しないとすれば「それは器具だ」ということは確かである fact4: もしその反転項目が広しないならばこの兵士は買い込むけど器具でない fact5: ある物が塗り固めるとするとあのゴールドは生活水準だ fact6: あの注入時はデザイン化しなくてまた総和しない fact7: もしもあの注入時がデザイン化しないしさらに総和するということはないとするとあのゴールドは艦載でない fact8: もしもあのゴールドが広しないしかつ買い込まないならばあの兵士は生活水準でない fact9: もしも「「強しないが古めかしい」ということは成り立たない」ものがあるならその反転項目は強し fact10: 艦載は御戻り下さる fact11: もし仮にあの注入時は広しないが生活水準だとしたらそれは物寂しい fact12: 物寂しい物が生活水準であるならその反転項目は広しない fact13: もし仮にとあるものは艦載でないならそれは御戻り下さらない fact14: 「「強しということはないけど古めかしい」ということは成り立たない」ものはある fact15: もし仮に「その運動性は強しない」ということは嘘ならばそれは塗り固める fact16: あの注入時が物寂しいならばあの兵士は物寂しい fact17: 「その運動性は強し」ということは成り立つ fact18: 仮にその反転項目が強しとすればあのゴールドは塗り固めない fact19: もしも何かは御戻り下さるとすれば「それは買い込むしそれにそれは器具でない」ということは成り立たない fact20: もしある物が買い込むとしたらこの兵士は広し fact21: とある物が御戻り下さるということはないとしたら物寂しい ; $hypothesis$ = 「この兵士は買い込むが器具でない」ということは成り立つということはない ; $proof$ = 
fact7 & fact6 -> int1: あのゴールドは艦載であるということはない; fact13 -> int2: もしもあのゴールドは艦載でないとしたらそれは御戻り下さらない; int1 & int2 -> int3: あのゴールドは御戻り下さるということはない; fact21 -> int4: もしもあのゴールドが御戻り下さらないとしたら物寂しい; int3 & int4 -> int5: あのゴールドは物寂しい; fact15 & fact17 -> int6: その運動性は塗り固める; int6 -> int7: あるものは塗り固める; fact5 & int7 -> int8: あのゴールドは生活水準である; int5 & int8 -> int9: あのゴールドは物寂しいしその上生活水準だ; int9 -> int10: 「物寂しいし生活水準な」物はある; int10 & fact12 -> int11: その反転項目は広しない; int11 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも「あの注入時は御戻り下さる」ということは確かであるとしたらあの軟鋼は総和しない
事実2: あの注入時は買い込まない
事実3: もしもこの兵士はデザイン化しないとすれば「それは器具だ」ということは確かである
事実4: もしその反転項目が広しないならばこの兵士は買い込むけど器具でない
事実5: ある物が塗り固めるとするとあのゴールドは生活水準だ
事実6: あの注入時はデザイン化しなくてまた総和しない
事実7: もしもあの注入時がデザイン化しないしさらに総和するということはないとするとあのゴールドは艦載でない
事実8: もしもあのゴールドが広しないしかつ買い込まないならばあの兵士は生活水準でない
事実9: もしも「「強しないが古めかしい」ということは成り立たない」ものがあるならその反転項目は強し
事実10: 艦載は御戻り下さる
事実11: もし仮にあの注入時は広しないが生活水準だとしたらそれは物寂しい
事実12: 物寂しい物が生活水準であるならその反転項目は広しない
事実13: もし仮にとあるものは艦載でないならそれは御戻り下さらない
事実14: 「「強しということはないけど古めかしい」ということは成り立たない」ものはある
事実15: もし仮に「その運動性は強しない」ということは嘘ならばそれは塗り固める
事実16: あの注入時が物寂しいならばあの兵士は物寂しい
事実17: 「その運動性は強し」ということは成り立つ
事実18: 仮にその反転項目が強しとすればあのゴールドは塗り固めない
事実19: もしも何かは御戻り下さるとすれば「それは買い込むしそれにそれは器具でない」ということは成り立たない
事実20: もしある物が買い込むとしたらこの兵士は広し
事実21: とある物が御戻り下さるということはないとしたら物寂しい

仮説: 「この兵士は買い込むが器具でない」ということは成り立つということはない
1. 事実7と事実6から、推論1: "あのゴールドは艦載であるということはない"が導かれる
2. 事実13から、推論2: "もしもあのゴールドは艦載でないとしたらそれは御戻り下さらない"が導かれる
3. 推論1と推論2から、推論3: "あのゴールドは御戻り下さるということはない"が導かれる
4. 事実21から、推論4: "もしもあのゴールドが御戻り下さらないとしたら物寂しい"が導かれる
5. 推論3と推論4から、推論5: "あのゴールドは物寂しい"が導かれる
6. 事実15と事実17から、推論6: "その運動性は塗り固める"が導かれる
7. 推論6から、推論7: "あるものは塗り固める"が導かれる
8. 事実5と推論7から、推論8: "あのゴールドは生活水準である"が導かれる
9. 推論5と推論8から、推論9: "あのゴールドは物寂しいしその上生活水準だ"が導かれる
10. 推論9から、推論10: "「物寂しいし生活水準な」物はある"が導かれる
11. 推論10と事実12から、推論11: "その反転項目は広しない"が導かれる
12. 推論11と事実4から、仮説が否定される

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