その柔道はアロプリノールであるしおまけに作り易い
fact1: その柔道は物欲しいしそれは友人関係指数だ fact2: もしも何らかの物は信仰すれば「それはカバー力だ」ということは成り立つ fact3: その柔道は友人関係指数である fact4: 「何らかの物は火皿であるということはないが訝しい」ということは事実であるとすればこの益金はカバー力である fact5: もし「この益金はアロプリノールだけれど許し難くない」ということは成り立つということはないとするとあの極論はアロプリノールだ fact6: もし仮に「その氷河期は許し難くないし友人関係指数でない」ということは成り立つということはないならばあの発行者は友人関係指数でない fact7: 仮にその共有結合がカバー力であるならその氷河期はカバー力だ fact8: もし「この売れ筋は火皿である」ということは真実であるとすると「それは信仰しないし訝しくない」ということは嘘である fact9: この益金は接客サービスであるなら「その柔道は甚だしい」ということは事実と異なるということはない fact10: もしなんらかのものはカバー力であるとすると「許し難くなくて友人関係指数でない」ということは成り立たない fact11: もしもこの益金が甚だしいがしかしそれが物欲しかないとしたらその柔道は接客サービスでない fact12: その発行者が友人関係指数でないとしたらこの益金は甚だしいけれど物欲しいということはない fact13: この益金は接客サービスだ fact14: もしも「とあるものは物欲しい」ということは成り立つとすると「アロプリノールであるが許し難くない」ということは嘘である fact15: あのフォトスタンドがカバー力であるとしたらその共有結合はカバー力だ fact16: もしある物は接客サービスであるということはないとすれば友人関係指数であるししかも四百ミリリットル分だ fact17: なにかは接客サービスでないとすれば「アロプリノールだし作り易い」ということは事実と異なる fact18: もしも「この益金は物欲しかないけど信仰する」ということは成り立たないならそれは物欲しい fact19: もしもこの益金はカバー力であるとしたら「それは物欲しかない一方で信仰する」ということは事実と異なる fact20: もし仮になにかは物欲しいならアロプリノールである fact21: 仮になにがしかの物が甚だしいとすると作り易い fact22: 「火皿であるということはないし訝しい」物はある
fact9 & fact13 -> int1: その柔道は甚だしい; fact21 -> int2: もしその柔道は甚だしいとしたら「作り易い」ということは成り立つ; int1 & int2 -> int3: その柔道は作り易い; fact20 -> int4: その柔道が物欲しいならそれはアロプリノールだ; fact1 -> int5: 「その柔道は物欲しい」ということは誤りでない; int4 & int5 -> int6: その柔道はアロプリノールだ; int3 & int6 -> hypothesis;
fact9 & fact13 -> int1: {B}{b}; fact21 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; fact20 -> int4: {E}{b} -> {D}{b}; fact1 -> int5: {E}{b}; int4 & int5 -> int6: {D}{b}; int3 & int6 -> hypothesis;
「その柔道はアロプリノールであるし作り易い」ということは間違いだ
fact29 -> int7: もしも「その柔道は接客サービスだということはない」ということは成り立つなら「それはアロプリノールであるしおまけに作り易い」ということは真実であるということはない; fact30 -> int8: 仮にその氷河期はカバー力だとすれば「それは許し難くないしそれに友人関係指数でない」ということは真実でない; fact25 -> int9: もしも「あのフォトスタンドは信仰する」ということは成り立つとしたらそれはカバー力である;
$facts$ = fact1: その柔道は物欲しいしそれは友人関係指数だ fact2: もしも何らかの物は信仰すれば「それはカバー力だ」ということは成り立つ fact3: その柔道は友人関係指数である fact4: 「何らかの物は火皿であるということはないが訝しい」ということは事実であるとすればこの益金はカバー力である fact5: もし「この益金はアロプリノールだけれど許し難くない」ということは成り立つということはないとするとあの極論はアロプリノールだ fact6: もし仮に「その氷河期は許し難くないし友人関係指数でない」ということは成り立つということはないならばあの発行者は友人関係指数でない fact7: 仮にその共有結合がカバー力であるならその氷河期はカバー力だ fact8: もし「この売れ筋は火皿である」ということは真実であるとすると「それは信仰しないし訝しくない」ということは嘘である fact9: この益金は接客サービスであるなら「その柔道は甚だしい」ということは事実と異なるということはない fact10: もしなんらかのものはカバー力であるとすると「許し難くなくて友人関係指数でない」ということは成り立たない fact11: もしもこの益金が甚だしいがしかしそれが物欲しかないとしたらその柔道は接客サービスでない fact12: その発行者が友人関係指数でないとしたらこの益金は甚だしいけれど物欲しいということはない fact13: この益金は接客サービスだ fact14: もしも「とあるものは物欲しい」ということは成り立つとすると「アロプリノールであるが許し難くない」ということは嘘である fact15: あのフォトスタンドがカバー力であるとしたらその共有結合はカバー力だ fact16: もしある物は接客サービスであるということはないとすれば友人関係指数であるししかも四百ミリリットル分だ fact17: なにかは接客サービスでないとすれば「アロプリノールだし作り易い」ということは事実と異なる fact18: もしも「この益金は物欲しかないけど信仰する」ということは成り立たないならそれは物欲しい fact19: もしもこの益金はカバー力であるとしたら「それは物欲しかない一方で信仰する」ということは事実と異なる fact20: もし仮になにかは物欲しいならアロプリノールである fact21: 仮になにがしかの物が甚だしいとすると作り易い fact22: 「火皿であるということはないし訝しい」物はある ; $hypothesis$ = その柔道はアロプリノールであるしおまけに作り易い ; $proof$ = 
fact9 & fact13 -> int1: その柔道は甚だしい; fact21 -> int2: もしその柔道は甚だしいとしたら「作り易い」ということは成り立つ; int1 & int2 -> int3: その柔道は作り易い; fact20 -> int4: その柔道が物欲しいならそれはアロプリノールだ; fact1 -> int5: 「その柔道は物欲しい」ということは誤りでない; int4 & int5 -> int6: その柔道はアロプリノールだ; int3 & int6 -> hypothesis; __PROVED__
事実1: その柔道は物欲しいしそれは友人関係指数だ
事実2: もしも何らかの物は信仰すれば「それはカバー力だ」ということは成り立つ
事実3: その柔道は友人関係指数である
事実4: 「何らかの物は火皿であるということはないが訝しい」ということは事実であるとすればこの益金はカバー力である
事実5: もし「この益金はアロプリノールだけれど許し難くない」ということは成り立つということはないとするとあの極論はアロプリノールだ
事実6: もし仮に「その氷河期は許し難くないし友人関係指数でない」ということは成り立つということはないならばあの発行者は友人関係指数でない
事実7: 仮にその共有結合がカバー力であるならその氷河期はカバー力だ
事実8: もし「この売れ筋は火皿である」ということは真実であるとすると「それは信仰しないし訝しくない」ということは嘘である
事実9: この益金は接客サービスであるなら「その柔道は甚だしい」ということは事実と異なるということはない
事実10: もしなんらかのものはカバー力であるとすると「許し難くなくて友人関係指数でない」ということは成り立たない
事実11: もしもこの益金が甚だしいがしかしそれが物欲しかないとしたらその柔道は接客サービスでない
事実12: その発行者が友人関係指数でないとしたらこの益金は甚だしいけれど物欲しいということはない
事実13: この益金は接客サービスだ
事実14: もしも「とあるものは物欲しい」ということは成り立つとすると「アロプリノールであるが許し難くない」ということは嘘である
事実15: あのフォトスタンドがカバー力であるとしたらその共有結合はカバー力だ
事実16: もしある物は接客サービスであるということはないとすれば友人関係指数であるししかも四百ミリリットル分だ
事実17: なにかは接客サービスでないとすれば「アロプリノールだし作り易い」ということは事実と異なる
事実18: もしも「この益金は物欲しかないけど信仰する」ということは成り立たないならそれは物欲しい
事実19: もしもこの益金はカバー力であるとしたら「それは物欲しかない一方で信仰する」ということは事実と異なる
事実20: もし仮になにかは物欲しいならアロプリノールである
事実21: 仮になにがしかの物が甚だしいとすると作り易い
事実22: 「火皿であるということはないし訝しい」物はある

仮説: その柔道はアロプリノールであるしおまけに作り易い
1. 事実9と事実13から、推論1: "その柔道は甚だしい"が導かれる
2. 事実21から、推論2: "もしその柔道は甚だしいとしたら「作り易い」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その柔道は作り易い"が導かれる
4. 事実20から、推論4: "その柔道が物欲しいならそれはアロプリノールだ"が導かれる
5. 事実1から、推論5: "「その柔道は物欲しい」ということは誤りでない"が導かれる
6. 推論4と推論5から、推論6: "その柔道はアロプリノールだ"が導かれる
7. 推論3と推論6から、仮説が導かれる

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