「「しどけなくないし実測出力でない」ということは誤りな」物はある
fact1: もしもなんらかの物は弾き易いとしたら「生じ易くないしその上ブロードバンドルーターでない」ということは成り立たない fact2: 「「しどけないけど実測出力でない」ということは真実でない」ものはある fact3: 「「あの札幌行きは自発的活動でないしそれは直言しない」ということは成り立つ」ということは間違っている fact4: あるものはしどけなくないしその上実測出力でない fact5: もしも「その鳳凰は騙せらない一方で易し」ということは成り立たないとしたらあの褥は自発的活動である fact6: もしあの褥は騙せらないとすれば「自発的活動でしどけない」ということは真実でない fact7: もしなにがしかのものは加味しないとすると「それは厭わしいし滴下しない」ということは成り立たない fact8: 仮にその鳳凰は弾き易くないとしたら「騙せらないけれど易し」ということは誤りだ fact9: もしその鳳凰は自発的活動でしかも弾き易いとすればそれは面会出来ない fact10: もしあの褥は自発的活動であるし廃仏毀釈だとすれば辿れない fact11: 「その鳳凰はイメージ力でなくてそれは辿れるということはない」ということは成り立たない fact12: その鳳凰は弾き易くない fact13: あの円蓋は面会出来る fact14: もし仮にとあるものが面会出来ればそれは廃仏毀釈だ fact15: あの褥は面会出来る fact16: もしもとある物が廃仏毀釈でないとするとそれは弾き易くてそれは自発的活動である fact17: 何らかの物は辿れないとすると「しどけないということはないしかつ実測出力でない」ということは誤っている fact18: もしも「その鳳凰は騙せる」ということは本当であるならあの褥は自発的活動だ
fact8 & fact12 -> int1: 「その鳳凰は騙せらない一方で易し」ということは成り立たない; int1 & fact5 -> int2: あの褥は自発的活動だ; fact14 -> int3: もし仮にあの褥は面会出来るとすると「それは廃仏毀釈である」ということは正しい; fact15 & int3 -> int4: 「あの褥は廃仏毀釈だ」ということは事実だ; int2 & int4 -> int5: あの褥は自発的活動でそれは廃仏毀釈だ; int5 & fact10 -> int6: あの褥は辿れない; fact17 -> int7: あの褥は辿れないなら「それはしどけないということはないししかも実測出力でない」ということは事実と異なる; int6 & int7 -> int8: 「あの褥はしどけないということはないしおまけに実測出力でない」ということは間違いだ; int8 -> hypothesis;
「「生じ易くないしブロードバンドルーターでない」ということは間違いな」物はある
fact20 -> int9: もしもその鳳凰は弾き易いならば「「それは生じ易いということはなくて更にブロードバンドルーターでない」ということは本当だ」ということは成り立たない; fact19 -> int10: 仮にその鳳凰は廃仏毀釈でないならば弾き易いし自発的活動である;
$facts$ = fact1: もしもなんらかの物は弾き易いとしたら「生じ易くないしその上ブロードバンドルーターでない」ということは成り立たない fact2: 「「しどけないけど実測出力でない」ということは真実でない」ものはある fact3: 「「あの札幌行きは自発的活動でないしそれは直言しない」ということは成り立つ」ということは間違っている fact4: あるものはしどけなくないしその上実測出力でない fact5: もしも「その鳳凰は騙せらない一方で易し」ということは成り立たないとしたらあの褥は自発的活動である fact6: もしあの褥は騙せらないとすれば「自発的活動でしどけない」ということは真実でない fact7: もしなにがしかのものは加味しないとすると「それは厭わしいし滴下しない」ということは成り立たない fact8: 仮にその鳳凰は弾き易くないとしたら「騙せらないけれど易し」ということは誤りだ fact9: もしその鳳凰は自発的活動でしかも弾き易いとすればそれは面会出来ない fact10: もしあの褥は自発的活動であるし廃仏毀釈だとすれば辿れない fact11: 「その鳳凰はイメージ力でなくてそれは辿れるということはない」ということは成り立たない fact12: その鳳凰は弾き易くない fact13: あの円蓋は面会出来る fact14: もし仮にとあるものが面会出来ればそれは廃仏毀釈だ fact15: あの褥は面会出来る fact16: もしもとある物が廃仏毀釈でないとするとそれは弾き易くてそれは自発的活動である fact17: 何らかの物は辿れないとすると「しどけないということはないしかつ実測出力でない」ということは誤っている fact18: もしも「その鳳凰は騙せる」ということは本当であるならあの褥は自発的活動だ ; $hypothesis$ = 「「しどけなくないし実測出力でない」ということは誤りな」物はある ; $proof$ = 
fact8 & fact12 -> int1: 「その鳳凰は騙せらない一方で易し」ということは成り立たない; int1 & fact5 -> int2: あの褥は自発的活動だ; fact14 -> int3: もし仮にあの褥は面会出来るとすると「それは廃仏毀釈である」ということは正しい; fact15 & int3 -> int4: 「あの褥は廃仏毀釈だ」ということは事実だ; int2 & int4 -> int5: あの褥は自発的活動でそれは廃仏毀釈だ; int5 & fact10 -> int6: あの褥は辿れない; fact17 -> int7: あの褥は辿れないなら「それはしどけないということはないししかも実測出力でない」ということは事実と異なる; int6 & int7 -> int8: 「あの褥はしどけないということはないしおまけに実測出力でない」ということは間違いだ; int8 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は弾き易いとしたら「生じ易くないしその上ブロードバンドルーターでない」ということは成り立たない
事実2: 「「しどけないけど実測出力でない」ということは真実でない」ものはある
事実3: 「「あの札幌行きは自発的活動でないしそれは直言しない」ということは成り立つ」ということは間違っている
事実4: あるものはしどけなくないしその上実測出力でない
事実5: もしも「その鳳凰は騙せらない一方で易し」ということは成り立たないとしたらあの褥は自発的活動である
事実6: もしあの褥は騙せらないとすれば「自発的活動でしどけない」ということは真実でない
事実7: もしなにがしかのものは加味しないとすると「それは厭わしいし滴下しない」ということは成り立たない
事実8: 仮にその鳳凰は弾き易くないとしたら「騙せらないけれど易し」ということは誤りだ
事実9: もしその鳳凰は自発的活動でしかも弾き易いとすればそれは面会出来ない
事実10: もしあの褥は自発的活動であるし廃仏毀釈だとすれば辿れない
事実11: 「その鳳凰はイメージ力でなくてそれは辿れるということはない」ということは成り立たない
事実12: その鳳凰は弾き易くない
事実13: あの円蓋は面会出来る
事実14: もし仮にとあるものが面会出来ればそれは廃仏毀釈だ
事実15: あの褥は面会出来る
事実16: もしもとある物が廃仏毀釈でないとするとそれは弾き易くてそれは自発的活動である
事実17: 何らかの物は辿れないとすると「しどけないということはないしかつ実測出力でない」ということは誤っている
事実18: もしも「その鳳凰は騙せる」ということは本当であるならあの褥は自発的活動だ

仮説: 「「しどけなくないし実測出力でない」ということは誤りな」物はある
1. 事実8と事実12から、推論1: "「その鳳凰は騙せらない一方で易し」ということは成り立たない"が導かれる
2. 推論1と事実5から、推論2: "あの褥は自発的活動だ"が導かれる
3. 事実14から、推論3: "もし仮にあの褥は面会出来るとすると「それは廃仏毀釈である」ということは正しい"が導かれる
4. 事実15と推論3から、推論4: "「あの褥は廃仏毀釈だ」ということは事実だ"が導かれる
5. 推論2と推論4から、推論5: "あの褥は自発的活動でそれは廃仏毀釈だ"が導かれる
6. 推論5と事実10から、推論6: "あの褥は辿れない"が導かれる
7. 事実17から、推論7: "あの褥は辿れないなら「それはしどけないということはないししかも実測出力でない」ということは事実と異なる"が導かれる
8. 推論6と推論7から、推論8: "「あの褥はしどけないということはないしおまけに実測出力でない」ということは間違いだ"が導かれる
9. 推論8から、仮説が導かれる

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