「この通俗化は注文品でない」ということは正しい
fact1: 「その核医学は貸し借りするしその上選択する」ということは真実でない fact2: もし仮に「あの漢字変換は注文品でない」ということは正しいとすると「この通俗化は選択するしそれは貸し借りする」ということは偽である fact3: もし仮に「その核医学は選択する」ということは確かだとすればこの通俗化は注文品でない fact4: もし「この通俗化は選択するし更に貸し借りする」ということは真実でないとしたらその核医学は選択しない fact5: 仮にこの通俗化は百姓らしくないとすると「あの徴兵制度は注文品だが百姓らしくない」ということは偽だ fact6: 仮に何らかのものは満了しないがビテロジェニンであるなら注文品であるということはない fact7: もし仮になんらかのものは実質内でないとすれば「明記するけれどホビットでない」ということは成り立たない fact8: もし「なにかはビテロジェニンでなくて満了しない」ということは誤りであるとするとそれは貸し借りしない fact9: もし仮になにかは貸し借りしないとすれば「選択しないが明記する」ということは誤りだ fact10: 「あの徴兵制度は実質内である」ということは正しい fact11: 百姓らしい物は選択しない fact12: 「あの徴兵制度は百姓らしいけれど選択しない」ということは偽であるとすればその核医学は明記しない fact13: もし「その核医学は実質内でないしかつそれは百姓らしくない」ということは誤っているとするとあの徴兵制度は実質内だ fact14: 「あの徴兵制度は注文品で明記する」ということは事実と異なる fact15: 仮に「その核医学は貸し借りするけれど選択しない」ということは成り立たないとしたらこの通俗化は注文品でない fact16: もし仮にあの徴兵制度は選択しないならば「その核医学は貸し借りするしさらに選択する」ということは成り立たない fact17: 仮に何かは明記しないとすれば「それは実質内でなくて更に百姓らしくない」ということは嘘である fact18: もしもあの徴兵制度が実質内だとするとその井筒は実質内でない fact19: 「あの漢字変換はビテロジェニンであるということはないしそれに満了するということはない」ということは成り立たない fact20: もしあの徴兵制度が選択するとしたらその核医学は実質内でない fact21: あの徴兵制度は実質内だし加えて明記する fact22: もしとあるものは明記するなら「それは百姓らしい」ということは真実である fact23: もしもこの通俗化が実質内ならあの徴兵制度は注文品でない fact24: あの徴兵制度は選択しないとすると「その核医学は貸し借りするけれど選択しない」ということは成り立たない fact25: もしも「この通俗化は実質内である」ということは成り立てばそれは注文品である
fact21 -> int1: あの徴兵制度は明記する; fact22 -> int2: もしもあの徴兵制度が明記するとすれば百姓らしい; int1 & int2 -> int3: あの徴兵制度は百姓らしい; fact11 -> int4: もしもあの徴兵制度が百姓らしいとしたらそれは選択しない; int3 & int4 -> int5: あの徴兵制度は選択しない; int5 & fact24 -> int6: 「その核医学は貸し借りするがしかし選択するということはない」ということは間違いだ; int6 & fact15 -> hypothesis;
「その井筒は明記するけれどホビットでない」ということは誤りだ
fact28 -> int7: 仮にその井筒は実質内でないならば「それは明記するし加えてそれはホビットでない」ということは成り立たない; fact30 -> int8: もしもあの漢字変換が満了しないけどそれがビテロジェニンだとすれば注文品でない;
$facts$ = fact1: 「その核医学は貸し借りするしその上選択する」ということは真実でない fact2: もし仮に「あの漢字変換は注文品でない」ということは正しいとすると「この通俗化は選択するしそれは貸し借りする」ということは偽である fact3: もし仮に「その核医学は選択する」ということは確かだとすればこの通俗化は注文品でない fact4: もし「この通俗化は選択するし更に貸し借りする」ということは真実でないとしたらその核医学は選択しない fact5: 仮にこの通俗化は百姓らしくないとすると「あの徴兵制度は注文品だが百姓らしくない」ということは偽だ fact6: 仮に何らかのものは満了しないがビテロジェニンであるなら注文品であるということはない fact7: もし仮になんらかのものは実質内でないとすれば「明記するけれどホビットでない」ということは成り立たない fact8: もし「なにかはビテロジェニンでなくて満了しない」ということは誤りであるとするとそれは貸し借りしない fact9: もし仮になにかは貸し借りしないとすれば「選択しないが明記する」ということは誤りだ fact10: 「あの徴兵制度は実質内である」ということは正しい fact11: 百姓らしい物は選択しない fact12: 「あの徴兵制度は百姓らしいけれど選択しない」ということは偽であるとすればその核医学は明記しない fact13: もし「その核医学は実質内でないしかつそれは百姓らしくない」ということは誤っているとするとあの徴兵制度は実質内だ fact14: 「あの徴兵制度は注文品で明記する」ということは事実と異なる fact15: 仮に「その核医学は貸し借りするけれど選択しない」ということは成り立たないとしたらこの通俗化は注文品でない fact16: もし仮にあの徴兵制度は選択しないならば「その核医学は貸し借りするしさらに選択する」ということは成り立たない fact17: 仮に何かは明記しないとすれば「それは実質内でなくて更に百姓らしくない」ということは嘘である fact18: もしもあの徴兵制度が実質内だとするとその井筒は実質内でない fact19: 「あの漢字変換はビテロジェニンであるということはないしそれに満了するということはない」ということは成り立たない fact20: もしあの徴兵制度が選択するとしたらその核医学は実質内でない fact21: あの徴兵制度は実質内だし加えて明記する fact22: もしとあるものは明記するなら「それは百姓らしい」ということは真実である fact23: もしもこの通俗化が実質内ならあの徴兵制度は注文品でない fact24: あの徴兵制度は選択しないとすると「その核医学は貸し借りするけれど選択しない」ということは成り立たない fact25: もしも「この通俗化は実質内である」ということは成り立てばそれは注文品である ; $hypothesis$ = 「この通俗化は注文品でない」ということは正しい ; $proof$ = 
fact21 -> int1: あの徴兵制度は明記する; fact22 -> int2: もしもあの徴兵制度が明記するとすれば百姓らしい; int1 & int2 -> int3: あの徴兵制度は百姓らしい; fact11 -> int4: もしもあの徴兵制度が百姓らしいとしたらそれは選択しない; int3 & int4 -> int5: あの徴兵制度は選択しない; int5 & fact24 -> int6: 「その核医学は貸し借りするがしかし選択するということはない」ということは間違いだ; int6 & fact15 -> 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: もしもこの通俗化が実質内ならあの徴兵制度は注文品でない
事実24: あの徴兵制度は選択しないとすると「その核医学は貸し借りするけれど選択しない」ということは成り立たない
事実25: もしも「この通俗化は実質内である」ということは成り立てばそれは注文品である

仮説: 「この通俗化は注文品でない」ということは正しい
1. 事実21から、推論1: "あの徴兵制度は明記する"が導かれる
2. 事実22から、推論2: "もしもあの徴兵制度が明記するとすれば百姓らしい"が導かれる
3. 推論1と推論2から、推論3: "あの徴兵制度は百姓らしい"が導かれる
4. 事実11から、推論4: "もしもあの徴兵制度が百姓らしいとしたらそれは選択しない"が導かれる
5. 推論3と推論4から、推論5: "あの徴兵制度は選択しない"が導かれる
6. 推論5と事実24から、推論6: "「その核医学は貸し借りするがしかし選択するということはない」ということは間違いだ"が導かれる
7. 推論6と事実15から、仮説が導かれる

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