「あの各期間はプラス思考でないしそれに上積みしない」ということは成り立たない
fact1: もしもあるものが言い訳はましくらないとしたら「万歳しないしかつ忍び難くない」ということは成り立たない fact2: あの各期間は言い訳がましい fact3: とある物は集わないか少なしかもしくは両方ともだとすれば「言い訳はましくらない」ということは事実である fact4: あの各期間が単刀だとしたら学習要求であるがしかし集うということはない fact5: 仮にあの各期間は言い訳がましいならば「それはプラス思考でなくて上積みするということはない」ということは成り立つということはない
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
「あの各期間は万歳するということはなくてかつそれは忍び難いということはない」ということは誤りである
fact7 -> int1: もし「あの各期間が言い訳はましくらない」ということは真実なら「万歳しなくて忍び難くない」ということは誤っている; fact8 -> int2: もしあの各期間が集わないかあるいはそれが少なしとするとそれは言い訳がましかない;
$facts$ = fact1: もしもあるものが言い訳はましくらないとしたら「万歳しないしかつ忍び難くない」ということは成り立たない fact2: あの各期間は言い訳がましい fact3: とある物は集わないか少なしかもしくは両方ともだとすれば「言い訳はましくらない」ということは事実である fact4: あの各期間が単刀だとしたら学習要求であるがしかし集うということはない fact5: 仮にあの各期間は言い訳がましいならば「それはプラス思考でなくて上積みするということはない」ということは成り立つということはない ; $hypothesis$ = 「あの各期間はプラス思考でないしそれに上積みしない」ということは成り立たない ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: もしもあるものが言い訳はましくらないとしたら「万歳しないしかつ忍び難くない」ということは成り立たない
事実2: あの各期間は言い訳がましい
事実3: とある物は集わないか少なしかもしくは両方ともだとすれば「言い訳はましくらない」ということは事実である
事実4: あの各期間が単刀だとしたら学習要求であるがしかし集うということはない
事実5: 仮にあの各期間は言い訳がましいならば「それはプラス思考でなくて上積みするということはない」ということは成り立つということはない

仮説: 「あの各期間はプラス思考でないしそれに上積みしない」ということは成り立たない
1. 事実5と事実2から、仮説が導かれる

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