あのそう等婦は付け易い
fact1: 「もしもこの士が明るいとしたらあの虫捕りは見通せる」ということは偽でない fact2: 「淀姫神社な」ものはある fact3: この士が憎しないとしたらあの虫捕りは見通せる fact4: この道標は輸出総額だ fact5: 輸出総額は振りかぶる fact6: 「この道標は物悲しくない」ということは確かだとしたら「あの虫捕りは絡め合わないけれどそれは明るい」ということは成り立たない fact7: もしこの道標が絡め合うとしたらあの虫捕りは物悲しい fact8: もしなにがしかのものが睨めっこするとすると付け易い fact9: 「この士は憎ししおまけに物悲しい」ということは真実でない fact10: 仮にその漂流は付け易いとすれば「あのそう等婦は付け易くない」ということは成り立つ fact11: 「仮に何かは輸出総額だとすると「それは付け易くないしまた振りかぶらない」ということは間違っている」ということは成り立つ fact12: 何らかのものは振りかぶらない fact13: 「その漂流は湯掻く」ということは成り立つ fact14: もし仮にこの士が見通せるかまたは憎しかあるいはどちらもだとするとこの道標は物悲しくない fact15: 「あの虫捕りは絡め合わないがしかし明るい」ということは間違っているなら「このＭワンＣはのたくる」ということは誤りでない fact16: もし仮に「振りかぶらない」ものはあるなら「その漂流は輸出総額でない一方でそれは葡有す」ということは嘘である fact17: もしも「「その漂流は輸出総額でないけれど葡有す」ということは事実と異ならない」ということは成り立たないとすればあの士は見通せる fact18: もし仮にこのＭワンＣがのたくるならあのそう等婦は睨めっこする
fact12 & fact16 -> int1: 「その漂流は輸出総額でないけど葡有す」ということは誤りだ; int1 & fact17 -> int2: この士は見通せる; int2 -> int3: この士は見通せるかあるいは憎しか両方ともだ; int3 & fact14 -> int4: この道標は物悲しくない; int4 & fact6 -> int5: 「あの虫捕りは絡め合わないけどそれは明るい」ということは本当でない; int5 & fact15 -> int6: このＭワンＣはのたくる; int6 & fact18 -> int7: あのそう等婦は睨めっこする; fact8 -> int8: あのそう等婦が睨めっこするとしたら付け易い; int7 & int8 -> hypothesis;
このディスプレーは振りかぶる
fact19 -> int9: もし仮にこのディスプレーは輸出総額であるとすると振りかぶる;
$facts$ = fact1: 「もしもこの士が明るいとしたらあの虫捕りは見通せる」ということは偽でない fact2: 「淀姫神社な」ものはある fact3: この士が憎しないとしたらあの虫捕りは見通せる fact4: この道標は輸出総額だ fact5: 輸出総額は振りかぶる fact6: 「この道標は物悲しくない」ということは確かだとしたら「あの虫捕りは絡め合わないけれどそれは明るい」ということは成り立たない fact7: もしこの道標が絡め合うとしたらあの虫捕りは物悲しい fact8: もしなにがしかのものが睨めっこするとすると付け易い fact9: 「この士は憎ししおまけに物悲しい」ということは真実でない fact10: 仮にその漂流は付け易いとすれば「あのそう等婦は付け易くない」ということは成り立つ fact11: 「仮に何かは輸出総額だとすると「それは付け易くないしまた振りかぶらない」ということは間違っている」ということは成り立つ fact12: 何らかのものは振りかぶらない fact13: 「その漂流は湯掻く」ということは成り立つ fact14: もし仮にこの士が見通せるかまたは憎しかあるいはどちらもだとするとこの道標は物悲しくない fact15: 「あの虫捕りは絡め合わないがしかし明るい」ということは間違っているなら「このＭワンＣはのたくる」ということは誤りでない fact16: もし仮に「振りかぶらない」ものはあるなら「その漂流は輸出総額でない一方でそれは葡有す」ということは嘘である fact17: もしも「「その漂流は輸出総額でないけれど葡有す」ということは事実と異ならない」ということは成り立たないとすればあの士は見通せる fact18: もし仮にこのＭワンＣがのたくるならあのそう等婦は睨めっこする ; $hypothesis$ = あのそう等婦は付け易い ; $proof$ = 
fact12 & fact16 -> int1: 「その漂流は輸出総額でないけど葡有す」ということは誤りだ; int1 & fact17 -> int2: この士は見通せる; int2 -> int3: この士は見通せるかあるいは憎しか両方ともだ; int3 & fact14 -> int4: この道標は物悲しくない; int4 & fact6 -> int5: 「あの虫捕りは絡め合わないけどそれは明るい」ということは本当でない; int5 & fact15 -> int6: このＭワンＣはのたくる; int6 & fact18 -> int7: あのそう等婦は睨めっこする; fact8 -> int8: あのそう等婦が睨めっこするとしたら付け易い; int7 & int8 -> hypothesis; __PROVED__
事実1: 「もしもこの士が明るいとしたらあの虫捕りは見通せる」ということは偽でない
事実2: 「淀姫神社な」ものはある
事実3: この士が憎しないとしたらあの虫捕りは見通せる
事実4: この道標は輸出総額だ
事実5: 輸出総額は振りかぶる
事実6: 「この道標は物悲しくない」ということは確かだとしたら「あの虫捕りは絡め合わないけれどそれは明るい」ということは成り立たない
事実7: もしこの道標が絡め合うとしたらあの虫捕りは物悲しい
事実8: もしなにがしかのものが睨めっこするとすると付け易い
事実9: 「この士は憎ししおまけに物悲しい」ということは真実でない
事実10: 仮にその漂流は付け易いとすれば「あのそう等婦は付け易くない」ということは成り立つ
事実11: 「仮に何かは輸出総額だとすると「それは付け易くないしまた振りかぶらない」ということは間違っている」ということは成り立つ
事実12: 何らかのものは振りかぶらない
事実13: 「その漂流は湯掻く」ということは成り立つ
事実14: もし仮にこの士が見通せるかまたは憎しかあるいはどちらもだとするとこの道標は物悲しくない
事実15: 「あの虫捕りは絡め合わないがしかし明るい」ということは間違っているなら「このＭワンＣはのたくる」ということは誤りでない
事実16: もし仮に「振りかぶらない」ものはあるなら「その漂流は輸出総額でない一方でそれは葡有す」ということは嘘である
事実17: もしも「「その漂流は輸出総額でないけれど葡有す」ということは事実と異ならない」ということは成り立たないとすればあの士は見通せる
事実18: もし仮にこのＭワンＣがのたくるならあのそう等婦は睨めっこする

仮説: あのそう等婦は付け易い
1. 事実12と事実16から、推論1: "「その漂流は輸出総額でないけど葡有す」ということは誤りだ"が導かれる
2. 推論1と事実17から、推論2: "この士は見通せる"が導かれる
3. 推論2から、推論3: "この士は見通せるかあるいは憎しか両方ともだ"が導かれる
4. 推論3と事実14から、推論4: "この道標は物悲しくない"が導かれる
5. 推論4と事実6から、推論5: "「あの虫捕りは絡め合わないけどそれは明るい」ということは本当でない"が導かれる
6. 推論5と事実15から、推論6: "このＭワンＣはのたくる"が導かれる
7. 推論6と事実18から、推論7: "あのそう等婦は睨めっこする"が導かれる
8. 事実8から、推論8: "あのそう等婦が睨めっこするとしたら付け易い"が導かれる
9. 推論7と推論8から、仮説が導かれる

よって、仮説が証明されました。