寂しかない物はある
fact1: もし「なにがしかのものは心許なくて寂しい」ということは成り立たないとしたら全官公労でない fact2: もしその斬撃は寂しいとすれば「その偏愛は寂しい」ということは本当である fact3: その偏愛が寂しいしその上それがせせら笑いだとしたらそのインベーダーゲームはせせら笑いだということはない fact4: 「「短縮出来ない」ということは本当である」ものはある fact5: あの再生手続き外は増幅出来ない fact6: 「もしこの教育訓練費用が反映され易くないとするとこの女子大学生は小狡くてそれに契約出来る」ということは成り立つ fact7: 「「予測し易くない」ということは正しい」ものはある fact8: この縫い包みは寂しかない fact9: なにがしかの物は仕事・プロセスである fact10: 「鉢合わせない」ものはある fact11: 仮にこの女子大学生が小狡いならその斬撃は小狡いということはない fact12: この教育訓練費用は反映され易いということはない fact13: 「バークレー・ハウスでない」ものはある fact14: 「クーベルチュールな」物はある fact15: 何らかの物は寂しい fact16: 小狡くない物は寂しいかもしくは御持ちに成るかどちらもである fact17: なにかは構造設備でない
fact8 -> hypothesis;
fact8 -> hypothesis;
そのインベーダーゲームはせせら笑いでない
fact23 -> int1: 仮にその斬撃が小狡いということはないとすれば寂しいかまたは御持ちに成るかもしくはどちらもだ; fact21 & fact19 -> int2: この女子大学生は小狡いしその上契約出来る; int2 -> int3: この女子大学生は小狡い; fact20 & int3 -> int4: その斬撃は小狡くない; int1 & int4 -> int5: その斬撃は寂しいかそれは御持ちに成る;
$facts$ = fact1: もし「なにがしかのものは心許なくて寂しい」ということは成り立たないとしたら全官公労でない fact2: もしその斬撃は寂しいとすれば「その偏愛は寂しい」ということは本当である fact3: その偏愛が寂しいしその上それがせせら笑いだとしたらそのインベーダーゲームはせせら笑いだということはない fact4: 「「短縮出来ない」ということは本当である」ものはある fact5: あの再生手続き外は増幅出来ない fact6: 「もしこの教育訓練費用が反映され易くないとするとこの女子大学生は小狡くてそれに契約出来る」ということは成り立つ fact7: 「「予測し易くない」ということは正しい」ものはある fact8: この縫い包みは寂しかない fact9: なにがしかの物は仕事・プロセスである fact10: 「鉢合わせない」ものはある fact11: 仮にこの女子大学生が小狡いならその斬撃は小狡いということはない fact12: この教育訓練費用は反映され易いということはない fact13: 「バークレー・ハウスでない」ものはある fact14: 「クーベルチュールな」物はある fact15: 何らかの物は寂しい fact16: 小狡くない物は寂しいかもしくは御持ちに成るかどちらもである fact17: なにかは構造設備でない ; $hypothesis$ = 寂しかない物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし「なにがしかのものは心許なくて寂しい」ということは成り立たないとしたら全官公労でない
事実2: もしその斬撃は寂しいとすれば「その偏愛は寂しい」ということは本当である
事実3: その偏愛が寂しいしその上それがせせら笑いだとしたらそのインベーダーゲームはせせら笑いだということはない
事実4: 「「短縮出来ない」ということは本当である」ものはある
事実5: あの再生手続き外は増幅出来ない
事実6: 「もしこの教育訓練費用が反映され易くないとするとこの女子大学生は小狡くてそれに契約出来る」ということは成り立つ
事実7: 「「予測し易くない」ということは正しい」ものはある
事実8: この縫い包みは寂しかない
事実9: なにがしかの物は仕事・プロセスである
事実10: 「鉢合わせない」ものはある
事実11: 仮にこの女子大学生が小狡いならその斬撃は小狡いということはない
事実12: この教育訓練費用は反映され易いということはない
事実13: 「バークレー・ハウスでない」ものはある
事実14: 「クーベルチュールな」物はある
事実15: 何らかの物は寂しい
事実16: 小狡くない物は寂しいかもしくは御持ちに成るかどちらもである
事実17: なにかは構造設備でない

仮説: 寂しかない物はある
1. 事実8から、仮説が導かれる

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