この例文はフランス革命論である
fact1: この例文は合い難くて加えてそれは吸い立てる fact2: この計量モデルが止む無くないとするとこの十四年憲章は止む無い fact3: もしとある物は御寄付でないなら食い殺さない fact4: 仮に公課が合い難くないとしたらフランス革命論でない fact5: 仮にこの計量モデルが合い難くないし吸い立てないならこの例文は合い難いということはない fact6: この十四年憲章が旋回しないならばそれはフローラルでないし更に罪深い fact7: 仮に「なにがしかのものは写しであるけれど気絶するということはない」ということは偽であるとするとそれは御寄付だ fact8: 何らかの物は決めでないとすると食い殺すし加えて公課である fact9: その年分以後は御寄付でないしその上それは吸い立てない fact10: この例文がフランス革命論でないとすればこの計量モデルは止む無くないけれど厚ぼったい fact11: この計量モデルは厚ぼったい fact12: 「この十四年憲章は公課だ」ということは本当だ fact13: もし仮にこの計量モデルが止む無くないならこの十四年憲章は合い難くない一方で止む無い fact14: もしも「この例文は調和し難いけれど協働的活動であるということはない」ということは真実でないとしたらそれは決めでない fact15: もしこの例文が合い難いし加えて食い殺すとすればその上瞼はフランス革命論でない fact16: もしその年分以後は食い殺さないとすれば「この十四年憲章が公課だしさらに合い難い」ということは正しい fact17: もしも何かはフローラルだということはないとすると「それは写しであるしさらにそれは気絶しない」ということは偽だ fact18: もしもこの十四年憲章が御寄付であるならばこの計量モデルは合い難くないし更にそれは吸い立てない fact19: 「この例文は調和し難いが協働的活動でない」ということは間違っている
void -> assump1: 以下のように仮定する。この例文はフランス革命論でない; fact10 & assump1 -> int1: この計量モデルは止む無くないがしかし厚ぼったい; int1 -> int2: この計量モデルは止む無くない; int2 & fact13 -> int3: この十四年憲章は合い難いということはないがしかし止む無い; int3 -> int4: この十四年憲章は合い難くない; fact9 -> int5: 「その年分以後は御寄付でない」ということは真実である; fact3 -> int6: 仮に「その年分以後は御寄付でない」ということは成り立つとすれば食い殺すということはない; int5 & int6 -> int7: その年分以後は食い殺すということはない; int7 & fact16 -> int8: この十四年憲章は公課であるしそれに合い難い; int8 -> int9: この十四年憲章は合い難い; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
その上瞼は公課でないけれど移設する
fact20 -> int11: この例文は合い難い;
$facts$ = fact1: この例文は合い難くて加えてそれは吸い立てる fact2: この計量モデルが止む無くないとするとこの十四年憲章は止む無い fact3: もしとある物は御寄付でないなら食い殺さない fact4: 仮に公課が合い難くないとしたらフランス革命論でない fact5: 仮にこの計量モデルが合い難くないし吸い立てないならこの例文は合い難いということはない fact6: この十四年憲章が旋回しないならばそれはフローラルでないし更に罪深い fact7: 仮に「なにがしかのものは写しであるけれど気絶するということはない」ということは偽であるとするとそれは御寄付だ fact8: 何らかの物は決めでないとすると食い殺すし加えて公課である fact9: その年分以後は御寄付でないしその上それは吸い立てない fact10: この例文がフランス革命論でないとすればこの計量モデルは止む無くないけれど厚ぼったい fact11: この計量モデルは厚ぼったい fact12: 「この十四年憲章は公課だ」ということは本当だ fact13: もし仮にこの計量モデルが止む無くないならこの十四年憲章は合い難くない一方で止む無い fact14: もしも「この例文は調和し難いけれど協働的活動であるということはない」ということは真実でないとしたらそれは決めでない fact15: もしこの例文が合い難いし加えて食い殺すとすればその上瞼はフランス革命論でない fact16: もしその年分以後は食い殺さないとすれば「この十四年憲章が公課だしさらに合い難い」ということは正しい fact17: もしも何かはフローラルだということはないとすると「それは写しであるしさらにそれは気絶しない」ということは偽だ fact18: もしもこの十四年憲章が御寄付であるならばこの計量モデルは合い難くないし更にそれは吸い立てない fact19: 「この例文は調和し難いが協働的活動でない」ということは間違っている ; $hypothesis$ = この例文はフランス革命論である ; $proof$ = 
void -> assump1: 以下のように仮定する。この例文はフランス革命論でない; fact10 & assump1 -> int1: この計量モデルは止む無くないがしかし厚ぼったい; int1 -> int2: この計量モデルは止む無くない; int2 & fact13 -> int3: この十四年憲章は合い難いということはないがしかし止む無い; int3 -> int4: この十四年憲章は合い難くない; fact9 -> int5: 「その年分以後は御寄付でない」ということは真実である; fact3 -> int6: 仮に「その年分以後は御寄付でない」ということは成り立つとすれば食い殺すということはない; int5 & int6 -> int7: その年分以後は食い殺すということはない; int7 & fact16 -> int8: この十四年憲章は公課であるしそれに合い難い; int8 -> int9: この十四年憲章は合い難い; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: この例文は合い難くて加えてそれは吸い立てる
事実2: この計量モデルが止む無くないとするとこの十四年憲章は止む無い
事実3: もしとある物は御寄付でないなら食い殺さない
事実4: 仮に公課が合い難くないとしたらフランス革命論でない
事実5: 仮にこの計量モデルが合い難くないし吸い立てないならこの例文は合い難いということはない
事実6: この十四年憲章が旋回しないならばそれはフローラルでないし更に罪深い
事実7: 仮に「なにがしかのものは写しであるけれど気絶するということはない」ということは偽であるとするとそれは御寄付だ
事実8: 何らかの物は決めでないとすると食い殺すし加えて公課である
事実9: その年分以後は御寄付でないしその上それは吸い立てない
事実10: この例文がフランス革命論でないとすればこの計量モデルは止む無くないけれど厚ぼったい
事実11: この計量モデルは厚ぼったい
事実12: 「この十四年憲章は公課だ」ということは本当だ
事実13: もし仮にこの計量モデルが止む無くないならこの十四年憲章は合い難くない一方で止む無い
事実14: もしも「この例文は調和し難いけれど協働的活動であるということはない」ということは真実でないとしたらそれは決めでない
事実15: もしこの例文が合い難いし加えて食い殺すとすればその上瞼はフランス革命論でない
事実16: もしその年分以後は食い殺さないとすれば「この十四年憲章が公課だしさらに合い難い」ということは正しい
事実17: もしも何かはフローラルだということはないとすると「それは写しであるしさらにそれは気絶しない」ということは偽だ
事実18: もしもこの十四年憲章が御寄付であるならばこの計量モデルは合い難くないし更にそれは吸い立てない
事実19: 「この例文は調和し難いが協働的活動でない」ということは間違っている

仮説: この例文はフランス革命論である
1. 仮定1: 以下のように仮定する。この例文はフランス革命論でない
2. 事実10と仮定1から、推論1: "この計量モデルは止む無くないがしかし厚ぼったい"が導かれる
3. 推論1から、推論2: "この計量モデルは止む無くない"が導かれる
4. 推論2と事実13から、推論3: "この十四年憲章は合い難いということはないがしかし止む無い"が導かれる
5. 推論3から、推論4: "この十四年憲章は合い難くない"が導かれる
6. 事実9から、推論5: "「その年分以後は御寄付でない」ということは真実である"が導かれる
7. 事実3から、推論6: "仮に「その年分以後は御寄付でない」ということは成り立つとすれば食い殺すということはない"が導かれる
8. 推論5と推論6から、推論7: "その年分以後は食い殺すということはない"が導かれる
9. 推論7と事実16から、推論8: "この十四年憲章は公課であるしそれに合い難い"が導かれる
10. 推論8から、推論9: "この十四年憲章は合い難い"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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