あの公正証書遺言は肉付けしない
fact1: 仮に「何かは肉付けしない」ということは正しいとしたら「それは真っ暗くないがしかしみっとも可愛い」ということは間違いである fact2: とあるものは切除・端々吻合でないとしたら「それは行き難くないがしかしげっそりする」ということは事実と異なる fact3: もし仮に何らかのものが切除・端々吻合だということはないとしたら真っ暗くない fact4: 仮に「あの飯は行き難くておまけにげっそりする」ということは間違っているとしたらこの現政府は肉付けするということはない fact5: あの飯は侍するし満遍無い fact6: もし仮に「あの公正証書遺言は行き難いがしかしげっそりするということはない」ということは成り立たないとしたら切除・端々吻合でない fact7: もしあの飯は満遍無いとすると「太陽神経叢だということはなくておまけに及ぼし合う」ということは誤っている fact8: 仮に「「あの飯は太陽神経叢でないがしかしそれは及ぼし合う」ということは間違いだ」ということは本当であるならばこの七月上旬は太陽神経叢だ fact9: もし仮に「なにがしかの物は甘ーくないけど当該区域内である」ということは真実でないならばそれはげっそりする fact10: もしその丸髷が行き難くないならあの公正証書遺言は肉付けしないしそれに切除・端々吻合だということはない fact11: もしも「「何らかの物は高周波凝固法であるし加えて行き難い」ということは本当だ」ということは成り立たないとすればそれは行き難くない fact12: 「あの公正証書遺言は行き難いがげっそりしない」ということは間違っている fact13: 仮に太陽神経叢があるとするとこの現政府は組織体制でない fact14: もしあの公正証書遺言が行き難くないとすれば切除・端々吻合でない fact15: もしもこの現政府は肉付けするということはないなら「その丸髷は切除・端々吻合であるがそれはみっとも可愛いということはない」ということは成り立たない fact16: もし仮に何かは組織体制でないなら「甘ーくない一方で当該区域内だ」ということは成り立たない fact17: もしもなんらかの物は切除・端々吻合でないとしたらそれは真っ暗くないけどみっとも可愛い
fact1 -> int1: もし仮にあの公正証書遺言は肉付けしないとすると「真っ暗くないがしかしみっとも可愛い」ということは間違っている; void -> assump1: 以下のように仮定する。あの公正証書遺言は肉付けしない; int1 & assump1 -> int2: 「あの公正証書遺言は真っ暗いということはないがみっとも可愛い」ということは間違っている; fact12 & fact6 -> int3: あの公正証書遺言は切除・端々吻合だということはない; fact17 -> int4: もしもあの公正証書遺言が切除・端々吻合でないとしたら真っ暗くないし更にみっとも可愛い; int3 & int4 -> int5: あの公正証書遺言は真っ暗くないがしかしみっとも可愛い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの公正証書遺言は肉付けしない
fact18 -> int7: もし仮に「その丸髷は高周波凝固法であるしそれは行き難い」ということは事実と異なるとするとそれは行き難くない; fact24 -> int8: 仮に「この現政府は甘ーくないけれど当該区域内である」ということは間違っているとするとそれはげっそりする; fact23 -> int9: もしこの現政府は組織体制でないならば「それは甘ーいということはなくておまけに当該区域内である」ということは成り立たない; fact25 -> int10: あの飯は満遍無い; fact21 & int10 -> int11: 「あの飯は太陽神経叢でないけれど及ぼし合う」ということは誤りである; fact20 & int11 -> int12: この七月上旬は太陽神経叢だ; int12 -> int13: 「太陽神経叢である」物はある; int13 & fact22 -> int14: この現政府は組織体制でない; int9 & int14 -> int15: 「この現政府は甘ーくない一方で当該区域内だ」ということは誤っている; int8 & int15 -> int16: 「この現政府はげっそりする」ということは確かである; int16 -> int17: 「げっそりする」物はある;
$facts$ = fact1: 仮に「何かは肉付けしない」ということは正しいとしたら「それは真っ暗くないがしかしみっとも可愛い」ということは間違いである fact2: とあるものは切除・端々吻合でないとしたら「それは行き難くないがしかしげっそりする」ということは事実と異なる fact3: もし仮に何らかのものが切除・端々吻合だということはないとしたら真っ暗くない fact4: 仮に「あの飯は行き難くておまけにげっそりする」ということは間違っているとしたらこの現政府は肉付けするということはない fact5: あの飯は侍するし満遍無い fact6: もし仮に「あの公正証書遺言は行き難いがしかしげっそりするということはない」ということは成り立たないとしたら切除・端々吻合でない fact7: もしあの飯は満遍無いとすると「太陽神経叢だということはなくておまけに及ぼし合う」ということは誤っている fact8: 仮に「「あの飯は太陽神経叢でないがしかしそれは及ぼし合う」ということは間違いだ」ということは本当であるならばこの七月上旬は太陽神経叢だ fact9: もし仮に「なにがしかの物は甘ーくないけど当該区域内である」ということは真実でないならばそれはげっそりする fact10: もしその丸髷が行き難くないならあの公正証書遺言は肉付けしないしそれに切除・端々吻合だということはない fact11: もしも「「何らかの物は高周波凝固法であるし加えて行き難い」ということは本当だ」ということは成り立たないとすればそれは行き難くない fact12: 「あの公正証書遺言は行き難いがげっそりしない」ということは間違っている fact13: 仮に太陽神経叢があるとするとこの現政府は組織体制でない fact14: もしあの公正証書遺言が行き難くないとすれば切除・端々吻合でない fact15: もしもこの現政府は肉付けするということはないなら「その丸髷は切除・端々吻合であるがそれはみっとも可愛いということはない」ということは成り立たない fact16: もし仮に何かは組織体制でないなら「甘ーくない一方で当該区域内だ」ということは成り立たない fact17: もしもなんらかの物は切除・端々吻合でないとしたらそれは真っ暗くないけどみっとも可愛い ; $hypothesis$ = あの公正証書遺言は肉付けしない ; $proof$ = 
fact1 -> int1: もし仮にあの公正証書遺言は肉付けしないとすると「真っ暗くないがしかしみっとも可愛い」ということは間違っている; void -> assump1: 以下のように仮定する。あの公正証書遺言は肉付けしない; int1 & assump1 -> int2: 「あの公正証書遺言は真っ暗いということはないがみっとも可愛い」ということは間違っている; fact12 & fact6 -> int3: あの公正証書遺言は切除・端々吻合だということはない; fact17 -> int4: もしもあの公正証書遺言が切除・端々吻合でないとしたら真っ暗くないし更にみっとも可愛い; int3 & int4 -> int5: あの公正証書遺言は真っ暗くないがしかしみっとも可愛い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮に「何かは肉付けしない」ということは正しいとしたら「それは真っ暗くないがしかしみっとも可愛い」ということは間違いである
事実2: とあるものは切除・端々吻合でないとしたら「それは行き難くないがしかしげっそりする」ということは事実と異なる
事実3: もし仮に何らかのものが切除・端々吻合だということはないとしたら真っ暗くない
事実4: 仮に「あの飯は行き難くておまけにげっそりする」ということは間違っているとしたらこの現政府は肉付けするということはない
事実5: あの飯は侍するし満遍無い
事実6: もし仮に「あの公正証書遺言は行き難いがしかしげっそりするということはない」ということは成り立たないとしたら切除・端々吻合でない
事実7: もしあの飯は満遍無いとすると「太陽神経叢だということはなくておまけに及ぼし合う」ということは誤っている
事実8: 仮に「「あの飯は太陽神経叢でないがしかしそれは及ぼし合う」ということは間違いだ」ということは本当であるならばこの七月上旬は太陽神経叢だ
事実9: もし仮に「なにがしかの物は甘ーくないけど当該区域内である」ということは真実でないならばそれはげっそりする
事実10: もしその丸髷が行き難くないならあの公正証書遺言は肉付けしないしそれに切除・端々吻合だということはない
事実11: もしも「「何らかの物は高周波凝固法であるし加えて行き難い」ということは本当だ」ということは成り立たないとすればそれは行き難くない
事実12: 「あの公正証書遺言は行き難いがげっそりしない」ということは間違っている
事実13: 仮に太陽神経叢があるとするとこの現政府は組織体制でない
事実14: もしあの公正証書遺言が行き難くないとすれば切除・端々吻合でない
事実15: もしもこの現政府は肉付けするということはないなら「その丸髷は切除・端々吻合であるがそれはみっとも可愛いということはない」ということは成り立たない
事実16: もし仮に何かは組織体制でないなら「甘ーくない一方で当該区域内だ」ということは成り立たない
事実17: もしもなんらかの物は切除・端々吻合でないとしたらそれは真っ暗くないけどみっとも可愛い

仮説: あの公正証書遺言は肉付けしない
1. 事実1から、推論1: "もし仮にあの公正証書遺言は肉付けしないとすると「真っ暗くないがしかしみっとも可愛い」ということは間違っている"が導かれる
2. 仮定1: 以下のように仮定する。あの公正証書遺言は肉付けしない
3. 推論1と仮定1から、推論2: "「あの公正証書遺言は真っ暗いということはないがみっとも可愛い」ということは間違っている"が導かれる
4. 事実12と事実6から、推論3: "あの公正証書遺言は切除・端々吻合だということはない"が導かれる
5. 事実17から、推論4: "もしもあの公正証書遺言が切除・端々吻合でないとしたら真っ暗くないし更にみっとも可愛い"が導かれる
6. 推論3と推論4から、推論5: "あの公正証書遺言は真っ暗くないがしかしみっとも可愛い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。