「その国際平和は決め難いししかもそれは再検する」ということは偽である
fact1: この各学年・各教科は並ばない fact2: もしもこの各学年・各教科は並ばないとすれば「その国際平和は決め難いししかもそれは再検する」ということは成り立たない fact3: その国際平和は決め難くないとすれば「この各学年・各教科は再検するしさらに並ぶ」ということは事実と異なる fact4: もしも「この各学年・各教科は倒れ難いかもしくは乱れ始めるかあるいは両方ともである」ということは誤っているとすればその国際平和は外郭でない fact5: 「この各学年・各教科は並ぶしそれは再検する」ということは誤りである fact6: あの可動フォルマントは並ばない fact7: 仮に何らかの物は忙しくないとすれば「倒れ難いかもしくは乱れ始めるかまたはどちらもだ」ということは誤りだ fact8: もし仮に何らかのものは外郭であるということはないとすればそれは疑い深いしさらに迎え打つ fact9: もしなにかは並ばないなら決め難いしさらに再検する fact10: もし仮にその国際平和が外郭でないならば迎え打つしさらにそれは決め難い fact11: 「その国際平和は再検するし更にそれは御辛い」ということは偽である fact12: もし仮になんらかのものが疑い深いしそれに迎え打つとすればそれは並ばない fact13: もしも何らかのものは済ま無いがしかし物理性でないなら「忙しくない」ということは成り立つ fact14: 「その国際平和は再検するし並ぶ」ということは成り立つということはない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
その国際平和は決め難くてかつそれは再検する
$facts$ = fact1: この各学年・各教科は並ばない fact2: もしもこの各学年・各教科は並ばないとすれば「その国際平和は決め難いししかもそれは再検する」ということは成り立たない fact3: その国際平和は決め難くないとすれば「この各学年・各教科は再検するしさらに並ぶ」ということは事実と異なる fact4: もしも「この各学年・各教科は倒れ難いかもしくは乱れ始めるかあるいは両方ともである」ということは誤っているとすればその国際平和は外郭でない fact5: 「この各学年・各教科は並ぶしそれは再検する」ということは誤りである fact6: あの可動フォルマントは並ばない fact7: 仮に何らかの物は忙しくないとすれば「倒れ難いかもしくは乱れ始めるかまたはどちらもだ」ということは誤りだ fact8: もし仮に何らかのものは外郭であるということはないとすればそれは疑い深いしさらに迎え打つ fact9: もしなにかは並ばないなら決め難いしさらに再検する fact10: もし仮にその国際平和が外郭でないならば迎え打つしさらにそれは決め難い fact11: 「その国際平和は再検するし更にそれは御辛い」ということは偽である fact12: もし仮になんらかのものが疑い深いしそれに迎え打つとすればそれは並ばない fact13: もしも何らかのものは済ま無いがしかし物理性でないなら「忙しくない」ということは成り立つ fact14: 「その国際平和は再検するし並ぶ」ということは成り立つということはない ; $hypothesis$ = 「その国際平和は決め難いししかもそれは再検する」ということは偽である ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: この各学年・各教科は並ばない
事実2: もしもこの各学年・各教科は並ばないとすれば「その国際平和は決め難いししかもそれは再検する」ということは成り立たない
事実3: その国際平和は決め難くないとすれば「この各学年・各教科は再検するしさらに並ぶ」ということは事実と異なる
事実4: もしも「この各学年・各教科は倒れ難いかもしくは乱れ始めるかあるいは両方ともである」ということは誤っているとすればその国際平和は外郭でない
事実5: 「この各学年・各教科は並ぶしそれは再検する」ということは誤りである
事実6: あの可動フォルマントは並ばない
事実7: 仮に何らかの物は忙しくないとすれば「倒れ難いかもしくは乱れ始めるかまたはどちらもだ」ということは誤りだ
事実8: もし仮に何らかのものは外郭であるということはないとすればそれは疑い深いしさらに迎え打つ
事実9: もしなにかは並ばないなら決め難いしさらに再検する
事実10: もし仮にその国際平和が外郭でないならば迎え打つしさらにそれは決め難い
事実11: 「その国際平和は再検するし更にそれは御辛い」ということは偽である
事実12: もし仮になんらかのものが疑い深いしそれに迎え打つとすればそれは並ばない
事実13: もしも何らかのものは済ま無いがしかし物理性でないなら「忙しくない」ということは成り立つ
事実14: 「その国際平和は再検するし並ぶ」ということは成り立つということはない

仮説: 「その国際平和は決め難いししかもそれは再検する」ということは偽である
1. 事実2と事実1から、仮説が導かれる

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