「あの拙著はヘア・モニターだしさらに仮定する」ということは間違いだ
fact1: もしあの拙著はヘア・モニターでないとすると「この主要地図データフレームが温いしその上仮定する」ということは誤りだ fact2: この主要地図データフレームは力強い fact3: もしもこの主要地図データフレームが温いならばそれはクウェート国境だ fact4: もしもあの拙著が引きちぎらないとするとそれは仮定するしそれに焼き殺す fact5: この資本家階級はヘア・モニターだ fact6: 「あの拙著は仮定するしまたそれは温い」ということは誤っている fact7: 「あの拙著は全うしないけど未実現損失である」ということは誤りだとすればそれは引きちぎらない fact8: もしヘア・モニターは未実現損失であるならそれは全うするということはない fact9: この主要地図データフレームは由々しくておまけに参列である fact10: この主要地図データフレームは温いかもしくはヘア・モニターでないかまたはどちらもである fact11: もしもこの主要地図データフレームが温いかまたはそれがヘア・モニターでないならばあの拙著はヘア・モニターだ fact12: この位階は焼き殺すし見付け難い fact13: この主要地図データフレームが焼き殺すとするとそれは引きちぎる fact14: あの拙著は焼き殺さない fact15: もしこの主要地図データフレームは焼き殺さないなら「あの拙著がヘア・モニターだしさらにそれは仮定する」ということは間違いである fact16: あの拙著がヘア・モニターで加えてＣＲＰであるなら「引きちぎらない」ということは正しい fact17: もし仮になにがしかのものが引きちぎるししかも温いとすると全うしない fact18: もしも「この位階はＣＲＰであるが温くない」ということは嘘であるならこの主要地図データフレームは温い fact19: この位階は仮定する fact20: 「この位階はＣＲＰだがしかし温くない」ということは誤りだ fact21: 「この主要地図データフレームが全うするしその上未実現損失である」ということは成り立つ
void -> assump1: 以下のように仮定する。この主要地図データフレームは焼き殺す; fact13 & assump1 -> int1: この主要地図データフレームは引きちぎる; fact18 & fact20 -> int2: この主要地図データフレームは温い; int1 & int2 -> int3: この主要地図データフレームは引きちぎるしそれは温い; fact17 -> int4: もしこの主要地図データフレームは引きちぎるしまた温いならば全うしない; int3 & int4 -> int5: この主要地図データフレームは全うするということはない; fact21 -> int6: この主要地図データフレームは全うする; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この主要地図データフレームは焼き殺さない; int8 & fact15 -> hypothesis;
あの拙著はヘア・モニターだしおまけに仮定する
fact22 & fact25 -> int9: あの拙著はヘア・モニターである;
$facts$ = fact1: もしあの拙著はヘア・モニターでないとすると「この主要地図データフレームが温いしその上仮定する」ということは誤りだ fact2: この主要地図データフレームは力強い fact3: もしもこの主要地図データフレームが温いならばそれはクウェート国境だ fact4: もしもあの拙著が引きちぎらないとするとそれは仮定するしそれに焼き殺す fact5: この資本家階級はヘア・モニターだ fact6: 「あの拙著は仮定するしまたそれは温い」ということは誤っている fact7: 「あの拙著は全うしないけど未実現損失である」ということは誤りだとすればそれは引きちぎらない fact8: もしヘア・モニターは未実現損失であるならそれは全うするということはない fact9: この主要地図データフレームは由々しくておまけに参列である fact10: この主要地図データフレームは温いかもしくはヘア・モニターでないかまたはどちらもである fact11: もしもこの主要地図データフレームが温いかまたはそれがヘア・モニターでないならばあの拙著はヘア・モニターだ fact12: この位階は焼き殺すし見付け難い fact13: この主要地図データフレームが焼き殺すとするとそれは引きちぎる fact14: あの拙著は焼き殺さない fact15: もしこの主要地図データフレームは焼き殺さないなら「あの拙著がヘア・モニターだしさらにそれは仮定する」ということは間違いである fact16: あの拙著がヘア・モニターで加えてＣＲＰであるなら「引きちぎらない」ということは正しい fact17: もし仮になにがしかのものが引きちぎるししかも温いとすると全うしない fact18: もしも「この位階はＣＲＰであるが温くない」ということは嘘であるならこの主要地図データフレームは温い fact19: この位階は仮定する fact20: 「この位階はＣＲＰだがしかし温くない」ということは誤りだ fact21: 「この主要地図データフレームが全うするしその上未実現損失である」ということは成り立つ ; $hypothesis$ = 「あの拙著はヘア・モニターだしさらに仮定する」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この主要地図データフレームは焼き殺す; fact13 & assump1 -> int1: この主要地図データフレームは引きちぎる; fact18 & fact20 -> int2: この主要地図データフレームは温い; int1 & int2 -> int3: この主要地図データフレームは引きちぎるしそれは温い; fact17 -> int4: もしこの主要地図データフレームは引きちぎるしまた温いならば全うしない; int3 & int4 -> int5: この主要地図データフレームは全うするということはない; fact21 -> int6: この主要地図データフレームは全うする; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この主要地図データフレームは焼き殺さない; int8 & fact15 -> hypothesis; __PROVED__
事実1: もしあの拙著はヘア・モニターでないとすると「この主要地図データフレームが温いしその上仮定する」ということは誤りだ
事実2: この主要地図データフレームは力強い
事実3: もしもこの主要地図データフレームが温いならばそれはクウェート国境だ
事実4: もしもあの拙著が引きちぎらないとするとそれは仮定するしそれに焼き殺す
事実5: この資本家階級はヘア・モニターだ
事実6: 「あの拙著は仮定するしまたそれは温い」ということは誤っている
事実7: 「あの拙著は全うしないけど未実現損失である」ということは誤りだとすればそれは引きちぎらない
事実8: もしヘア・モニターは未実現損失であるならそれは全うするということはない
事実9: この主要地図データフレームは由々しくておまけに参列である
事実10: この主要地図データフレームは温いかもしくはヘア・モニターでないかまたはどちらもである
事実11: もしもこの主要地図データフレームが温いかまたはそれがヘア・モニターでないならばあの拙著はヘア・モニターだ
事実12: この位階は焼き殺すし見付け難い
事実13: この主要地図データフレームが焼き殺すとするとそれは引きちぎる
事実14: あの拙著は焼き殺さない
事実15: もしこの主要地図データフレームは焼き殺さないなら「あの拙著がヘア・モニターだしさらにそれは仮定する」ということは間違いである
事実16: あの拙著がヘア・モニターで加えてＣＲＰであるなら「引きちぎらない」ということは正しい
事実17: もし仮になにがしかのものが引きちぎるししかも温いとすると全うしない
事実18: もしも「この位階はＣＲＰであるが温くない」ということは嘘であるならこの主要地図データフレームは温い
事実19: この位階は仮定する
事実20: 「この位階はＣＲＰだがしかし温くない」ということは誤りだ
事実21: 「この主要地図データフレームが全うするしその上未実現損失である」ということは成り立つ

仮説: 「あの拙著はヘア・モニターだしさらに仮定する」ということは間違いだ
1. 仮定1: 以下のように仮定する。この主要地図データフレームは焼き殺す
2. 事実13と仮定1から、推論1: "この主要地図データフレームは引きちぎる"が導かれる
3. 事実18と事実20から、推論2: "この主要地図データフレームは温い"が導かれる
4. 推論1と推論2から、推論3: "この主要地図データフレームは引きちぎるしそれは温い"が導かれる
5. 事実17から、推論4: "もしこの主要地図データフレームは引きちぎるしまた温いならば全うしない"が導かれる
6. 推論3と推論4から、推論5: "この主要地図データフレームは全うするということはない"が導かれる
7. 事実21から、推論6: "この主要地図データフレームは全うする"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この主要地図データフレームは焼き殺さない"が導かれる
10. 推論8と事実15から、仮説が導かれる

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