そのアボカドは貸し付ける
fact1: もし仮にあの政治的社会は食事しないけれど当期純利益金額であるならばそれは聞き易くない fact2: あの嘲りはマディ心斎橋店であるということはない fact3: あの政治的社会は当期純利益金額だ fact4: その専門業務型は食事しない fact5: 仮にあの委員名簿は聞き易くないなら「そのアボカドは平たくてまたそれは狙い難い」ということは誤りである fact6: もしもあるものが平たいし狙い難いとしたらあの政治的社会は聞き易い fact7: 「平たい」ものはある fact8: もしも「なにがしかのものは絡繰でないかまたはそれは食事しない」ということは成り立つということはないなら「それはマディ心斎橋店でない」ということは正しい fact9: もしもあの委員名簿がマディ心斎橋店であるとしたらこの人権問題はマディ心斎橋店でない fact10: あの嘲りは貸し付けるということはないけれど当期純利益金額ならば「あの政治的社会は貸し付ける」ということは本当だ fact11: もしあの政治的社会は狙い難くないけれど当期純利益金額であるとすればそれは貸し付けるということはない fact12: もし仮にそのアボカドが食事すればあの嘲りは貸し付けないけど当期純利益金額である fact13: もしあの委員名簿が狙い難くないとするとあの嘲りはマディ心斎橋店でない fact14: あの政治的社会は食事しない fact15: もし仮にあの委員名簿が狙い難くないとするとあの嘲りはマディ心斎橋店でないけど狙い難い fact16: あの委員名簿は平たい fact17: 「狙い難い」物はある fact18: あの政治的社会が貸し付けるとすればあの委員名簿はマディ心斎橋店である fact19: 仮にあの嘲りが狙い難いとするとそのアボカドは貸し付ける fact20: もし仮にあの政治的社会が当期純利益金額であるかあるいはそれが聞き易くないならばあの委員名簿は聞き易くない
void -> assump1: 以下のように仮定する。あの委員名簿は狙い難い; fact16 & assump1 -> int1: あの委員名簿は平たくてそれに狙い難い; int1 -> int2: なにがしかのものは平たいしかつそれは狙い難い; int2 & fact6 -> int3: あの政治的社会は聞き易い; fact14 & fact3 -> int4: あの政治的社会は食事しないけどそれは当期純利益金額である; fact1 & int4 -> int5: あの政治的社会は聞き易くない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの委員名簿は狙い難いということはない; int7 & fact15 -> int8: あの嘲りはマディ心斎橋店でないけれど狙い難い; int8 -> int9: あの嘲りは狙い難い; int9 & fact19 -> hypothesis;
この人権問題は狙い難い
$facts$ = fact1: もし仮にあの政治的社会は食事しないけれど当期純利益金額であるならばそれは聞き易くない fact2: あの嘲りはマディ心斎橋店であるということはない fact3: あの政治的社会は当期純利益金額だ fact4: その専門業務型は食事しない fact5: 仮にあの委員名簿は聞き易くないなら「そのアボカドは平たくてまたそれは狙い難い」ということは誤りである fact6: もしもあるものが平たいし狙い難いとしたらあの政治的社会は聞き易い fact7: 「平たい」ものはある fact8: もしも「なにがしかのものは絡繰でないかまたはそれは食事しない」ということは成り立つということはないなら「それはマディ心斎橋店でない」ということは正しい fact9: もしもあの委員名簿がマディ心斎橋店であるとしたらこの人権問題はマディ心斎橋店でない fact10: あの嘲りは貸し付けるということはないけれど当期純利益金額ならば「あの政治的社会は貸し付ける」ということは本当だ fact11: もしあの政治的社会は狙い難くないけれど当期純利益金額であるとすればそれは貸し付けるということはない fact12: もし仮にそのアボカドが食事すればあの嘲りは貸し付けないけど当期純利益金額である fact13: もしあの委員名簿が狙い難くないとするとあの嘲りはマディ心斎橋店でない fact14: あの政治的社会は食事しない fact15: もし仮にあの委員名簿が狙い難くないとするとあの嘲りはマディ心斎橋店でないけど狙い難い fact16: あの委員名簿は平たい fact17: 「狙い難い」物はある fact18: あの政治的社会が貸し付けるとすればあの委員名簿はマディ心斎橋店である fact19: 仮にあの嘲りが狙い難いとするとそのアボカドは貸し付ける fact20: もし仮にあの政治的社会が当期純利益金額であるかあるいはそれが聞き易くないならばあの委員名簿は聞き易くない ; $hypothesis$ = そのアボカドは貸し付ける ; $proof$ = 
void -> assump1: 以下のように仮定する。あの委員名簿は狙い難い; fact16 & assump1 -> int1: あの委員名簿は平たくてそれに狙い難い; int1 -> int2: なにがしかのものは平たいしかつそれは狙い難い; int2 & fact6 -> int3: あの政治的社会は聞き易い; fact14 & fact3 -> int4: あの政治的社会は食事しないけどそれは当期純利益金額である; fact1 & int4 -> int5: あの政治的社会は聞き易くない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの委員名簿は狙い難いということはない; int7 & fact15 -> int8: あの嘲りはマディ心斎橋店でないけれど狙い難い; int8 -> int9: あの嘲りは狙い難い; int9 & fact19 -> hypothesis; __PROVED__
事実1: もし仮にあの政治的社会は食事しないけれど当期純利益金額であるならばそれは聞き易くない
事実2: あの嘲りはマディ心斎橋店であるということはない
事実3: あの政治的社会は当期純利益金額だ
事実4: その専門業務型は食事しない
事実5: 仮にあの委員名簿は聞き易くないなら「そのアボカドは平たくてまたそれは狙い難い」ということは誤りである
事実6: もしもあるものが平たいし狙い難いとしたらあの政治的社会は聞き易い
事実7: 「平たい」ものはある
事実8: もしも「なにがしかのものは絡繰でないかまたはそれは食事しない」ということは成り立つということはないなら「それはマディ心斎橋店でない」ということは正しい
事実9: もしもあの委員名簿がマディ心斎橋店であるとしたらこの人権問題はマディ心斎橋店でない
事実10: あの嘲りは貸し付けるということはないけれど当期純利益金額ならば「あの政治的社会は貸し付ける」ということは本当だ
事実11: もしあの政治的社会は狙い難くないけれど当期純利益金額であるとすればそれは貸し付けるということはない
事実12: もし仮にそのアボカドが食事すればあの嘲りは貸し付けないけど当期純利益金額である
事実13: もしあの委員名簿が狙い難くないとするとあの嘲りはマディ心斎橋店でない
事実14: あの政治的社会は食事しない
事実15: もし仮にあの委員名簿が狙い難くないとするとあの嘲りはマディ心斎橋店でないけど狙い難い
事実16: あの委員名簿は平たい
事実17: 「狙い難い」物はある
事実18: あの政治的社会が貸し付けるとすればあの委員名簿はマディ心斎橋店である
事実19: 仮にあの嘲りが狙い難いとするとそのアボカドは貸し付ける
事実20: もし仮にあの政治的社会が当期純利益金額であるかあるいはそれが聞き易くないならばあの委員名簿は聞き易くない

仮説: そのアボカドは貸し付ける
1. 仮定1: 以下のように仮定する。あの委員名簿は狙い難い
2. 事実16と仮定1から、推論1: "あの委員名簿は平たくてそれに狙い難い"が導かれる
3. 推論1から、推論2: "なにがしかのものは平たいしかつそれは狙い難い"が導かれる
4. 推論2と事実6から、推論3: "あの政治的社会は聞き易い"が導かれる
5. 事実14と事実3から、推論4: "あの政治的社会は食事しないけどそれは当期純利益金額である"が導かれる
6. 事実1と推論4から、推論5: "あの政治的社会は聞き易くない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの委員名簿は狙い難いということはない"が導かれる
9. 推論7と事実15から、推論8: "あの嘲りはマディ心斎橋店でないけれど狙い難い"が導かれる
10. 推論8から、推論9: "あの嘲りは狙い難い"が導かれる
11. 推論9と事実19から、仮説が導かれる

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