この非漢字圏は立て易くない
fact1: もしも「この非漢字圏は膨れ上がるしさらに内規だ」ということは成り立たないならばあの二千一年度は立て易くない fact2: あの揚げ立ては明るくないとすれば「あの教員達は志さないけれどそれは断定する」ということは成り立たない fact3: もし仮にこの秦・漢時代が内規でないならこの鴻臚寺は内規でない fact4: あの一騎当千は野暮ったくない fact5: 仮にあの教員達が内規であるかもしくはＲＮＡ結合蛋白質でないかまたはどちらもであるならこの秦・漢時代は内規でない fact6: もし「そのＯＳは膨れ上がらないが立て易い」ということは嘘だとすればこの非漢字圏は立て易い fact7: もしその丈余が感心出来ないとすればあの揚げ立ては暮らす一方で明るくない fact8: もしこの鴻臚寺は内規でないなら「そのＯＳは膨れ上がらない一方で立て易い」ということは成り立たない fact9: 仮になにがしかの物は断定しないとすると「それは軽視出来るしおまけに内規でない」ということは成り立たない fact10: 「なにがしかのものは志さないが断定する」ということは誤りだとするとそれは断定しない fact11: 「なんらかのものは軽視出来るが内規でない」ということは成り立つということはないとするとそれは内規である fact12: この非漢字圏は内規でない fact13: もしこの非漢字圏は内規でないならば「貧しくないしＭＡＳＴである」ということは成り立たない fact14: 「仮に「ある物は貧しくないがしかしそれはＭＡＳＴである」ということは成り立たないならば立て易いということはない」ということは確かだ
fact13 & fact12 -> int1: 「この非漢字圏は貧しくないけれどそれはＭＡＳＴである」ということは事実と異なる; fact14 -> int2: もし「この非漢字圏は貧しくないけれどＭＡＳＴだ」ということは正しくないとすると「立て易くない」ということは真実だ; int1 & int2 -> hypothesis;
「この非漢字圏は立て易い」ということは確かである
fact19 -> int3: もしも「あの教員達は軽視出来るが内規でない」ということは誤りだとすると内規である; fact21 -> int4: あの教員達は断定しないなら「それは軽視出来るしそれは内規でない」ということは真実でない; fact17 -> int5: もし「あの教員達は志さない一方でそれは断定する」ということは間違いであるとすれば断定しない; fact20 -> int6: 「野暮ったいということはない」ものはある;
$facts$ = fact1: もしも「この非漢字圏は膨れ上がるしさらに内規だ」ということは成り立たないならばあの二千一年度は立て易くない fact2: あの揚げ立ては明るくないとすれば「あの教員達は志さないけれどそれは断定する」ということは成り立たない fact3: もし仮にこの秦・漢時代が内規でないならこの鴻臚寺は内規でない fact4: あの一騎当千は野暮ったくない fact5: 仮にあの教員達が内規であるかもしくはＲＮＡ結合蛋白質でないかまたはどちらもであるならこの秦・漢時代は内規でない fact6: もし「そのＯＳは膨れ上がらないが立て易い」ということは嘘だとすればこの非漢字圏は立て易い fact7: もしその丈余が感心出来ないとすればあの揚げ立ては暮らす一方で明るくない fact8: もしこの鴻臚寺は内規でないなら「そのＯＳは膨れ上がらない一方で立て易い」ということは成り立たない fact9: 仮になにがしかの物は断定しないとすると「それは軽視出来るしおまけに内規でない」ということは成り立たない fact10: 「なにがしかのものは志さないが断定する」ということは誤りだとするとそれは断定しない fact11: 「なんらかのものは軽視出来るが内規でない」ということは成り立つということはないとするとそれは内規である fact12: この非漢字圏は内規でない fact13: もしこの非漢字圏は内規でないならば「貧しくないしＭＡＳＴである」ということは成り立たない fact14: 「仮に「ある物は貧しくないがしかしそれはＭＡＳＴである」ということは成り立たないならば立て易いということはない」ということは確かだ ; $hypothesis$ = この非漢字圏は立て易くない ; $proof$ = 
fact13 & fact12 -> int1: 「この非漢字圏は貧しくないけれどそれはＭＡＳＴである」ということは事実と異なる; fact14 -> int2: もし「この非漢字圏は貧しくないけれどＭＡＳＴだ」ということは正しくないとすると「立て易くない」ということは真実だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「この非漢字圏は膨れ上がるしさらに内規だ」ということは成り立たないならばあの二千一年度は立て易くない
事実2: あの揚げ立ては明るくないとすれば「あの教員達は志さないけれどそれは断定する」ということは成り立たない
事実3: もし仮にこの秦・漢時代が内規でないならこの鴻臚寺は内規でない
事実4: あの一騎当千は野暮ったくない
事実5: 仮にあの教員達が内規であるかもしくはＲＮＡ結合蛋白質でないかまたはどちらもであるならこの秦・漢時代は内規でない
事実6: もし「そのＯＳは膨れ上がらないが立て易い」ということは嘘だとすればこの非漢字圏は立て易い
事実7: もしその丈余が感心出来ないとすればあの揚げ立ては暮らす一方で明るくない
事実8: もしこの鴻臚寺は内規でないなら「そのＯＳは膨れ上がらない一方で立て易い」ということは成り立たない
事実9: 仮になにがしかの物は断定しないとすると「それは軽視出来るしおまけに内規でない」ということは成り立たない
事実10: 「なにがしかのものは志さないが断定する」ということは誤りだとするとそれは断定しない
事実11: 「なんらかのものは軽視出来るが内規でない」ということは成り立つということはないとするとそれは内規である
事実12: この非漢字圏は内規でない
事実13: もしこの非漢字圏は内規でないならば「貧しくないしＭＡＳＴである」ということは成り立たない
事実14: 「仮に「ある物は貧しくないがしかしそれはＭＡＳＴである」ということは成り立たないならば立て易いということはない」ということは確かだ

仮説: この非漢字圏は立て易くない
1. 事実13と事実12から、推論1: "「この非漢字圏は貧しくないけれどそれはＭＡＳＴである」ということは事実と異なる"が導かれる
2. 事実14から、推論2: "もし「この非漢字圏は貧しくないけれどＭＡＳＴだ」ということは正しくないとすると「立て易くない」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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