「この微量元素は女性国際戦犯法廷でないししかも四角くない」ということは成り立たない
fact1: 仮に「この微量元素は綴り込まなくてしかもそれは肘掛け椅子でない」ということは嘘だとすればそれは湿気易いということはない fact2: もしなにかは腺であるとしたら「厚ししかつそれは生え易くない」ということは嘘である fact3: あの末梢血リンパ球数は愛しくない fact4: もしもあの沽券が信仰箇条だということはないけれど生き易いとしたらそれは肘掛け椅子でない fact5: もし仮になにがしかのものがダウンしないとするとそれはおどろおどろしいしそれは御返事する fact6: もしも何らかのものがおどろおどろしいならそれは腺である fact7: もし仮に「この微量元素は肘掛け椅子である」ということは成り立つとすればそれは湿気易くない fact8: もしもその経済的背景が憎まないとしたらこの微量元素は女性国際戦犯法廷でないし加えて四角くない fact9: もしあのポリメトキシル化フラボンは厚しないとすれば「あの末梢血リンパ球数は湿気易くないけど憎む」ということは間違いだ fact10: 仮に「「厚しがしかし生え易くない」ということは成り立たない」物はあるとしたら「この微量元素は四角くない」ということは正しい fact11: 「この微量元素は肘掛け椅子でないしその上それはやくざっぽいということはない」ということは成り立たない fact12: もし仮にその女子美術大学生は賢しないとしたら「憎むということはなくてそれにそれは不足し易いということはない」ということは成り立たない fact13: この微量元素は湿気易い fact14: 「愛しくない」ものがあるならその経済的背景は濃くないしそれはダウンしない fact15: 四角くないものは憎むかあるいは湿気易いかあるいはどちらもである fact16: この微量元素は湿気易いとしたら「その下請け法は憎む」ということは真実である fact17: もし仮にとある物は憎むとすると「拡張しなくてしかも女性国際戦犯法廷でない」ということは誤っている fact18: もしこの微量元素が綴り込まないしさらにそれは肘掛け椅子でないならそれは憎まない fact19: 仮にこの微量元素が濃くない一方でそれが綴り込めばそれは断らない fact20: 仮に「この微量元素は四角くないしさらに発光でない」ということは事実と異なるとすればそれは皮膚・粘膜でない fact21: もし仮にこの微量元素が憎めばその下請け法は憎む fact22: もし仮にこの微量元素は憎まないとすると「女性国際戦犯法廷でないし四角くない」ということは正しくない fact23: もしも「この微量元素は賀寿でないが恵まれる」ということは真実ならばそれは勘違いし易くない
void -> assump1: 以下のように仮定する。「「この微量元素は綴り込まないしおまけに肘掛け椅子でない」ということは真実である」ということは間違いだ; fact1 & assump1 -> int1: この微量元素は湿気易くない; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: この微量元素は綴り込まないしそれに肘掛け椅子でない; int3 & fact18 -> int4: この微量元素は憎まない; int4 & fact22 -> hypothesis;
「その下請け法は拡張しなくてそれは女性国際戦犯法廷であるということはない」ということは成り立たない
fact32 -> int5: もし仮にその下請け法は憎めば「それが拡張しないしさらにそれは女性国際戦犯法廷でない」ということは本当でない; fact28 -> int6: もし仮にこの微量元素が四角くないとするとそれは憎むかもしくはそれは湿気易いか両方だ; fact30 -> int7: もしもその経済的背景は腺だとしたら「厚しけれど生え易くない」ということは偽だ; fact29 -> int8: 仮にその経済的背景がおどろおどろしいとしたらそれは腺である; fact25 -> int9: その経済的背景がダウンしないならそれはおどろおどろしいし御返事する; fact31 -> int10: 「愛しいということはない」物はある; int10 & fact24 -> int11: その経済的背景は濃いということはないし加えてダウンするということはない; int11 -> int12: その経済的背景はダウンしない; int9 & int12 -> int13: その経済的背景はおどろおどろしいしそれは御返事する; int13 -> int14: その経済的背景はおどろおどろしい; int8 & int14 -> int15: その経済的背景は腺である; int7 & int15 -> int16: 「「その経済的背景は厚し一方で生え易くない」ということは正しい」ということは間違いである; int16 -> int17: 「「厚ししおまけに生え易いということはない」ということは成り立たない」物はある; int17 & fact33 -> int18: この微量元素は四角くない; int6 & int18 -> int19: この微量元素は憎むかあるいは湿気易いかもしくはどちらもだ; int19 & fact27 & fact26 -> int20: その下請け法は憎む; int5 & int20 -> hypothesis;
$facts$ = fact1: 仮に「この微量元素は綴り込まなくてしかもそれは肘掛け椅子でない」ということは嘘だとすればそれは湿気易いということはない fact2: もしなにかは腺であるとしたら「厚ししかつそれは生え易くない」ということは嘘である fact3: あの末梢血リンパ球数は愛しくない fact4: もしもあの沽券が信仰箇条だということはないけれど生き易いとしたらそれは肘掛け椅子でない fact5: もし仮になにがしかのものがダウンしないとするとそれはおどろおどろしいしそれは御返事する fact6: もしも何らかのものがおどろおどろしいならそれは腺である fact7: もし仮に「この微量元素は肘掛け椅子である」ということは成り立つとすればそれは湿気易くない fact8: もしもその経済的背景が憎まないとしたらこの微量元素は女性国際戦犯法廷でないし加えて四角くない fact9: もしあのポリメトキシル化フラボンは厚しないとすれば「あの末梢血リンパ球数は湿気易くないけど憎む」ということは間違いだ fact10: 仮に「「厚しがしかし生え易くない」ということは成り立たない」物はあるとしたら「この微量元素は四角くない」ということは正しい fact11: 「この微量元素は肘掛け椅子でないしその上それはやくざっぽいということはない」ということは成り立たない fact12: もし仮にその女子美術大学生は賢しないとしたら「憎むということはなくてそれにそれは不足し易いということはない」ということは成り立たない fact13: この微量元素は湿気易い fact14: 「愛しくない」ものがあるならその経済的背景は濃くないしそれはダウンしない fact15: 四角くないものは憎むかあるいは湿気易いかあるいはどちらもである fact16: この微量元素は湿気易いとしたら「その下請け法は憎む」ということは真実である fact17: もし仮にとある物は憎むとすると「拡張しなくてしかも女性国際戦犯法廷でない」ということは誤っている fact18: もしこの微量元素が綴り込まないしさらにそれは肘掛け椅子でないならそれは憎まない fact19: 仮にこの微量元素が濃くない一方でそれが綴り込めばそれは断らない fact20: 仮に「この微量元素は四角くないしさらに発光でない」ということは事実と異なるとすればそれは皮膚・粘膜でない fact21: もし仮にこの微量元素が憎めばその下請け法は憎む fact22: もし仮にこの微量元素は憎まないとすると「女性国際戦犯法廷でないし四角くない」ということは正しくない fact23: もしも「この微量元素は賀寿でないが恵まれる」ということは真実ならばそれは勘違いし易くない ; $hypothesis$ = 「この微量元素は女性国際戦犯法廷でないししかも四角くない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この微量元素は綴り込まないしおまけに肘掛け椅子でない」ということは真実である」ということは間違いだ; fact1 & assump1 -> int1: この微量元素は湿気易くない; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: この微量元素は綴り込まないしそれに肘掛け椅子でない; int3 & fact18 -> int4: この微量元素は憎まない; int4 & fact22 -> hypothesis; __PROVED__
事実1: 仮に「この微量元素は綴り込まなくてしかもそれは肘掛け椅子でない」ということは嘘だとすればそれは湿気易いということはない
事実2: もしなにかは腺であるとしたら「厚ししかつそれは生え易くない」ということは嘘である
事実3: あの末梢血リンパ球数は愛しくない
事実4: もしもあの沽券が信仰箇条だということはないけれど生き易いとしたらそれは肘掛け椅子でない
事実5: もし仮になにがしかのものがダウンしないとするとそれはおどろおどろしいしそれは御返事する
事実6: もしも何らかのものがおどろおどろしいならそれは腺である
事実7: もし仮に「この微量元素は肘掛け椅子である」ということは成り立つとすればそれは湿気易くない
事実8: もしもその経済的背景が憎まないとしたらこの微量元素は女性国際戦犯法廷でないし加えて四角くない
事実9: もしあのポリメトキシル化フラボンは厚しないとすれば「あの末梢血リンパ球数は湿気易くないけど憎む」ということは間違いだ
事実10: 仮に「「厚しがしかし生え易くない」ということは成り立たない」物はあるとしたら「この微量元素は四角くない」ということは正しい
事実11: 「この微量元素は肘掛け椅子でないしその上それはやくざっぽいということはない」ということは成り立たない
事実12: もし仮にその女子美術大学生は賢しないとしたら「憎むということはなくてそれにそれは不足し易いということはない」ということは成り立たない
事実13: この微量元素は湿気易い
事実14: 「愛しくない」ものがあるならその経済的背景は濃くないしそれはダウンしない
事実15: 四角くないものは憎むかあるいは湿気易いかあるいはどちらもである
事実16: この微量元素は湿気易いとしたら「その下請け法は憎む」ということは真実である
事実17: もし仮にとある物は憎むとすると「拡張しなくてしかも女性国際戦犯法廷でない」ということは誤っている
事実18: もしこの微量元素が綴り込まないしさらにそれは肘掛け椅子でないならそれは憎まない
事実19: 仮にこの微量元素が濃くない一方でそれが綴り込めばそれは断らない
事実20: 仮に「この微量元素は四角くないしさらに発光でない」ということは事実と異なるとすればそれは皮膚・粘膜でない
事実21: もし仮にこの微量元素が憎めばその下請け法は憎む
事実22: もし仮にこの微量元素は憎まないとすると「女性国際戦犯法廷でないし四角くない」ということは正しくない
事実23: もしも「この微量元素は賀寿でないが恵まれる」ということは真実ならばそれは勘違いし易くない

仮説: 「この微量元素は女性国際戦犯法廷でないししかも四角くない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「「この微量元素は綴り込まないしおまけに肘掛け椅子でない」ということは真実である」ということは間違いだ
2. 事実1と仮定1から、推論1: "この微量元素は湿気易くない"が導かれる
3. 推論1と事実13から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この微量元素は綴り込まないしそれに肘掛け椅子でない"が導かれる
5. 推論3と事実18から、推論4: "この微量元素は憎まない"が導かれる
6. 推論4と事実22から、仮説が導かれる

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