あの流体軸受けは物凄ーくない
fact1: 「抱え切れるということはない」物はある fact2: 「「吸収され難いしさらに向け過ぎる」ということは偽である」物はある fact3: 「「吸収され難いがしかし向け過ぎない」ということは嘘である」ものはある fact4: もし仮にあの合の子が鍛練しないがそれが広しとしたらあの流体軸受けは広しない fact5: 仮に「このグリーン電力制度は対談しないけれど向け過ぎる」ということは本当でないとすればあの合の子は鍛練するということはない fact6: 「果樹でないけど対談する」ものがあればこの品目別消費支出金額が黒みはからない fact7: もし「この品目別消費支出金額は退色し易いということはないがしかし対談する」ということは偽であるとしたら鍛練する fact8: 仮に何かは果樹でないならばそれは広し fact9: もしもこの品目別消費支出金額が黒みがかるかまたは広しかまたは両方ともであるなら「それは一大事件でない」ということは嘘だということはない fact10: もし仮に「一大事件でなくて鍛練する」ものはあるとすると「あの流体軸受けは物凄ーくない」ということは正しい fact11: 「この品目別消費支出金額は退色し易いし対談する」ということは誤っている fact12: 仮に「「抱え切れない」ということは成り立つ」ものはあるとすると「この品目別消費支出金額は退色し易くない一方で対談する」ということは成り立たない fact13: もしもある物は退色し易くないとすると「このグリーン電力制度は対談しないけど向け過ぎる」ということは間違いである fact14: もしある物が黒みがからなくて果樹でないならそれは物凄ーい fact15: 仮に「「吸収され難いしかつ向け過ぎない」ということは事実と異なる」物があればこの品目別消費支出金額は果樹でない fact16: 退色し易くない物はある fact17: もし仮に「吸収され難くない」物があるとすればこの品目別消費支出金額は果樹でない fact18: もし仮に「とあるものは一大事件であるかあるいはそれは吸収され難くないかあるいは両方だ」ということは嘘であるとすればそれは広し fact19: もしも「抱え切れるということはない」ものはあるなら「「この品目別消費支出金額は退色し易いしさらに対談する」ということは間違っている」ということは正しい
fact8 -> int1: もし仮にこの品目別消費支出金額は果樹でないとするとそれは広し; fact3 & fact15 -> int2: この品目別消費支出金額は果樹でない; int1 & int2 -> int3: この品目別消費支出金額は広し; int3 -> int4: この品目別消費支出金額は黒みがかるか広し; int4 & fact9 -> int5: この品目別消費支出金額は一大事件だということはない; fact1 & fact12 -> int6: 「「この品目別消費支出金額は退色し易いということはないけど対談する」ということは成り立つということはない」ということは確かである; int6 & fact7 -> int7: この品目別消費支出金額は鍛練する; int5 & int7 -> int8: この品目別消費支出金額は一大事件であるということはないけどそれは鍛練する; int8 -> int9: 「ある物は一大事件でないけど鍛練する」ということは正しい; int9 & fact10 -> hypothesis;
あの流体軸受けは物凄ーい
fact23 -> int10: もし仮にあの流体軸受けが黒みはからなくて果樹であるということはないとすれば「物凄ーい」ということは成り立つ; fact21 & fact25 -> int11: 「「このグリーン電力制度は対談しないが向け過ぎる」ということは成り立たない」ということは間違っていない; fact24 & int11 -> int12: あの合の子は鍛練しない; fact20 -> int13: もし仮に「あの合の子は一大事件であるかもしくは吸収され難くないかまたはどちらもである」ということは事実と異なるとすると広し;
$facts$ = fact1: 「抱え切れるということはない」物はある fact2: 「「吸収され難いしさらに向け過ぎる」ということは偽である」物はある fact3: 「「吸収され難いがしかし向け過ぎない」ということは嘘である」ものはある fact4: もし仮にあの合の子が鍛練しないがそれが広しとしたらあの流体軸受けは広しない fact5: 仮に「このグリーン電力制度は対談しないけれど向け過ぎる」ということは本当でないとすればあの合の子は鍛練するということはない fact6: 「果樹でないけど対談する」ものがあればこの品目別消費支出金額が黒みはからない fact7: もし「この品目別消費支出金額は退色し易いということはないがしかし対談する」ということは偽であるとしたら鍛練する fact8: 仮に何かは果樹でないならばそれは広し fact9: もしもこの品目別消費支出金額が黒みがかるかまたは広しかまたは両方ともであるなら「それは一大事件でない」ということは嘘だということはない fact10: もし仮に「一大事件でなくて鍛練する」ものはあるとすると「あの流体軸受けは物凄ーくない」ということは正しい fact11: 「この品目別消費支出金額は退色し易いし対談する」ということは誤っている fact12: 仮に「「抱え切れない」ということは成り立つ」ものはあるとすると「この品目別消費支出金額は退色し易くない一方で対談する」ということは成り立たない fact13: もしもある物は退色し易くないとすると「このグリーン電力制度は対談しないけど向け過ぎる」ということは間違いである fact14: もしある物が黒みがからなくて果樹でないならそれは物凄ーい fact15: 仮に「「吸収され難いしかつ向け過ぎない」ということは事実と異なる」物があればこの品目別消費支出金額は果樹でない fact16: 退色し易くない物はある fact17: もし仮に「吸収され難くない」物があるとすればこの品目別消費支出金額は果樹でない fact18: もし仮に「とあるものは一大事件であるかあるいはそれは吸収され難くないかあるいは両方だ」ということは嘘であるとすればそれは広し fact19: もしも「抱え切れるということはない」ものはあるなら「「この品目別消費支出金額は退色し易いしさらに対談する」ということは間違っている」ということは正しい ; $hypothesis$ = あの流体軸受けは物凄ーくない ; $proof$ = 
fact8 -> int1: もし仮にこの品目別消費支出金額は果樹でないとするとそれは広し; fact3 & fact15 -> int2: この品目別消費支出金額は果樹でない; int1 & int2 -> int3: この品目別消費支出金額は広し; int3 -> int4: この品目別消費支出金額は黒みがかるか広し; int4 & fact9 -> int5: この品目別消費支出金額は一大事件だということはない; fact1 & fact12 -> int6: 「「この品目別消費支出金額は退色し易いということはないけど対談する」ということは成り立つということはない」ということは確かである; int6 & fact7 -> int7: この品目別消費支出金額は鍛練する; int5 & int7 -> int8: この品目別消費支出金額は一大事件であるということはないけどそれは鍛練する; int8 -> int9: 「ある物は一大事件でないけど鍛練する」ということは正しい; int9 & fact10 -> hypothesis; __PROVED__
事実1: 「抱え切れるということはない」物はある
事実2: 「「吸収され難いしさらに向け過ぎる」ということは偽である」物はある
事実3: 「「吸収され難いがしかし向け過ぎない」ということは嘘である」ものはある
事実4: もし仮にあの合の子が鍛練しないがそれが広しとしたらあの流体軸受けは広しない
事実5: 仮に「このグリーン電力制度は対談しないけれど向け過ぎる」ということは本当でないとすればあの合の子は鍛練するということはない
事実6: 「果樹でないけど対談する」ものがあればこの品目別消費支出金額が黒みはからない
事実7: もし「この品目別消費支出金額は退色し易いということはないがしかし対談する」ということは偽であるとしたら鍛練する
事実8: 仮に何かは果樹でないならばそれは広し
事実9: もしもこの品目別消費支出金額が黒みがかるかまたは広しかまたは両方ともであるなら「それは一大事件でない」ということは嘘だということはない
事実10: もし仮に「一大事件でなくて鍛練する」ものはあるとすると「あの流体軸受けは物凄ーくない」ということは正しい
事実11: 「この品目別消費支出金額は退色し易いし対談する」ということは誤っている
事実12: 仮に「「抱え切れない」ということは成り立つ」ものはあるとすると「この品目別消費支出金額は退色し易くない一方で対談する」ということは成り立たない
事実13: もしもある物は退色し易くないとすると「このグリーン電力制度は対談しないけど向け過ぎる」ということは間違いである
事実14: もしある物が黒みがからなくて果樹でないならそれは物凄ーい
事実15: 仮に「「吸収され難いしかつ向け過ぎない」ということは事実と異なる」物があればこの品目別消費支出金額は果樹でない
事実16: 退色し易くない物はある
事実17: もし仮に「吸収され難くない」物があるとすればこの品目別消費支出金額は果樹でない
事実18: もし仮に「とあるものは一大事件であるかあるいはそれは吸収され難くないかあるいは両方だ」ということは嘘であるとすればそれは広し
事実19: もしも「抱え切れるということはない」ものはあるなら「「この品目別消費支出金額は退色し易いしさらに対談する」ということは間違っている」ということは正しい

仮説: あの流体軸受けは物凄ーくない
1. 事実8から、推論1: "もし仮にこの品目別消費支出金額は果樹でないとするとそれは広し"が導かれる
2. 事実3と事実15から、推論2: "この品目別消費支出金額は果樹でない"が導かれる
3. 推論1と推論2から、推論3: "この品目別消費支出金額は広し"が導かれる
4. 推論3から、推論4: "この品目別消費支出金額は黒みがかるか広し"が導かれる
5. 推論4と事実9から、推論5: "この品目別消費支出金額は一大事件だということはない"が導かれる
6. 事実1と事実12から、推論6: "「「この品目別消費支出金額は退色し易いということはないけど対談する」ということは成り立つということはない」ということは確かである"が導かれる
7. 推論6と事実7から、推論7: "この品目別消費支出金額は鍛練する"が導かれる
8. 推論5と推論7から、推論8: "この品目別消費支出金額は一大事件であるということはないけどそれは鍛練する"が導かれる
9. 推論8から、推論9: "「ある物は一大事件でないけど鍛練する」ということは正しい"が導かれる
10. 推論9と事実10から、仮説が導かれる

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