この六十歳台前半は獲得す
fact1: もし「そのファイル共有は羞恥心だが遣り難くない」ということは成り立たないとするとあの土器類は面目無い fact2: もしもなにがしかの物は生き難くなくて和解出来ないならそれは薄ら寒い fact3: もしもなにがしかのものが移管するなら生き難くないしそれに和解出来ない fact4: とある物は薄ら寒いとすると「それが製造中止だということはないしさらに面目無くない」ということは誤っている fact5: 仮になにかは移管しないし更に薄ら寒いということはないとしたら「それは獲得すらない」ということは確かである fact6: あの土器類は設置出来るということはない fact7: 何かは零ＸＦＦだとするとそれが聞き取り易くないしさらにそれは排気しない fact8: このレセプトは設置出来るしそれは移管する fact9: 遣り難くない羞恥心はない fact10: もし「このレセプトは製造中止でないし面目無いということはない」ということは間違いだとすればこの六十歳台前半は獲得す
fact3 -> int1: このレセプトが移管するならそれは生き難くないし和解出来ない; fact8 -> int2: このレセプトは移管する; int1 & int2 -> int3: このレセプトは生き難くなくてそれにそれは和解出来ない; fact2 -> int4: もし仮にこのレセプトが生き難くないしその上和解出来ないとしたらそれは薄ら寒い; int3 & int4 -> int5: このレセプトは薄ら寒い; fact4 -> int6: もしこのレセプトは薄ら寒いならば「それは製造中止でないしその上面目無くない」ということは真実であるということはない; int5 & int6 -> int7: 「このレセプトは製造中止でなくてその上それは面目無くない」ということは事実と異なる; int7 & fact10 -> hypothesis;
この六十歳台前半は獲得すということはない
fact14 -> int8: もしこの六十歳台前半が移管しなくて薄ら寒くないとすれば「獲得すらない」ということは本当だ; fact12 -> int9: 「そのファイル共有は羞恥心であるけど遣り難くない」ということは成り立たない; fact13 & int9 -> int10: あの土器類は面目無い; fact11 & int10 -> int11: あの土器類は設置出来るということはないけど面目無い; int11 -> int12: 「設置出来るということはないしかつ面目無い」ものはある;
$facts$ = fact1: もし「そのファイル共有は羞恥心だが遣り難くない」ということは成り立たないとするとあの土器類は面目無い fact2: もしもなにがしかの物は生き難くなくて和解出来ないならそれは薄ら寒い fact3: もしもなにがしかのものが移管するなら生き難くないしそれに和解出来ない fact4: とある物は薄ら寒いとすると「それが製造中止だということはないしさらに面目無くない」ということは誤っている fact5: 仮になにかは移管しないし更に薄ら寒いということはないとしたら「それは獲得すらない」ということは確かである fact6: あの土器類は設置出来るということはない fact7: 何かは零ＸＦＦだとするとそれが聞き取り易くないしさらにそれは排気しない fact8: このレセプトは設置出来るしそれは移管する fact9: 遣り難くない羞恥心はない fact10: もし「このレセプトは製造中止でないし面目無いということはない」ということは間違いだとすればこの六十歳台前半は獲得す ; $hypothesis$ = この六十歳台前半は獲得す ; $proof$ = 
fact3 -> int1: このレセプトが移管するならそれは生き難くないし和解出来ない; fact8 -> int2: このレセプトは移管する; int1 & int2 -> int3: このレセプトは生き難くなくてそれにそれは和解出来ない; fact2 -> int4: もし仮にこのレセプトが生き難くないしその上和解出来ないとしたらそれは薄ら寒い; int3 & int4 -> int5: このレセプトは薄ら寒い; fact4 -> int6: もしこのレセプトは薄ら寒いならば「それは製造中止でないしその上面目無くない」ということは真実であるということはない; int5 & int6 -> int7: 「このレセプトは製造中止でなくてその上それは面目無くない」ということは事実と異なる; int7 & fact10 -> hypothesis; __PROVED__
事実1: もし「そのファイル共有は羞恥心だが遣り難くない」ということは成り立たないとするとあの土器類は面目無い
事実2: もしもなにがしかの物は生き難くなくて和解出来ないならそれは薄ら寒い
事実3: もしもなにがしかのものが移管するなら生き難くないしそれに和解出来ない
事実4: とある物は薄ら寒いとすると「それが製造中止だということはないしさらに面目無くない」ということは誤っている
事実5: 仮になにかは移管しないし更に薄ら寒いということはないとしたら「それは獲得すらない」ということは確かである
事実6: あの土器類は設置出来るということはない
事実7: 何かは零ＸＦＦだとするとそれが聞き取り易くないしさらにそれは排気しない
事実8: このレセプトは設置出来るしそれは移管する
事実9: 遣り難くない羞恥心はない
事実10: もし「このレセプトは製造中止でないし面目無いということはない」ということは間違いだとすればこの六十歳台前半は獲得す

仮説: この六十歳台前半は獲得す
1. 事実3から、推論1: "このレセプトが移管するならそれは生き難くないし和解出来ない"が導かれる
2. 事実8から、推論2: "このレセプトは移管する"が導かれる
3. 推論1と推論2から、推論3: "このレセプトは生き難くなくてそれにそれは和解出来ない"が導かれる
4. 事実2から、推論4: "もし仮にこのレセプトが生き難くないしその上和解出来ないとしたらそれは薄ら寒い"が導かれる
5. 推論3と推論4から、推論5: "このレセプトは薄ら寒い"が導かれる
6. 事実4から、推論6: "もしこのレセプトは薄ら寒いならば「それは製造中止でないしその上面目無くない」ということは真実であるということはない"が導かれる
7. 推論5と推論6から、推論7: "「このレセプトは製造中止でなくてその上それは面目無くない」ということは事実と異なる"が導かれる
8. 推論7と事実10から、仮説が導かれる

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