あの病気休暇・復職は面映ゆい
fact1: もし「なにかは吸うし沈殿する」ということは真実だとすれば加わらない fact2: あの病気休暇・復職はバックボーンであるけれど改編しない fact3: 仮にその虫齧がバックボーンであるとするとあの病気休暇・復職は面映ゆかない fact4: バックボーンはいびりだ fact5: もし仮に「その構成素は参議院本会議でないけれど対置だ」ということは成り立つということはないとするとそれは吸う fact6: もしあの病気休暇・復職がいびりなら著増する fact7: あの病気休暇・復職は改編しない fact8: 何らかの物は具であるということはないなら「いびりであるということはないしその上改編する」ということは誤っている fact9: もし仮になんらかのものが宿営しないとするとそれは具だということはない fact10: もし仮にその短パンが面映ゆいとするとそれは二十五Ａだ fact11: 仮に「この笑い顔はいびりでない一方で改編する」ということは偽ならその虫齧はバックボーンだ fact12: 仮にあの病気休暇・復職が改編するとすれば神社合祀令である fact13: 「その構成素は沈殿する」ということは成り立つ fact14: もしも「この笑い顔は東映太秦映画村でまたそれは宿営する」ということは間違っていれば「宿営しない」ということは正しい fact15: 「その構成素は参議院本会議でないけどそれは対置である」ということは間違っている fact16: もし仮に何かはいびりであるならばそれは面映ゆい fact17: 「もしなにがしかの物は加わらないとしたら「その鉱夫達は学友でない」ということは事実だ」ということは成り立つ
fact2 -> int1: あの病気休暇・復職はバックボーンである; fact4 -> int2: もし仮にあの病気休暇・復職はバックボーンだとすれば「いびりだ」ということは事実である; int1 & int2 -> int3: あの病気休暇・復職はいびりだ; fact16 -> int4: 「あの病気休暇・復職はいびりだ」ということは間違いでないとしたらそれは面映ゆい; int3 & int4 -> hypothesis;
あの病気休暇・復職は面映ゆかない
fact24 -> int5: もし仮にこの笑い顔は具であるということはないならば「それはいびりでないししかも改編する」ということは誤りだ; fact25 -> int6: この笑い顔が宿営するということはないとすると具でない; fact18 -> int7: もしもその構成素は吸うし沈殿するとするとそれは加わるということはない; fact26 & fact20 -> int8: その構成素は吸う; int8 & fact27 -> int9: その構成素は吸うしまた沈殿する; int7 & int9 -> int10: その構成素は加わるということはない; int10 -> int11: 「「加わらない」ということは成り立つ」ものはある; int11 & fact23 -> int12: その鉱夫達は学友でない; int12 -> int13: なにかは学友でない;
$facts$ = fact1: もし「なにかは吸うし沈殿する」ということは真実だとすれば加わらない fact2: あの病気休暇・復職はバックボーンであるけれど改編しない fact3: 仮にその虫齧がバックボーンであるとするとあの病気休暇・復職は面映ゆかない fact4: バックボーンはいびりだ fact5: もし仮に「その構成素は参議院本会議でないけれど対置だ」ということは成り立つということはないとするとそれは吸う fact6: もしあの病気休暇・復職がいびりなら著増する fact7: あの病気休暇・復職は改編しない fact8: 何らかの物は具であるということはないなら「いびりであるということはないしその上改編する」ということは誤っている fact9: もし仮になんらかのものが宿営しないとするとそれは具だということはない fact10: もし仮にその短パンが面映ゆいとするとそれは二十五Ａだ fact11: 仮に「この笑い顔はいびりでない一方で改編する」ということは偽ならその虫齧はバックボーンだ fact12: 仮にあの病気休暇・復職が改編するとすれば神社合祀令である fact13: 「その構成素は沈殿する」ということは成り立つ fact14: もしも「この笑い顔は東映太秦映画村でまたそれは宿営する」ということは間違っていれば「宿営しない」ということは正しい fact15: 「その構成素は参議院本会議でないけどそれは対置である」ということは間違っている fact16: もし仮に何かはいびりであるならばそれは面映ゆい fact17: 「もしなにがしかの物は加わらないとしたら「その鉱夫達は学友でない」ということは事実だ」ということは成り立つ ; $hypothesis$ = あの病気休暇・復職は面映ゆい ; $proof$ = 
fact2 -> int1: あの病気休暇・復職はバックボーンである; fact4 -> int2: もし仮にあの病気休暇・復職はバックボーンだとすれば「いびりだ」ということは事実である; int1 & int2 -> int3: あの病気休暇・復職はいびりだ; fact16 -> int4: 「あの病気休暇・復職はいびりだ」ということは間違いでないとしたらそれは面映ゆい; int3 & int4 -> hypothesis; __PROVED__
事実1: もし「なにかは吸うし沈殿する」ということは真実だとすれば加わらない
事実2: あの病気休暇・復職はバックボーンであるけれど改編しない
事実3: 仮にその虫齧がバックボーンであるとするとあの病気休暇・復職は面映ゆかない
事実4: バックボーンはいびりだ
事実5: もし仮に「その構成素は参議院本会議でないけれど対置だ」ということは成り立つということはないとするとそれは吸う
事実6: もしあの病気休暇・復職がいびりなら著増する
事実7: あの病気休暇・復職は改編しない
事実8: 何らかの物は具であるということはないなら「いびりであるということはないしその上改編する」ということは誤っている
事実9: もし仮になんらかのものが宿営しないとするとそれは具だということはない
事実10: もし仮にその短パンが面映ゆいとするとそれは二十五Ａだ
事実11: 仮に「この笑い顔はいびりでない一方で改編する」ということは偽ならその虫齧はバックボーンだ
事実12: 仮にあの病気休暇・復職が改編するとすれば神社合祀令である
事実13: 「その構成素は沈殿する」ということは成り立つ
事実14: もしも「この笑い顔は東映太秦映画村でまたそれは宿営する」ということは間違っていれば「宿営しない」ということは正しい
事実15: 「その構成素は参議院本会議でないけどそれは対置である」ということは間違っている
事実16: もし仮に何かはいびりであるならばそれは面映ゆい
事実17: 「もしなにがしかの物は加わらないとしたら「その鉱夫達は学友でない」ということは事実だ」ということは成り立つ

仮説: あの病気休暇・復職は面映ゆい
1. 事実2から、推論1: "あの病気休暇・復職はバックボーンである"が導かれる
2. 事実4から、推論2: "もし仮にあの病気休暇・復職はバックボーンだとすれば「いびりだ」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "あの病気休暇・復職はいびりだ"が導かれる
4. 事実16から、推論4: "「あの病気休暇・復職はいびりだ」ということは間違いでないとしたらそれは面映ゆい"が導かれる
5. 推論3と推論4から、仮説が導かれる

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