「挑み続けるしその上グループ化する」ものはある
fact1: あのロフトベッドは挑み続ける fact2: なにがしかのものは移送する fact3: 何らかのものは吹けるし加えて潜水する fact4: 仮に何らかのものが輸入するということはないなら生まれないかあるいは丸くない fact5: 大差無くないものは言い当てるし応援席である fact6: 「切り易い」物はある fact7: あの院生は言い当てれば「その短文は再構築しない一方で理想論だ」ということは確かであるということはない fact8: もし「生まれないかまたは丸くないかもしくはどちらもである」ものがあるとすればその人工肛門は生まれない fact9: もしも「何らかのものは再構築するということはない一方で理想論だ」ということは間違っているとすると再構築する fact10: あの老樹は挑み続ける fact11: もし仮にあの院生は与し易いけど合い難くないとするとそれは大差無くない fact12: 「すぐるしさらに繰り上げる」ものはある fact13: なにがしかのものはカルチノイドでおまけに灰色っぽい fact14: もしなんらかのものが生まれないならそれは本次であるかそれは弱化するかまたはどちらもだ fact15: あのロフトベッドはグループ化する fact16: 「「リーグ戦である」ということは真実な」物はある fact17: この援兵はグループ化する fact18: 仮にその人工肛門が本次ならばあのロフトベッドは弱化しない fact19: あの島式ホームはグループ化する fact20: あの院生は与し易いがしかしそれは合い難くない fact21: もし「なにがしかの物は自然剥離するけれど餓鬼っぽくない」ということは間違っているとすればそれは輸入しない fact22: 仮に何らかのものは再構築すれば「それは自然剥離するしそれに餓鬼っぽくない」ということは成り立たない fact23: あのロフトベッドが弱化しないとすればその新規プロジェクトダイアログは挑み続けるし更にそれはグループ化する
fact1 & fact15 -> int1: あのロフトベッドは挑み続けるしグループ化する; int1 -> hypothesis;
fact1 & fact15 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
「その新規プロジェクトダイアログはグループ化する」ということは真実だ
fact35 -> int2: もし仮にその人工肛門が生まれないとしたらそれは本次であるかそれは弱化する; fact25 -> int3: もしその短文が輸入するということはないならばそれは生まれないかもしくは丸くない; fact29 -> int4: 「その短文は自然剥離する一方で餓鬼っぽくない」ということは間違っているなら輸入しない; fact32 -> int5: もしも「その短文は再構築する」ということは確かであるとすると「それは自然剥離するしそれは餓鬼っぽくない」ということは間違いである; fact24 -> int6: もし「その短文は再構築しないけどそれは理想論だ」ということは誤りだとすれば再構築する; fact26 -> int7: あの院生が大差無くないならば言い当てるしまた応援席だ; fact27 & fact33 -> int8: あの院生は大差無くない; int7 & int8 -> int9: あの院生は言い当てるし応援席である; int9 -> int10: あの院生は言い当てる; fact30 & int10 -> int11: 「その短文は再構築するということはないけどそれは理想論である」ということは誤りである; int6 & int11 -> int12: 「その短文は再構築する」ということは正しい; int5 & int12 -> int13: 「「その短文は自然剥離する一方で餓鬼っぽくない」ということは成り立たない」ということは確かである; int4 & int13 -> int14: その短文は輸入しない; int3 & int14 -> int15: その短文は生まれないか丸くないかあるいはどちらもである; int15 -> int16: 「生まれるということはないかもしくは丸くないかどちらもである」ものはある; int16 & fact31 -> int17: その人工肛門は生まれない; int2 & int17 -> int18: その人工肛門は本次であるか弱化する;
$facts$ = fact1: あのロフトベッドは挑み続ける fact2: なにがしかのものは移送する fact3: 何らかのものは吹けるし加えて潜水する fact4: 仮に何らかのものが輸入するということはないなら生まれないかあるいは丸くない fact5: 大差無くないものは言い当てるし応援席である fact6: 「切り易い」物はある fact7: あの院生は言い当てれば「その短文は再構築しない一方で理想論だ」ということは確かであるということはない fact8: もし「生まれないかまたは丸くないかもしくはどちらもである」ものがあるとすればその人工肛門は生まれない fact9: もしも「何らかのものは再構築するということはない一方で理想論だ」ということは間違っているとすると再構築する fact10: あの老樹は挑み続ける fact11: もし仮にあの院生は与し易いけど合い難くないとするとそれは大差無くない fact12: 「すぐるしさらに繰り上げる」ものはある fact13: なにがしかのものはカルチノイドでおまけに灰色っぽい fact14: もしなんらかのものが生まれないならそれは本次であるかそれは弱化するかまたはどちらもだ fact15: あのロフトベッドはグループ化する fact16: 「「リーグ戦である」ということは真実な」物はある fact17: この援兵はグループ化する fact18: 仮にその人工肛門が本次ならばあのロフトベッドは弱化しない fact19: あの島式ホームはグループ化する fact20: あの院生は与し易いがしかしそれは合い難くない fact21: もし「なにがしかの物は自然剥離するけれど餓鬼っぽくない」ということは間違っているとすればそれは輸入しない fact22: 仮に何らかのものは再構築すれば「それは自然剥離するしそれに餓鬼っぽくない」ということは成り立たない fact23: あのロフトベッドが弱化しないとすればその新規プロジェクトダイアログは挑み続けるし更にそれはグループ化する ; $hypothesis$ = 「挑み続けるしその上グループ化する」ものはある ; $proof$ = 
fact1 & fact15 -> int1: あのロフトベッドは挑み続けるしグループ化する; int1 -> hypothesis; __PROVED__
事実1: あのロフトベッドは挑み続ける
事実2: なにがしかのものは移送する
事実3: 何らかのものは吹けるし加えて潜水する
事実4: 仮に何らかのものが輸入するということはないなら生まれないかあるいは丸くない
事実5: 大差無くないものは言い当てるし応援席である
事実6: 「切り易い」物はある
事実7: あの院生は言い当てれば「その短文は再構築しない一方で理想論だ」ということは確かであるということはない
事実8: もし「生まれないかまたは丸くないかもしくはどちらもである」ものがあるとすればその人工肛門は生まれない
事実9: もしも「何らかのものは再構築するということはない一方で理想論だ」ということは間違っているとすると再構築する
事実10: あの老樹は挑み続ける
事実11: もし仮にあの院生は与し易いけど合い難くないとするとそれは大差無くない
事実12: 「すぐるしさらに繰り上げる」ものはある
事実13: なにがしかのものはカルチノイドでおまけに灰色っぽい
事実14: もしなんらかのものが生まれないならそれは本次であるかそれは弱化するかまたはどちらもだ
事実15: あのロフトベッドはグループ化する
事実16: 「「リーグ戦である」ということは真実な」物はある
事実17: この援兵はグループ化する
事実18: 仮にその人工肛門が本次ならばあのロフトベッドは弱化しない
事実19: あの島式ホームはグループ化する
事実20: あの院生は与し易いがしかしそれは合い難くない
事実21: もし「なにがしかの物は自然剥離するけれど餓鬼っぽくない」ということは間違っているとすればそれは輸入しない
事実22: 仮に何らかのものは再構築すれば「それは自然剥離するしそれに餓鬼っぽくない」ということは成り立たない
事実23: あのロフトベッドが弱化しないとすればその新規プロジェクトダイアログは挑み続けるし更にそれはグループ化する

仮説: 「挑み続けるしその上グループ化する」ものはある
1. 事実1と事実15から、推論1: "あのロフトベッドは挑み続けるしグループ化する"が導かれる
2. 推論1から、仮説が導かれる

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