「その心置きは注解でないかあるいは与え易いか両方ともだ」ということは嘘である
fact1: もしもあの休息時間が茶色っぽくないとしたら読み耽る fact2: 仮に何かは匿う一方で展開し易くないとすれば「注解でない」ということは確かだ fact3: あの休息時間は茶色っぽいということはない fact4: もしもなにがしかのものが読み耽らないとしたらそれは匿うけれど展開し易くない fact5: その心置きは匿う fact6: あの休息時間は匿う fact7: 仮に「このメディカルチェックは与え易くない」ということは嘘であるということはないならば「その心置きは注解でないかもしくはそれは与え易いかもしくは両方ともだ」ということは偽である fact8: もしあの休息時間が与え易いということはないとするとそれは展開し易い fact9: 「仮に茶色っぽくないものは判別し難くないとするとそれは読み耽らない」ということは事実である fact10: この多血症は匿う fact11: もしもこのメディカルチェックが匿うし与え易いとしたらあの休息時間は展開し易くない fact12: もしも「このメディカルチェックは本真物でない」ということは本当ならその心置きは茶色っぽいということはないししかもそれは判別し難くない fact13: このメディカルチェックは匿う fact14: 何かは読み耽るなら展開し易い
void -> assump1: 以下のように仮定する。このメディカルチェックは与え易い; fact13 & assump1 -> int1: このメディカルチェックは匿うしその上与え易い; int1 & fact11 -> int2: あの休息時間は展開し易くない; fact3 & fact1 -> int3: あの休息時間は読み耽る; fact14 -> int4: あの休息時間が読み耽るとするとそれは展開し易い; int3 & int4 -> int5: あの休息時間は展開し易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このメディカルチェックは与え易くない」ということは成り立つ; int7 & fact7 -> hypothesis;
その心置きは注解でないかまたは与え易いか両方ともだ
fact18 -> int8: その心置きは匿う一方で展開し易いということはないとしたらそれは注解でない; fact15 -> int9: もしその心置きは読み耽らないとすれば「匿うけれど展開し易くない」ということは事実である; fact16 -> int10: もしもその心置きが茶色っぽくないし加えてそれは判別し難くないとしたらそれは読み耽らない;
$facts$ = fact1: もしもあの休息時間が茶色っぽくないとしたら読み耽る fact2: 仮に何かは匿う一方で展開し易くないとすれば「注解でない」ということは確かだ fact3: あの休息時間は茶色っぽいということはない fact4: もしもなにがしかのものが読み耽らないとしたらそれは匿うけれど展開し易くない fact5: その心置きは匿う fact6: あの休息時間は匿う fact7: 仮に「このメディカルチェックは与え易くない」ということは嘘であるということはないならば「その心置きは注解でないかもしくはそれは与え易いかもしくは両方ともだ」ということは偽である fact8: もしあの休息時間が与え易いということはないとするとそれは展開し易い fact9: 「仮に茶色っぽくないものは判別し難くないとするとそれは読み耽らない」ということは事実である fact10: この多血症は匿う fact11: もしもこのメディカルチェックが匿うし与え易いとしたらあの休息時間は展開し易くない fact12: もしも「このメディカルチェックは本真物でない」ということは本当ならその心置きは茶色っぽいということはないししかもそれは判別し難くない fact13: このメディカルチェックは匿う fact14: 何かは読み耽るなら展開し易い ; $hypothesis$ = 「その心置きは注解でないかあるいは与え易いか両方ともだ」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。このメディカルチェックは与え易い; fact13 & assump1 -> int1: このメディカルチェックは匿うしその上与え易い; int1 & fact11 -> int2: あの休息時間は展開し易くない; fact3 & fact1 -> int3: あの休息時間は読み耽る; fact14 -> int4: あの休息時間が読み耽るとするとそれは展開し易い; int3 & int4 -> int5: あの休息時間は展開し易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「このメディカルチェックは与え易くない」ということは成り立つ; int7 & fact7 -> hypothesis; __PROVED__
事実1: もしもあの休息時間が茶色っぽくないとしたら読み耽る
事実2: 仮に何かは匿う一方で展開し易くないとすれば「注解でない」ということは確かだ
事実3: あの休息時間は茶色っぽいということはない
事実4: もしもなにがしかのものが読み耽らないとしたらそれは匿うけれど展開し易くない
事実5: その心置きは匿う
事実6: あの休息時間は匿う
事実7: 仮に「このメディカルチェックは与え易くない」ということは嘘であるということはないならば「その心置きは注解でないかもしくはそれは与え易いかもしくは両方ともだ」ということは偽である
事実8: もしあの休息時間が与え易いということはないとするとそれは展開し易い
事実9: 「仮に茶色っぽくないものは判別し難くないとするとそれは読み耽らない」ということは事実である
事実10: この多血症は匿う
事実11: もしもこのメディカルチェックが匿うし与え易いとしたらあの休息時間は展開し易くない
事実12: もしも「このメディカルチェックは本真物でない」ということは本当ならその心置きは茶色っぽいということはないししかもそれは判別し難くない
事実13: このメディカルチェックは匿う
事実14: 何かは読み耽るなら展開し易い

仮説: 「その心置きは注解でないかあるいは与え易いか両方ともだ」ということは嘘である
1. 仮定1: 以下のように仮定する。このメディカルチェックは与え易い
2. 事実13と仮定1から、推論1: "このメディカルチェックは匿うしその上与え易い"が導かれる
3. 推論1と事実11から、推論2: "あの休息時間は展開し易くない"が導かれる
4. 事実3と事実1から、推論3: "あの休息時間は読み耽る"が導かれる
5. 事実14から、推論4: "あの休息時間が読み耽るとするとそれは展開し易い"が導かれる
6. 推論3と推論4から、推論5: "あの休息時間は展開し易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「このメディカルチェックは与え易くない」ということは成り立つ"が導かれる
9. 推論7と事実7から、仮説が導かれる

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