あの市民参画は勇ましい
fact1: そのＳＡＣＫは勇ましかない fact2: もしもあるものが極地だということはないとすると捕らえ難いがしかし押し当てない fact3: もしなにかは嬉しいとしたら勇ましい fact4: もし「とある物は嬉しくないエンジン部品である」ということは事実と異なるならそれは勇ましい fact5: 仮にあの市民参画は蔑まないならば「嬉しいということはないししかもエンジン部品である」ということは誤っている fact6: もしもあの市民参画は蔑まないならば「それは嬉しいししかもエンジン部品だ」ということは成り立たない fact7: 仮にあの市民参画は嬉しいとすると「勇ましい」ということは事実だ fact8: もしなにかは蔑むとすると「「競技しないし更にエンジン部品だ」ということは事実である」ということは本当でない fact9: あの市民参画は蔑まない fact10: もしこの男根期が押し当てないとしたらこの視座はおどろおどろしくなくて弟妹でない fact11: 「あの市民参画が嬉しいしその上エンジン部品だ」ということは嘘である fact12: おどろおどろしくない物は弟妹でないとすると勇ましかない fact13: もしもこの視座が勇ましくらないとするとあの市民参画は蔑む
fact4 -> int1: 「あの市民参画は嬉しくないがしかしエンジン部品である」ということは事実と異なるなら勇ましい; fact9 & fact5 -> int2: 「あの市民参画は嬉しくないがしかしそれはエンジン部品だ」ということは事実と異なる; int1 & int2 -> hypothesis;
「あの市民参画は競技しないがエンジン部品だ」ということは間違っている
fact15 -> int3: もしあの市民参画は蔑むとすると「競技しないがしかしエンジン部品だ」ということは間違いである; fact17 -> int4: もしこの視座がおどろおどろしくなくてそれは弟妹でないとするとそれは勇ましかない; fact14 -> int5: 仮にこの男根期は極地でないとしたらそれは捕らえ難いが押し当てない;
$facts$ = fact1: そのＳＡＣＫは勇ましかない fact2: もしもあるものが極地だということはないとすると捕らえ難いがしかし押し当てない fact3: もしなにかは嬉しいとしたら勇ましい fact4: もし「とある物は嬉しくないエンジン部品である」ということは事実と異なるならそれは勇ましい fact5: 仮にあの市民参画は蔑まないならば「嬉しいということはないししかもエンジン部品である」ということは誤っている fact6: もしもあの市民参画は蔑まないならば「それは嬉しいししかもエンジン部品だ」ということは成り立たない fact7: 仮にあの市民参画は嬉しいとすると「勇ましい」ということは事実だ fact8: もしなにかは蔑むとすると「「競技しないし更にエンジン部品だ」ということは事実である」ということは本当でない fact9: あの市民参画は蔑まない fact10: もしこの男根期が押し当てないとしたらこの視座はおどろおどろしくなくて弟妹でない fact11: 「あの市民参画が嬉しいしその上エンジン部品だ」ということは嘘である fact12: おどろおどろしくない物は弟妹でないとすると勇ましかない fact13: もしもこの視座が勇ましくらないとするとあの市民参画は蔑む ; $hypothesis$ = あの市民参画は勇ましい ; $proof$ = 
fact4 -> int1: 「あの市民参画は嬉しくないがしかしエンジン部品である」ということは事実と異なるなら勇ましい; fact9 & fact5 -> int2: 「あの市民参画は嬉しくないがしかしそれはエンジン部品だ」ということは事実と異なる; int1 & int2 -> hypothesis; __PROVED__
事実1: そのＳＡＣＫは勇ましかない
事実2: もしもあるものが極地だということはないとすると捕らえ難いがしかし押し当てない
事実3: もしなにかは嬉しいとしたら勇ましい
事実4: もし「とある物は嬉しくないエンジン部品である」ということは事実と異なるならそれは勇ましい
事実5: 仮にあの市民参画は蔑まないならば「嬉しいということはないししかもエンジン部品である」ということは誤っている
事実6: もしもあの市民参画は蔑まないならば「それは嬉しいししかもエンジン部品だ」ということは成り立たない
事実7: 仮にあの市民参画は嬉しいとすると「勇ましい」ということは事実だ
事実8: もしなにかは蔑むとすると「「競技しないし更にエンジン部品だ」ということは事実である」ということは本当でない
事実9: あの市民参画は蔑まない
事実10: もしこの男根期が押し当てないとしたらこの視座はおどろおどろしくなくて弟妹でない
事実11: 「あの市民参画が嬉しいしその上エンジン部品だ」ということは嘘である
事実12: おどろおどろしくない物は弟妹でないとすると勇ましかない
事実13: もしもこの視座が勇ましくらないとするとあの市民参画は蔑む

仮説: あの市民参画は勇ましい
1. 事実4から、推論1: "「あの市民参画は嬉しくないがしかしエンジン部品である」ということは事実と異なるなら勇ましい"が導かれる
2. 事実9と事実5から、推論2: "「あの市民参画は嬉しくないがしかしそれはエンジン部品だ」ということは事実と異なる"が導かれる
3. 推論1と推論2から、仮説が導かれる

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