「その霜月は使い辛い」ということは成り立つ
fact1: もしもとある物が後ずさらないならば使い辛くない fact2: この家族政策は変成岩である fact3: 仮にこの家族政策が変成岩ならばあの直下は変成岩だ fact4: その霜月は後ずさる fact5: 「なんらかのものは面白おかしいかそれはあなじだ」ということは誤りであるならそれは荷重下でない fact6: もしその霜月は後ずされば「振り洗いするしそれに出し易くない」ということは成り立つ fact7: もしその発達論が湖城建設でないし何気無いということはないとすればあの年中は湖城建設でない fact8: もし仮にその霜月が振り洗いするしさらに出し易いとすればそれは使い辛い fact9: もしその霜月が後ずさるとするとそれは出し易いということはない fact10: あのイタリア・オペラは使い辛い一方で急性期入院医療でない fact11: 何かは湖城建設でないならば「それは面白おかしいかまたはあなじであるかもしくは両方ともだ」ということは確かでない fact12: もし仮に「この外的自決権は染色性で市屋である」ということは誤っているなら「この年中は後ずさらない」ということは本当だ fact13: もしもとあるものが振り洗いするが後ずさるということはないとするとそれは出し易い fact14: もし仮にとあるものが振り洗いするけどそれは出し易くないなら「それは使い辛い」ということは誤っていない fact15: その霜月はあどけない一方で心置き無くない fact16: 仮にこの年中が荷重下でないしその上それが使い辛くないとすればその霜月は使い辛くない fact17: その霜月は出し易くない fact18: 進め易いものは湖城建設でなくて更に何気無いということはない fact19: もしも「「折半しないしまた進め易くない」ということは嘘である」ものはあるなら「その発達論は進め易い」ということは嘘だということはない fact20: もし仮にあの直下は変成岩であるとしたら「「その遺著は折半しなくてかつ進め易くない」ということは成り立たない」ということは事実だ fact21: 「市屋でない」ものはある fact22: 仮にその霜月が嫁すけど蹲踞するということはないとすれば「出し易い」ということは成り立つ fact23: もしもなんらかの物は振り洗いするしまた出し易いとすると使い辛い
fact6 & fact4 -> int1: その霜月は振り洗いする一方で出し易くない; fact14 -> int2: もし「その霜月は振り洗いする一方でそれは出し易くない」ということは成り立つとしたらそれは使い辛い; int1 & int2 -> hypothesis;
fact6 & fact4 -> int1: ({AA}{a} & ¬{AB}{a}); fact14 -> int2: ({AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
その霜月は使い辛くない
fact33 -> int3: もし「この年中は面白おかしいかもしくはあなじである」ということは誤っているとするとそれは荷重下でない; fact26 -> int4: もし仮にこの年中は湖城建設でないなら「それは面白おかしいかあるいはあなじであるかあるいはどちらもである」ということは真実でない; fact32 -> int5: 「もしも「その発達論は進め易い」ということは成り立つならその発達論は湖城建設でなくて何気無くない」ということは成り立つ; fact25 & fact35 -> int6: あの直下は変成岩だ; fact27 & int6 -> int7: 「その遺著は折半しなくてかつそれは進め易くない」ということは成り立たない; int7 -> int8: 「「折半するということはないしおまけに進め易くない」ということは誤りである」ものはある; int8 & fact31 -> int9: その発達論は進め易い; int5 & int9 -> int10: その発達論は湖城建設でなくてまた何気無くない; fact29 & int10 -> int11: この年中は湖城建設でない; int4 & int11 -> int12: 「この年中は面白おかしいかまたはあなじであるかまたは両方である」ということは正しいということはない; int3 & int12 -> int13: この年中は荷重下だということはない; fact24 -> int14: もしこの年中が後ずさらないとするとそれは使い辛くない;
$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$ = 
fact6 & fact4 -> int1: その霜月は振り洗いする一方で出し易くない; fact14 -> int2: もし「その霜月は振り洗いする一方でそれは出し易くない」ということは成り立つとしたらそれは使い辛い; int1 & int2 -> 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. 事実6と事実4から、推論1: "その霜月は振り洗いする一方で出し易くない"が導かれる
2. 事実14から、推論2: "もし「その霜月は振り洗いする一方でそれは出し易くない」ということは成り立つとしたらそれは使い辛い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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