その夕方は挿入バーだ
fact1: もしもあの管理基準が挿入バーであるとしたらその夕方は挿入バーだ fact2: その夕方は掃除しない fact3: その都市全体は関係深いということはなくておまけに伴い易くない fact4: あの管理基準は断定し難い fact5: もし「とあるものは伴い易いしその上断定し難い」ということは成り立つということはないとすれば挿入バーでない fact6: あの管理基準が涼しいし塀際だとしたらあの編集メニューは塀際だということはない fact7: もし仮に「この行李は伴い易くないけれど挿入バーだ」ということは本当だとすればあの管理基準は挿入バーである fact8: あの管理基準は涼しい fact9: 仮にあの管理基準が伴い易いならその夕方は挿入バーでない fact10: あの管理基準は伴い易いということはない fact11: 「その夕方は挿入バーでないしまた断定し難いということはない」ということは真実でない fact12: もしも「あの管理基準は断定し難くないしおまけに伴い易くない」ということは偽ならその夕方は挿入バーでない fact13: もし「なにがしかのものは塀際でないかもしくは断定し難いかもしくはどちらもだ」ということは成り立たないとすればそれは伴い易くない fact14: その本件減価率は挿入バーだということはない fact15: 「あの管理基準は断定し難くないけどそれは伴い易い」ということは嘘である fact16: もし何らかの物は塀際でないならば「それは伴い易くておまけにそれは断定し難い」ということは成り立つということはない fact17: あの管理基準はちらちらしない
void -> assump1: 以下のように仮定する。「あの管理基準は断定し難いということはなくてそれに伴い易くない」ということは本当である; assump1 -> int1: あの管理基準は断定し難くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの管理基準は断定し難くないしさらにそれは伴い易くない」ということは成り立たない; int3 & fact12 -> hypothesis;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact12 -> hypothesis;
あの編集メニューは挿入バーでない
fact20 -> int4: もし仮に「あの編集メニューは伴い易いし断定し難い」ということは成り立つということはないとすると「それは挿入バーでない」ということは成り立つ; fact21 -> int5: もし仮にあの編集メニューは塀際でないとすれば「伴い易いしその上断定し難い」ということは確かでない;
$facts$ = fact1: もしもあの管理基準が挿入バーであるとしたらその夕方は挿入バーだ fact2: その夕方は掃除しない fact3: その都市全体は関係深いということはなくておまけに伴い易くない fact4: あの管理基準は断定し難い fact5: もし「とあるものは伴い易いしその上断定し難い」ということは成り立つということはないとすれば挿入バーでない fact6: あの管理基準が涼しいし塀際だとしたらあの編集メニューは塀際だということはない fact7: もし仮に「この行李は伴い易くないけれど挿入バーだ」ということは本当だとすればあの管理基準は挿入バーである fact8: あの管理基準は涼しい fact9: 仮にあの管理基準が伴い易いならその夕方は挿入バーでない fact10: あの管理基準は伴い易いということはない fact11: 「その夕方は挿入バーでないしまた断定し難いということはない」ということは真実でない fact12: もしも「あの管理基準は断定し難くないしおまけに伴い易くない」ということは偽ならその夕方は挿入バーでない fact13: もし「なにがしかのものは塀際でないかもしくは断定し難いかもしくはどちらもだ」ということは成り立たないとすればそれは伴い易くない fact14: その本件減価率は挿入バーだということはない fact15: 「あの管理基準は断定し難くないけどそれは伴い易い」ということは嘘である fact16: もし何らかの物は塀際でないならば「それは伴い易くておまけにそれは断定し難い」ということは成り立つということはない fact17: あの管理基準はちらちらしない ; $hypothesis$ = その夕方は挿入バーだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの管理基準は断定し難いということはなくてそれに伴い易くない」ということは本当である; assump1 -> int1: あの管理基準は断定し難くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの管理基準は断定し難くないしさらにそれは伴い易くない」ということは成り立たない; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: もしもあの管理基準が挿入バーであるとしたらその夕方は挿入バーだ
事実2: その夕方は掃除しない
事実3: その都市全体は関係深いということはなくておまけに伴い易くない
事実4: あの管理基準は断定し難い
事実5: もし「とあるものは伴い易いしその上断定し難い」ということは成り立つということはないとすれば挿入バーでない
事実6: あの管理基準が涼しいし塀際だとしたらあの編集メニューは塀際だということはない
事実7: もし仮に「この行李は伴い易くないけれど挿入バーだ」ということは本当だとすればあの管理基準は挿入バーである
事実8: あの管理基準は涼しい
事実9: 仮にあの管理基準が伴い易いならその夕方は挿入バーでない
事実10: あの管理基準は伴い易いということはない
事実11: 「その夕方は挿入バーでないしまた断定し難いということはない」ということは真実でない
事実12: もしも「あの管理基準は断定し難くないしおまけに伴い易くない」ということは偽ならその夕方は挿入バーでない
事実13: もし「なにがしかのものは塀際でないかもしくは断定し難いかもしくはどちらもだ」ということは成り立たないとすればそれは伴い易くない
事実14: その本件減価率は挿入バーだということはない
事実15: 「あの管理基準は断定し難くないけどそれは伴い易い」ということは嘘である
事実16: もし何らかの物は塀際でないならば「それは伴い易くておまけにそれは断定し難い」ということは成り立つということはない
事実17: あの管理基準はちらちらしない

仮説: その夕方は挿入バーだ
1. 仮定1: 以下のように仮定する。「あの管理基準は断定し難いということはなくてそれに伴い易くない」ということは本当である
2. 仮定1から、推論1: "あの管理基準は断定し難くない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの管理基準は断定し難くないしさらにそれは伴い易くない」ということは成り立たない"が導かれる
5. 推論3と事実12から、仮説が否定される

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