あの樋屋バーンが廃絶派であるならその職員団体は異味・異臭だ
fact1: もしあの樋屋バーンが太り難いとすればあの職員団体は廃絶派である fact2: もし仮になにかは太り難いとすると廃絶派だ fact3: あの樋屋バーンは異味・異臭だ fact4: もしあの樋屋バーンが太り難いならその官僚制は太り難い fact5: とあるものが百三十一Ｉでないとしたらそれは異味・異臭であるかもしくは廃絶派だということはないかまたはどちらもである fact6: もしなんらかのものは異味・異臭であるかあるいは廃絶派でないなら太り難い fact7: 「なんらかの物は異味・異臭でないけれどそれは廃絶派である」ということは嘘だとすればそれは異味・異臭である fact8: もしも「その職員団体は異味・異臭である」ということは成り立てばあの樋屋バーンは太り難い fact9: 太り難い物は異味・異臭だ fact10: 「その課題設定は廃絶派である」ということは事実だ fact11: その職員団体が廃絶派であるとすればあの樋屋バーンは異味・異臭だ fact12: もし仮にあの樋屋バーンが異味・異臭であるとするとその職員団体は廃絶派である fact13: 仮にその職員団体が廃絶派であるとすればあの樋屋バーンは太り難い fact14: もしその職員団体は多くないなら「あの樋屋バーンは百三十一Ｉでない」ということは成り立つ fact15: もしもその職員団体が廃絶派であるとするとあの樋屋バーンは充足出来る fact16: 「異味・異臭は廃絶派である」ということは成り立つ fact17: 仮にあの樋屋バーンが廃絶派であるとするとその職員団体は太り難い
void -> assump1: 以下のように仮定する。あの樋屋バーンは廃絶派である; fact17 & assump1 -> int1: その職員団体は太り難い; fact9 -> int2: もし仮にその職員団体が太り難いとするとそれは異味・異臭だ; int1 & int2 -> int3: 「その職員団体は異味・異臭だ」ということは成り立つ; [assump1] & int3 -> hypothesis;
その官僚制は太り難い
fact21 -> int4: 「もしもあの樋屋バーンが異味・異臭であるかまたは廃絶派でないかあるいは両方ともならばあの樋屋バーンは太り難い」ということは正しい; fact18 -> int5: あの樋屋バーンが百三十一Ｉでないとすれば異味・異臭であるかもしくはそれは廃絶派であるということはない;
$facts$ = fact1: もしあの樋屋バーンが太り難いとすればあの職員団体は廃絶派である fact2: もし仮になにかは太り難いとすると廃絶派だ fact3: あの樋屋バーンは異味・異臭だ fact4: もしあの樋屋バーンが太り難いならその官僚制は太り難い fact5: とあるものが百三十一Ｉでないとしたらそれは異味・異臭であるかもしくは廃絶派だということはないかまたはどちらもである fact6: もしなんらかのものは異味・異臭であるかあるいは廃絶派でないなら太り難い fact7: 「なんらかの物は異味・異臭でないけれどそれは廃絶派である」ということは嘘だとすればそれは異味・異臭である fact8: もしも「その職員団体は異味・異臭である」ということは成り立てばあの樋屋バーンは太り難い fact9: 太り難い物は異味・異臭だ fact10: 「その課題設定は廃絶派である」ということは事実だ fact11: その職員団体が廃絶派であるとすればあの樋屋バーンは異味・異臭だ fact12: もし仮にあの樋屋バーンが異味・異臭であるとするとその職員団体は廃絶派である fact13: 仮にその職員団体が廃絶派であるとすればあの樋屋バーンは太り難い fact14: もしその職員団体は多くないなら「あの樋屋バーンは百三十一Ｉでない」ということは成り立つ fact15: もしもその職員団体が廃絶派であるとするとあの樋屋バーンは充足出来る fact16: 「異味・異臭は廃絶派である」ということは成り立つ fact17: 仮にあの樋屋バーンが廃絶派であるとするとその職員団体は太り難い ; $hypothesis$ = あの樋屋バーンが廃絶派であるならその職員団体は異味・異臭だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの樋屋バーンは廃絶派である; fact17 & assump1 -> int1: その職員団体は太り難い; fact9 -> int2: もし仮にその職員団体が太り難いとするとそれは異味・異臭だ; int1 & int2 -> int3: 「その職員団体は異味・異臭だ」ということは成り立つ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしあの樋屋バーンが太り難いとすればあの職員団体は廃絶派である
事実2: もし仮になにかは太り難いとすると廃絶派だ
事実3: あの樋屋バーンは異味・異臭だ
事実4: もしあの樋屋バーンが太り難いならその官僚制は太り難い
事実5: とあるものが百三十一Ｉでないとしたらそれは異味・異臭であるかもしくは廃絶派だということはないかまたはどちらもである
事実6: もしなんらかのものは異味・異臭であるかあるいは廃絶派でないなら太り難い
事実7: 「なんらかの物は異味・異臭でないけれどそれは廃絶派である」ということは嘘だとすればそれは異味・異臭である
事実8: もしも「その職員団体は異味・異臭である」ということは成り立てばあの樋屋バーンは太り難い
事実9: 太り難い物は異味・異臭だ
事実10: 「その課題設定は廃絶派である」ということは事実だ
事実11: その職員団体が廃絶派であるとすればあの樋屋バーンは異味・異臭だ
事実12: もし仮にあの樋屋バーンが異味・異臭であるとするとその職員団体は廃絶派である
事実13: 仮にその職員団体が廃絶派であるとすればあの樋屋バーンは太り難い
事実14: もしその職員団体は多くないなら「あの樋屋バーンは百三十一Ｉでない」ということは成り立つ
事実15: もしもその職員団体が廃絶派であるとするとあの樋屋バーンは充足出来る
事実16: 「異味・異臭は廃絶派である」ということは成り立つ
事実17: 仮にあの樋屋バーンが廃絶派であるとするとその職員団体は太り難い

仮説: あの樋屋バーンが廃絶派であるならその職員団体は異味・異臭だ
1. 仮定1: 以下のように仮定する。あの樋屋バーンは廃絶派である
2. 事実17と仮定1から、推論1: "その職員団体は太り難い"が導かれる
3. 事実9から、推論2: "もし仮にその職員団体が太り難いとするとそれは異味・異臭だ"が導かれる
4. 推論1と推論2から、推論3: "「その職員団体は異味・異臭だ」ということは成り立つ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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