あの銘は洗い出す
fact1: その常食は繰り越す fact2: もしおもろくないものが洗い出せばこのチーム力は積み増す fact3: もしもその常食が積み増すならあの銘は貧者である fact4: 「その常食が難詰するとしたらあの操縦性はおもろい」ということは確かだ fact5: もしその常食が貧者ならあの操縦性はおもろい fact6: もしその常食が繰り越さないとすると国作りであるかまたはそれは称え合う fact7: もしもなにがしかの物が垂れ下がるとすると薬臭い fact8: もしなんらかの物が難詰するならそれはおもろくないしそれは洗い出す fact9: 「あの操縦性は貧者でないけどそれは繰り越す」ということは嘘だ fact10: あの操縦性が貧者であるとすればその常食は国作りだ fact11: もしなにがしかの物が積み増すとすればそれは洗い出す fact12: あの操縦性は積み増すかもしくは国作りであるかまたは両方ともだ fact13: その常食は称え合わない fact14: あの銘はおもろくない fact15: もしも何らかのものは国作りでないが繰り越すとしたらそれはおもろいということはない fact16: もしも「あの操縦性は国作りでないがしかし繰り越す」ということは事実でないとしたらあの銘は積み増す fact17: その常食が称え合うということはないとすると貧者であるか難詰するかまたはどちらもだ
fact15 -> int1: もしもあの操縦性は国作りだということはないが繰り越すならそれはおもろいということはない; void -> assump1: 以下のように仮定する。あの操縦性は国作りでないけれど繰り越す; int1 & assump1 -> int2: あの操縦性はおもろいということはない; fact17 & fact13 -> int3: その常食は貧者であるか難詰するかどちらもである; int3 & fact5 & fact4 -> int4: あの操縦性はおもろい; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの操縦性は国作りでないけれど繰り越す」ということは事実と異なる; int6 & fact16 -> int7: あの銘は積み増す; fact11 -> int8: もしあの銘が積み増すとしたらそれは洗い出す; int7 & int8 -> hypothesis;
このチーム力は怒鳴り込まないけど国作りだ
fact19 -> int9: もしその常食が難詰するとしたらおもろくないけど洗い出す;
$facts$ = fact1: その常食は繰り越す fact2: もしおもろくないものが洗い出せばこのチーム力は積み増す fact3: もしもその常食が積み増すならあの銘は貧者である fact4: 「その常食が難詰するとしたらあの操縦性はおもろい」ということは確かだ fact5: もしその常食が貧者ならあの操縦性はおもろい fact6: もしその常食が繰り越さないとすると国作りであるかまたはそれは称え合う fact7: もしもなにがしかの物が垂れ下がるとすると薬臭い fact8: もしなんらかの物が難詰するならそれはおもろくないしそれは洗い出す fact9: 「あの操縦性は貧者でないけどそれは繰り越す」ということは嘘だ fact10: あの操縦性が貧者であるとすればその常食は国作りだ fact11: もしなにがしかの物が積み増すとすればそれは洗い出す fact12: あの操縦性は積み増すかもしくは国作りであるかまたは両方ともだ fact13: その常食は称え合わない fact14: あの銘はおもろくない fact15: もしも何らかのものは国作りでないが繰り越すとしたらそれはおもろいということはない fact16: もしも「あの操縦性は国作りでないがしかし繰り越す」ということは事実でないとしたらあの銘は積み増す fact17: その常食が称え合うということはないとすると貧者であるか難詰するかまたはどちらもだ ; $hypothesis$ = あの銘は洗い出す ; $proof$ = 
fact15 -> int1: もしもあの操縦性は国作りだということはないが繰り越すならそれはおもろいということはない; void -> assump1: 以下のように仮定する。あの操縦性は国作りでないけれど繰り越す; int1 & assump1 -> int2: あの操縦性はおもろいということはない; fact17 & fact13 -> int3: その常食は貧者であるか難詰するかどちらもである; int3 & fact5 & fact4 -> int4: あの操縦性はおもろい; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの操縦性は国作りでないけれど繰り越す」ということは事実と異なる; int6 & fact16 -> int7: あの銘は積み増す; fact11 -> int8: もしあの銘が積み増すとしたらそれは洗い出す; int7 & int8 -> hypothesis; __PROVED__
事実1: その常食は繰り越す
事実2: もしおもろくないものが洗い出せばこのチーム力は積み増す
事実3: もしもその常食が積み増すならあの銘は貧者である
事実4: 「その常食が難詰するとしたらあの操縦性はおもろい」ということは確かだ
事実5: もしその常食が貧者ならあの操縦性はおもろい
事実6: もしその常食が繰り越さないとすると国作りであるかまたはそれは称え合う
事実7: もしもなにがしかの物が垂れ下がるとすると薬臭い
事実8: もしなんらかの物が難詰するならそれはおもろくないしそれは洗い出す
事実9: 「あの操縦性は貧者でないけどそれは繰り越す」ということは嘘だ
事実10: あの操縦性が貧者であるとすればその常食は国作りだ
事実11: もしなにがしかの物が積み増すとすればそれは洗い出す
事実12: あの操縦性は積み増すかもしくは国作りであるかまたは両方ともだ
事実13: その常食は称え合わない
事実14: あの銘はおもろくない
事実15: もしも何らかのものは国作りでないが繰り越すとしたらそれはおもろいということはない
事実16: もしも「あの操縦性は国作りでないがしかし繰り越す」ということは事実でないとしたらあの銘は積み増す
事実17: その常食が称え合うということはないとすると貧者であるか難詰するかまたはどちらもだ

仮説: あの銘は洗い出す
1. 事実15から、推論1: "もしもあの操縦性は国作りだということはないが繰り越すならそれはおもろいということはない"が導かれる
2. 仮定1: 以下のように仮定する。あの操縦性は国作りでないけれど繰り越す
3. 推論1と仮定1から、推論2: "あの操縦性はおもろいということはない"が導かれる
4. 事実17と事実13から、推論3: "その常食は貧者であるか難詰するかどちらもである"が導かれる
5. 推論3と事実5と事実4から、推論4: "あの操縦性はおもろい"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの操縦性は国作りでないけれど繰り越す」ということは事実と異なる"が導かれる
8. 推論6と事実16から、推論7: "あの銘は積み増す"が導かれる
9. 事実11から、推論8: "もしあの銘が積み増すとしたらそれは洗い出す"が導かれる
10. 推論7と推論8から、仮説が導かれる

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