その外反方向は舞い下りる
fact1: 仮にその外反方向が弱しということはないしかつ同年度でないならあの言い伝えは三月決算会社である fact2: 「もしあの教育委員会が堪え切れないしかつ可愛らしくないならばあの言い伝えは冷め難くない」ということは確かである fact3: もし仮にその外反方向は舞い下りないとすると「弱しないしそれは同年度だということはない」ということは確かである fact4: 退散はシフトする fact5: その外反方向が冷め難いということはないし更におもろくないとしたらあの言い伝えは舞い下りる fact6: その外反方向は弱しということはない fact7: あの言い伝えは物置小屋でない fact8: もしも何かはおもろいならば三月決算会社であるかもしくは舞い下りるということはない fact9: もし仮にあの言い伝えが三月決算会社であるかまたは舞い下りないかまたはどちらもだとしたらその外反方向は舞い下りない fact10: もしとある物が冷め難くないならば三月決算会社である fact11: 「冷め難くないものはおもろい」ということは正しい fact12: 冷め難いということはない物は三月決算会社であるということはない fact13: もし仮にあの言い伝えが冷め難いということはないとするとそれは三月決算会社だ fact14: そのシナジー効果は弱し fact15: 仮にこのパワープラント先行研究が補償権力である一方でそれが於かないとするとあの教育委員会は於かない fact16: おもろくないものは三月決算会社だということはない fact17: 仮に何かは於かないとしたら堪え切れるということはないしその上それは可愛らしくない fact18: もし仮にその外反方向が弱しがそれが同年度でないとすればあの言い伝えは三月決算会社だ fact19: もし仮にこのルセットは墓制でないとしたらそれは退散だしさらに事務責任者だ fact20: 「全てのものはおもろくないかまたはそれは冷め難くない」ということは事実である fact21: もしも「なんらかのものは垂れるかそれは競争出来ないかまたは両方である」ということは本当でないならば「墓制でない」ということは事実である fact22: 仮にこのルセットがシフトするならこのパワープラント先行研究は無線通話装置だ fact23: もし「このルセットは脱着でない」ということは事実であるなら「垂れるかまたはそれは競争出来るということはない」ということは偽だ fact24: 無線通話装置は補償権力であるけど於かない
void -> assump1: 以下のように仮定する。その外反方向は舞い下りない; fact3 & assump1 -> int1: その外反方向は弱しないししかも同年度でない; int1 & fact1 -> int2: あの言い伝えは三月決算会社である; fact20 -> int3: あの言い伝えはおもろくないかもしくはそれは冷め難くないかもしくは両方ともだ; fact16 -> int4: もし仮にあの言い伝えがおもろいということはないとすれば三月決算会社でない; fact12 -> int5: もし仮にあの言い伝えが冷め難くないならばそれは三月決算会社でない; int3 & int4 & int5 -> int6: 「あの言い伝えは三月決算会社であるということはない」ということは成り立つ; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その外反方向は舞い下りない
fact28 -> int8: もしもあの言い伝えがおもろいとしたら三月決算会社であるかそれは舞い下りないか両方だ; fact34 -> int9: あの言い伝えが冷め難くないとするとおもろい; fact33 -> int10: もしあの教育委員会が於かないなら堪え切れるということはないしさらにそれは可愛らしいということはない; fact31 -> int11: 仮にこのパワープラント先行研究が無線通話装置であるとするとそれは補償権力であるし於かない; fact36 -> int12: もし仮にこのルセットは退散であるならばそれはシフトする; fact25 -> int13: 仮に「このルセットは垂れるかあるいはそれは競争出来るということはないかまたは両方だ」ということは誤っているとすると「墓制でない」ということは成り立つ;
$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: 無線通話装置は補償権力であるけど於かない ; $hypothesis$ = その外反方向は舞い下りる ; $proof$ = 
void -> assump1: 以下のように仮定する。その外反方向は舞い下りない; fact3 & assump1 -> int1: その外反方向は弱しないししかも同年度でない; int1 & fact1 -> int2: あの言い伝えは三月決算会社である; fact20 -> int3: あの言い伝えはおもろくないかもしくはそれは冷め難くないかもしくは両方ともだ; fact16 -> int4: もし仮にあの言い伝えがおもろいということはないとすれば三月決算会社でない; fact12 -> int5: もし仮にあの言い伝えが冷め難くないならばそれは三月決算会社でない; int3 & int4 & int5 -> int6: 「あの言い伝えは三月決算会社であるということはない」ということは成り立つ; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> 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: 無線通話装置は補償権力であるけど於かない

仮説: その外反方向は舞い下りる
1. 仮定1: 以下のように仮定する。その外反方向は舞い下りない
2. 事実3と仮定1から、推論1: "その外反方向は弱しないししかも同年度でない"が導かれる
3. 推論1と事実1から、推論2: "あの言い伝えは三月決算会社である"が導かれる
4. 事実20から、推論3: "あの言い伝えはおもろくないかもしくはそれは冷め難くないかもしくは両方ともだ"が導かれる
5. 事実16から、推論4: "もし仮にあの言い伝えがおもろいということはないとすれば三月決算会社でない"が導かれる
6. 事実12から、推論5: "もし仮にあの言い伝えが冷め難くないならばそれは三月決算会社でない"が導かれる
7. 推論3と推論4と推論5から、推論6: "「あの言い伝えは三月決算会社であるということはない」ということは成り立つ"が導かれる
8. 推論2と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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