この順風は捨て去れる
fact1: 仮にこの順風は御教示頂かない一方で可笑しいとすると軽ーい fact2: あの造船技術は長たらしい fact3: あの造船技術が招集すればそれは物悲しい fact4: この順風は比肩し得ない fact5: 「物悲しい」ものはあるとすれば「あの造船技術は物悲しくないがそれは招集す」ということは真実でない fact6: もしもあの造船技術が物悲しくないしさらに平政でないならこの順風は物悲しくない fact7: もしも「とあるものは物悲しいということはない一方で招集す」ということは成り立たないとするとそれは平政である fact8: 仮にこのシルバー文字盤が危ないとするとそれは御教示頂くし比肩し得ない fact9: もし仮にその評価枠組みは軽ーいとすれば「この順風は長たらしいけど物悲しくない」ということは間違いである fact10: 仮にこの順風は比肩し得ないならばそれは御教示頂かないが可笑しい fact11: 仮に「とある物は長たらしいけど物悲しくない」ということは間違いなら物悲しい fact12: もしこのシルバー文字盤が御教示頂くがしかし比肩し得ないならその米国経済は御教示頂かない fact13: もしもこの順風は比肩し得ないならばそれは可笑しい fact14: このシルバー文字盤は危ない fact15: もしも平政は軽ーいとすると「捨て去れるということはない」ということは真実である fact16: あの造船技術は招集す fact17: 仮に物悲しいものが長たらしいとしたらこの順風は平政だ fact18: もし「御教示頂かない」ものはあるなら「この水分摂取量は可笑しくてかつ捨て去れる」ということは確かであるということはない fact19: この商業利用は招集す
fact3 & fact16 -> int1: あの造船技術は物悲しい; int1 & fact2 -> int2: あの造船技術は物悲しいし長たらしい; int2 -> int3: 物悲しいし長たらしいものはある; int3 & fact17 -> int4: この順風は平政である; fact4 & fact10 -> int5: この順風は御教示頂かないけれどそれは可笑しい; int5 & fact1 -> int6: この順風は軽ーい; int4 & int6 -> int7: この順風は平政であるしそれに軽ーい; fact15 -> int8: もしこの順風が平政でおまけに軽ーいとすればそれは捨て去れない; int7 & int8 -> hypothesis;
「あの造船技術は平政だ」ということは成り立つ
fact22 -> int9: もし仮に「あの造船技術は物悲しくない一方で招集す」ということは偽なら「平政である」ということは成り立つ; fact25 -> int10: もし仮に「この順風は長たらしい一方で物悲しいということはない」ということは確かでないとすればそれは物悲しい; fact24 & fact23 -> int11: このシルバー文字盤は御教示頂くけれど比肩し得ない; fact20 & int11 -> int12: その米国経済は御教示頂かない; int12 -> int13: 何らかのものは御教示頂かない; int13 & fact21 -> int14: 「この水分摂取量は可笑しいしまたそれは捨て去れる」ということは成り立たない; int14 -> int15: 「「可笑しくて捨て去れる」ということは成り立たない」ものはある;
$facts$ = fact1: 仮にこの順風は御教示頂かない一方で可笑しいとすると軽ーい fact2: あの造船技術は長たらしい fact3: あの造船技術が招集すればそれは物悲しい fact4: この順風は比肩し得ない fact5: 「物悲しい」ものはあるとすれば「あの造船技術は物悲しくないがそれは招集す」ということは真実でない fact6: もしもあの造船技術が物悲しくないしさらに平政でないならこの順風は物悲しくない fact7: もしも「とあるものは物悲しいということはない一方で招集す」ということは成り立たないとするとそれは平政である fact8: 仮にこのシルバー文字盤が危ないとするとそれは御教示頂くし比肩し得ない fact9: もし仮にその評価枠組みは軽ーいとすれば「この順風は長たらしいけど物悲しくない」ということは間違いである fact10: 仮にこの順風は比肩し得ないならばそれは御教示頂かないが可笑しい fact11: 仮に「とある物は長たらしいけど物悲しくない」ということは間違いなら物悲しい fact12: もしこのシルバー文字盤が御教示頂くがしかし比肩し得ないならその米国経済は御教示頂かない fact13: もしもこの順風は比肩し得ないならばそれは可笑しい fact14: このシルバー文字盤は危ない fact15: もしも平政は軽ーいとすると「捨て去れるということはない」ということは真実である fact16: あの造船技術は招集す fact17: 仮に物悲しいものが長たらしいとしたらこの順風は平政だ fact18: もし「御教示頂かない」ものはあるなら「この水分摂取量は可笑しくてかつ捨て去れる」ということは確かであるということはない fact19: この商業利用は招集す ; $hypothesis$ = この順風は捨て去れる ; $proof$ = 
fact3 & fact16 -> int1: あの造船技術は物悲しい; int1 & fact2 -> int2: あの造船技術は物悲しいし長たらしい; int2 -> int3: 物悲しいし長たらしいものはある; int3 & fact17 -> int4: この順風は平政である; fact4 & fact10 -> int5: この順風は御教示頂かないけれどそれは可笑しい; int5 & fact1 -> int6: この順風は軽ーい; int4 & int6 -> int7: この順風は平政であるしそれに軽ーい; fact15 -> int8: もしこの順風が平政でおまけに軽ーいとすればそれは捨て去れない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 仮にこの順風は御教示頂かない一方で可笑しいとすると軽ーい
事実2: あの造船技術は長たらしい
事実3: あの造船技術が招集すればそれは物悲しい
事実4: この順風は比肩し得ない
事実5: 「物悲しい」ものはあるとすれば「あの造船技術は物悲しくないがそれは招集す」ということは真実でない
事実6: もしもあの造船技術が物悲しくないしさらに平政でないならこの順風は物悲しくない
事実7: もしも「とあるものは物悲しいということはない一方で招集す」ということは成り立たないとするとそれは平政である
事実8: 仮にこのシルバー文字盤が危ないとするとそれは御教示頂くし比肩し得ない
事実9: もし仮にその評価枠組みは軽ーいとすれば「この順風は長たらしいけど物悲しくない」ということは間違いである
事実10: 仮にこの順風は比肩し得ないならばそれは御教示頂かないが可笑しい
事実11: 仮に「とある物は長たらしいけど物悲しくない」ということは間違いなら物悲しい
事実12: もしこのシルバー文字盤が御教示頂くがしかし比肩し得ないならその米国経済は御教示頂かない
事実13: もしもこの順風は比肩し得ないならばそれは可笑しい
事実14: このシルバー文字盤は危ない
事実15: もしも平政は軽ーいとすると「捨て去れるということはない」ということは真実である
事実16: あの造船技術は招集す
事実17: 仮に物悲しいものが長たらしいとしたらこの順風は平政だ
事実18: もし「御教示頂かない」ものはあるなら「この水分摂取量は可笑しくてかつ捨て去れる」ということは確かであるということはない
事実19: この商業利用は招集す

仮説: この順風は捨て去れる
1. 事実3と事実16から、推論1: "あの造船技術は物悲しい"が導かれる
2. 推論1と事実2から、推論2: "あの造船技術は物悲しいし長たらしい"が導かれる
3. 推論2から、推論3: "物悲しいし長たらしいものはある"が導かれる
4. 推論3と事実17から、推論4: "この順風は平政である"が導かれる
5. 事実4と事実10から、推論5: "この順風は御教示頂かないけれどそれは可笑しい"が導かれる
6. 推論5と事実1から、推論6: "この順風は軽ーい"が導かれる
7. 推論4と推論6から、推論7: "この順風は平政であるしそれに軽ーい"が導かれる
8. 事実15から、推論8: "もしこの順風が平政でおまけに軽ーいとすればそれは捨て去れない"が導かれる
9. 推論7と推論8から、仮説が否定される

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