「この資源保護がみっともないしその上減らす」ということは間違いだ
fact1: 掛け易くない物は行い始めるかあるいは一バイト文字であるかあるいはどちらもだ fact2: もしあの発光部が一バイト文字だとしたらこの資源保護は事切れる fact3: その毎度は美々しい fact4: あの発光部は一バイト文字でないとすると「この資源保護はみっともないしそれは減らす」ということは成り立たない fact5: あの発光部は掛け易い fact6: もし遠位部が切らないならばそれはみっともないということはない fact7: もしなにかはみっともなくないとしたら「それは掛け易いしおまけに減らす」ということは確かでない fact8: 仮にこの資源保護は一バイト文字でないとしたらそれは行い始める fact9: 「あの発光部は事切れるし行い始める」ということは成り立たない fact10: 「仮にその毎度が美々しいとしたらその毎度は遠位部だけれど切らない」ということは真実だ fact11: もし仮にこの資源保護は一バイト文字であるならば減らす fact12: もしもあの発光部が事切れるならそれは掛け易くない fact13: この資源保護はみっともない fact14: もし仮にこの資源保護は行い始めるとすると「あの発光部は事切れるし行い始める」ということは成り立たない fact15: 仮にその毎度が行い始めるがしかしそれが一バイト文字でないとしたらあの発光部は一バイト文字でない fact16: あの利用者はみっともない fact17: 仮に「あの発光部は事切れないが行い始める」ということは事実と異なるとすればそれは掛け易くない fact18: 仮にこの資源保護は行い始めるとすれば「あの発光部は事切れないけどそれは行い始める」ということは正しいということはない
void -> assump1: 以下のように仮定する。この資源保護は一バイト文字でない; fact8 & assump1 -> int1: この資源保護は行い始める; int1 & fact18 -> int2: 「あの発光部は事切れないがしかしそれは行い始める」ということは誤りである; int2 & fact17 -> int3: あの発光部は掛け易くない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: この資源保護は一バイト文字である; int5 & fact11 -> int6: この資源保護は減らす; int6 & fact13 -> hypothesis;
この資源保護は事切れる
fact22 -> int7: その毎度は掛け易くないとするとそれは行い始めるかあるいは一バイト文字だ; fact24 -> int8: もし仮にその毎度はみっともなくないならば「それは掛け易いし加えてそれは減らす」ということは確かでない; fact20 -> int9: 仮にその毎度が遠位部であるがそれが切らないとするとそれはみっともないということはない; fact23 & fact19 -> int10: その毎度は遠位部である一方で切らない; int9 & int10 -> int11: 「その毎度はみっともなくない」ということは確かだ; int8 & int11 -> int12: 「その毎度は掛け易くて減らす」ということは間違いである;
$facts$ = fact1: 掛け易くない物は行い始めるかあるいは一バイト文字であるかあるいはどちらもだ fact2: もしあの発光部が一バイト文字だとしたらこの資源保護は事切れる fact3: その毎度は美々しい fact4: あの発光部は一バイト文字でないとすると「この資源保護はみっともないしそれは減らす」ということは成り立たない fact5: あの発光部は掛け易い fact6: もし遠位部が切らないならばそれはみっともないということはない fact7: もしなにかはみっともなくないとしたら「それは掛け易いしおまけに減らす」ということは確かでない fact8: 仮にこの資源保護は一バイト文字でないとしたらそれは行い始める fact9: 「あの発光部は事切れるし行い始める」ということは成り立たない fact10: 「仮にその毎度が美々しいとしたらその毎度は遠位部だけれど切らない」ということは真実だ fact11: もし仮にこの資源保護は一バイト文字であるならば減らす fact12: もしもあの発光部が事切れるならそれは掛け易くない fact13: この資源保護はみっともない fact14: もし仮にこの資源保護は行い始めるとすると「あの発光部は事切れるし行い始める」ということは成り立たない fact15: 仮にその毎度が行い始めるがしかしそれが一バイト文字でないとしたらあの発光部は一バイト文字でない fact16: あの利用者はみっともない fact17: 仮に「あの発光部は事切れないが行い始める」ということは事実と異なるとすればそれは掛け易くない fact18: 仮にこの資源保護は行い始めるとすれば「あの発光部は事切れないけどそれは行い始める」ということは正しいということはない ; $hypothesis$ = 「この資源保護がみっともないしその上減らす」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この資源保護は一バイト文字でない; fact8 & assump1 -> int1: この資源保護は行い始める; int1 & fact18 -> int2: 「あの発光部は事切れないがしかしそれは行い始める」ということは誤りである; int2 & fact17 -> int3: あの発光部は掛け易くない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: この資源保護は一バイト文字である; int5 & fact11 -> int6: この資源保護は減らす; int6 & fact13 -> hypothesis; __DISPROVED__
事実1: 掛け易くない物は行い始めるかあるいは一バイト文字であるかあるいはどちらもだ
事実2: もしあの発光部が一バイト文字だとしたらこの資源保護は事切れる
事実3: その毎度は美々しい
事実4: あの発光部は一バイト文字でないとすると「この資源保護はみっともないしそれは減らす」ということは成り立たない
事実5: あの発光部は掛け易い
事実6: もし遠位部が切らないならばそれはみっともないということはない
事実7: もしなにかはみっともなくないとしたら「それは掛け易いしおまけに減らす」ということは確かでない
事実8: 仮にこの資源保護は一バイト文字でないとしたらそれは行い始める
事実9: 「あの発光部は事切れるし行い始める」ということは成り立たない
事実10: 「仮にその毎度が美々しいとしたらその毎度は遠位部だけれど切らない」ということは真実だ
事実11: もし仮にこの資源保護は一バイト文字であるならば減らす
事実12: もしもあの発光部が事切れるならそれは掛け易くない
事実13: この資源保護はみっともない
事実14: もし仮にこの資源保護は行い始めるとすると「あの発光部は事切れるし行い始める」ということは成り立たない
事実15: 仮にその毎度が行い始めるがしかしそれが一バイト文字でないとしたらあの発光部は一バイト文字でない
事実16: あの利用者はみっともない
事実17: 仮に「あの発光部は事切れないが行い始める」ということは事実と異なるとすればそれは掛け易くない
事実18: 仮にこの資源保護は行い始めるとすれば「あの発光部は事切れないけどそれは行い始める」ということは正しいということはない

仮説: 「この資源保護がみっともないしその上減らす」ということは間違いだ
1. 仮定1: 以下のように仮定する。この資源保護は一バイト文字でない
2. 事実8と仮定1から、推論1: "この資源保護は行い始める"が導かれる
3. 推論1と事実18から、推論2: "「あの発光部は事切れないがしかしそれは行い始める」ということは誤りである"が導かれる
4. 推論2と事実17から、推論3: "あの発光部は掛け易くない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この資源保護は一バイト文字である"が導かれる
7. 推論5と事実11から、推論6: "この資源保護は減らす"が導かれる
8. 推論6と事実13から、仮説が否定される

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