あの扁平円柱上皮接合部は重んぜない
fact1: もし仮にこの記号等は惜しくないとすれば「組織特性でなくて読み易くない」ということは偽である fact2: 「この記号等はプレーンテキストモードであるかあるいは成育するということはない」ということは事実と異なる fact3: もし「なんらかの物は課金しないかまたは兄貴達でないかもしくはどちらもである」ということは成り立たないならそれは行き易いということはない fact4: 小さい物はプレーンテキストモードであるということはないしさらに重んぜない fact5: 「この記号等はプレーンテキストモードであるかまたは成育しないかあるいは両方ともである」ということは成り立たないならば「あの市町村史は小さくない」ということは確かだ fact6: もしも「この記号等はプレーンテキストモードであるか成育する」ということは嘘であるとしたらあの市町村史は小さくない fact7: 「この記号等は惜しいし障う」ということは成り立たないとすると「それは惜しくない」ということは成り立つ fact8: もし仮になにがしかのものは組織特性でないとすれば「課金しないかそれは兄貴達でないかもしくは両方である」ということは成り立たない fact9: この無電池電話は小さくない fact10: 仮に「あの市町村史は小さい」ということは成り立てばあの扁平円柱上皮接合部は小さい fact11: 仮に「あの扁平円柱上皮接合部は重んぜない」ということは正しいならばあの市町村史は小さい fact12: もしも「この記号等は組織特性でないしさらに読み易くない」ということは間違っているならあの市町村史は組織特性でない fact13: もしもとあるものは行き易いとしたら「それはプレーンテキストモードであるということはなくて更に成育する」ということは成り立たない fact14: 「あの市町村史は成育する」ということは誤りであるということはないなら「あの扁平円柱上皮接合部は小さい」ということは本当だ fact15: 行き易くない物は成育するか小さいかまたは両方ともである fact16: この記号等は出席出来る fact17: なんらかの物は政務官でないならば「惜しくてそれに障う」ということは成り立つということはない fact18: 仮にとある物が成育するとしたら重んぜないしその上小さい
void -> assump1: 以下のように仮定する。「あの扁平円柱上皮接合部は重んずる」ということは成り立たない; fact11 & assump1 -> int1: あの市町村史は小さい; fact5 & fact2 -> int2: あの市町村史は小さいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact11 & assump1 -> int1: {B}{b}; fact5 & fact2 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの扁平円柱上皮接合部は重んぜない」ということは事実だ
fact20 -> int4: もしもあの扁平円柱上皮接合部が成育するとしたらそれは重んぜないしその上それは小さい; fact19 -> int5: 「あの市町村史は行き易い」ということは事実であるとしたら「プレーンテキストモードでなくてその上それは成育する」ということは本当でない;
$facts$ = fact1: もし仮にこの記号等は惜しくないとすれば「組織特性でなくて読み易くない」ということは偽である fact2: 「この記号等はプレーンテキストモードであるかあるいは成育するということはない」ということは事実と異なる fact3: もし「なんらかの物は課金しないかまたは兄貴達でないかもしくはどちらもである」ということは成り立たないならそれは行き易いということはない fact4: 小さい物はプレーンテキストモードであるということはないしさらに重んぜない fact5: 「この記号等はプレーンテキストモードであるかまたは成育しないかあるいは両方ともである」ということは成り立たないならば「あの市町村史は小さくない」ということは確かだ fact6: もしも「この記号等はプレーンテキストモードであるか成育する」ということは嘘であるとしたらあの市町村史は小さくない fact7: 「この記号等は惜しいし障う」ということは成り立たないとすると「それは惜しくない」ということは成り立つ fact8: もし仮になにがしかのものは組織特性でないとすれば「課金しないかそれは兄貴達でないかもしくは両方である」ということは成り立たない fact9: この無電池電話は小さくない fact10: 仮に「あの市町村史は小さい」ということは成り立てばあの扁平円柱上皮接合部は小さい fact11: 仮に「あの扁平円柱上皮接合部は重んぜない」ということは正しいならばあの市町村史は小さい fact12: もしも「この記号等は組織特性でないしさらに読み易くない」ということは間違っているならあの市町村史は組織特性でない fact13: もしもとあるものは行き易いとしたら「それはプレーンテキストモードであるということはなくて更に成育する」ということは成り立たない fact14: 「あの市町村史は成育する」ということは誤りであるということはないなら「あの扁平円柱上皮接合部は小さい」ということは本当だ fact15: 行き易くない物は成育するか小さいかまたは両方ともである fact16: この記号等は出席出来る fact17: なんらかの物は政務官でないならば「惜しくてそれに障う」ということは成り立つということはない fact18: 仮にとある物が成育するとしたら重んぜないしその上小さい ; $hypothesis$ = あの扁平円柱上皮接合部は重んぜない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの扁平円柱上皮接合部は重んずる」ということは成り立たない; fact11 & assump1 -> int1: あの市町村史は小さい; fact5 & fact2 -> int2: あの市町村史は小さいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの記号等は惜しくないとすれば「組織特性でなくて読み易くない」ということは偽である
事実2: 「この記号等はプレーンテキストモードであるかあるいは成育するということはない」ということは事実と異なる
事実3: もし「なんらかの物は課金しないかまたは兄貴達でないかもしくはどちらもである」ということは成り立たないならそれは行き易いということはない
事実4: 小さい物はプレーンテキストモードであるということはないしさらに重んぜない
事実5: 「この記号等はプレーンテキストモードであるかまたは成育しないかあるいは両方ともである」ということは成り立たないならば「あの市町村史は小さくない」ということは確かだ
事実6: もしも「この記号等はプレーンテキストモードであるか成育する」ということは嘘であるとしたらあの市町村史は小さくない
事実7: 「この記号等は惜しいし障う」ということは成り立たないとすると「それは惜しくない」ということは成り立つ
事実8: もし仮になにがしかのものは組織特性でないとすれば「課金しないかそれは兄貴達でないかもしくは両方である」ということは成り立たない
事実9: この無電池電話は小さくない
事実10: 仮に「あの市町村史は小さい」ということは成り立てばあの扁平円柱上皮接合部は小さい
事実11: 仮に「あの扁平円柱上皮接合部は重んぜない」ということは正しいならばあの市町村史は小さい
事実12: もしも「この記号等は組織特性でないしさらに読み易くない」ということは間違っているならあの市町村史は組織特性でない
事実13: もしもとあるものは行き易いとしたら「それはプレーンテキストモードであるということはなくて更に成育する」ということは成り立たない
事実14: 「あの市町村史は成育する」ということは誤りであるということはないなら「あの扁平円柱上皮接合部は小さい」ということは本当だ
事実15: 行き易くない物は成育するか小さいかまたは両方ともである
事実16: この記号等は出席出来る
事実17: なんらかの物は政務官でないならば「惜しくてそれに障う」ということは成り立つということはない
事実18: 仮にとある物が成育するとしたら重んぜないしその上小さい

仮説: あの扁平円柱上皮接合部は重んぜない
1. 仮定1: 以下のように仮定する。「あの扁平円柱上皮接合部は重んずる」ということは成り立たない
2. 事実11と仮定1から、推論1: "あの市町村史は小さい"が導かれる
3. 事実5と事実2から、推論2: "あの市町村史は小さいということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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