あの新潮社刊は慈悲深いけど近しくない
fact1: その白髯は動かし難いがしかし饗しない fact2: 何かは抉り出すとしたらそれは重斎でないがしかし反り返る fact3: 「このダイアリーは把握し難い」ということは正しい fact4: 「重斎は近しい」ということは誤りだということはない fact5: このダイアリーが近しいならあの新潮社刊は慈悲深い fact6: 仮になんらかの物が乱暴でないならそれは多核白血球でなくてしかもそれは抉り出さない fact7: もしもあの貿易相手国が反り返るとすればあのダイアリーは重斎だ fact8: もしそのウェルウィッチアが重斎でないけど反り返るとしたらあの新潮社刊は饗しない fact9: そのウェルウィッチアは饗する fact10: もし仮に何らかの物は饗しないとしたら「それは慈悲深くてそれは近しくない」ということは成り立たない fact11: もしあの貿易相手国が多核白血球でないしおまけにそれが抉り出すということはないとしたらそのウェルウィッチアは抉り出す fact12: 仮にそのウェルウィッチアが饗するとしたらあの貿易相手国は反り返る fact13: もし仮に「このダイアリーは近しい」ということは成り立つとすれば「あの新潮社刊は慈悲深い一方で近しいということはない」ということは真実だ fact14: そのウェルウィッチアは近しい fact15: この株主総会議事録は饗する
fact12 & fact9 -> int1: あの貿易相手国は反り返る; int1 & fact7 -> int2: このダイアリーは重斎だ; fact4 -> int3: もしこのダイアリーは重斎であるとすれば近しい; int2 & int3 -> int4: このダイアリーは近しい; int4 & fact13 -> hypothesis;
「あの新潮社刊は慈悲深いがしかし近しくない」ということは誤りである
fact16 -> int5: 「もしもあの新潮社刊は饗しないとすると「あの新潮社刊は慈悲深いが近しくない」ということは誤りである」ということは真実だ; fact20 -> int6: もしそのウェルウィッチアは抉り出すとすれば「重斎でないがしかし反り返る」ということは本当だ; fact18 -> int7: あの貿易相手国は乱暴でないならそれは多核白血球でなくてかつ抉り出さない;
$facts$ = fact1: その白髯は動かし難いがしかし饗しない fact2: 何かは抉り出すとしたらそれは重斎でないがしかし反り返る fact3: 「このダイアリーは把握し難い」ということは正しい fact4: 「重斎は近しい」ということは誤りだということはない fact5: このダイアリーが近しいならあの新潮社刊は慈悲深い fact6: 仮になんらかの物が乱暴でないならそれは多核白血球でなくてしかもそれは抉り出さない fact7: もしもあの貿易相手国が反り返るとすればあのダイアリーは重斎だ fact8: もしそのウェルウィッチアが重斎でないけど反り返るとしたらあの新潮社刊は饗しない fact9: そのウェルウィッチアは饗する fact10: もし仮に何らかの物は饗しないとしたら「それは慈悲深くてそれは近しくない」ということは成り立たない fact11: もしあの貿易相手国が多核白血球でないしおまけにそれが抉り出すということはないとしたらそのウェルウィッチアは抉り出す fact12: 仮にそのウェルウィッチアが饗するとしたらあの貿易相手国は反り返る fact13: もし仮に「このダイアリーは近しい」ということは成り立つとすれば「あの新潮社刊は慈悲深い一方で近しいということはない」ということは真実だ fact14: そのウェルウィッチアは近しい fact15: この株主総会議事録は饗する ; $hypothesis$ = あの新潮社刊は慈悲深いけど近しくない ; $proof$ = 
fact12 & fact9 -> int1: あの貿易相手国は反り返る; int1 & fact7 -> int2: このダイアリーは重斎だ; fact4 -> int3: もしこのダイアリーは重斎であるとすれば近しい; int2 & int3 -> int4: このダイアリーは近しい; int4 & fact13 -> hypothesis; __PROVED__
事実1: その白髯は動かし難いがしかし饗しない
事実2: 何かは抉り出すとしたらそれは重斎でないがしかし反り返る
事実3: 「このダイアリーは把握し難い」ということは正しい
事実4: 「重斎は近しい」ということは誤りだということはない
事実5: このダイアリーが近しいならあの新潮社刊は慈悲深い
事実6: 仮になんらかの物が乱暴でないならそれは多核白血球でなくてしかもそれは抉り出さない
事実7: もしもあの貿易相手国が反り返るとすればあのダイアリーは重斎だ
事実8: もしそのウェルウィッチアが重斎でないけど反り返るとしたらあの新潮社刊は饗しない
事実9: そのウェルウィッチアは饗する
事実10: もし仮に何らかの物は饗しないとしたら「それは慈悲深くてそれは近しくない」ということは成り立たない
事実11: もしあの貿易相手国が多核白血球でないしおまけにそれが抉り出すということはないとしたらそのウェルウィッチアは抉り出す
事実12: 仮にそのウェルウィッチアが饗するとしたらあの貿易相手国は反り返る
事実13: もし仮に「このダイアリーは近しい」ということは成り立つとすれば「あの新潮社刊は慈悲深い一方で近しいということはない」ということは真実だ
事実14: そのウェルウィッチアは近しい
事実15: この株主総会議事録は饗する

仮説: あの新潮社刊は慈悲深いけど近しくない
1. 事実12と事実9から、推論1: "あの貿易相手国は反り返る"が導かれる
2. 推論1と事実7から、推論2: "このダイアリーは重斎だ"が導かれる
3. 事実4から、推論3: "もしこのダイアリーは重斎であるとすれば近しい"が導かれる
4. 推論2と推論3から、推論4: "このダイアリーは近しい"が導かれる
5. 推論4と事実13から、仮説が導かれる

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