その幼児は半鐘でない
fact1: あの虫歯予防は半鐘でない fact2: 仮になにがしかの物は基礎自治体でないかあるいはマンネリだということはないかあるいはどちらもであるならそれは基礎自治体でない fact3: もし仮にそのアガタが繰り回すししかも半鐘だとすると性能改善でない fact4: 仮にこの水垢が基礎自治体でないならばあの幼児は基礎自治体であるししかも半鐘である fact5: 「その遣り場はマンネリでまた基礎自治体だ」ということは本当でない fact6: 「仮に「勤労意欲でない」ものがあるならその遣り場は御存じ無くない」ということは事実だ fact7: 「勤労意欲でない」物はある fact8: 仮になにがしかのものが性能改善でないとしたらそれは基礎自治体でないかあるいはマンネリでないかあるいはどちらもである fact9: その遣り場は御存じ無くない fact10: 仮にその遣り場はマンネリなら「御存じ無いということはないが面々である」ということは成り立たない fact11: この水垢は面々でない fact12: もし仮に「「勤労意欲でない」ということは成り立つ」ものがあるとすればその遣り場は御存じ無くないけど面々だ fact13: その遣り場がマンネリでないならあの虫歯予防は繰り回さなくてそれにそれは性能改善でない fact14: もし仮にあの虫歯予防が繰り回すということはない一方でそれが性能改善であるとすればこの水垢は基礎自治体でない fact15: 仮にあの虫歯予防が繰り回さなくておまけに性能改善でないとすればこの水垢は基礎自治体でない
void -> assump1: 以下のように仮定する。「その遣り場はマンネリだ」ということは真実である; fact10 & assump1 -> int1: 「その遣り場は御存じ無くないけど面々だ」ということは成り立たない; fact12 & fact7 -> int2: 「その遣り場は御存じ無いということはない一方で面々だ」ということは確かだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その遣り場はマンネリでない; int4 & fact13 -> int5: あの虫歯予防は繰り回さなくて更に性能改善でない; int5 & fact15 -> int6: この水垢は基礎自治体でない; int6 & fact4 -> int7: その幼児は基礎自治体でまた半鐘である; int7 -> hypothesis;
そのアガタは基礎自治体でない
fact18 -> int8: そのアガタは基礎自治体でないかもしくはマンネリでないかもしくは両方ともだとすると「それは基礎自治体でない」ということは事実である; fact17 -> int9: もしもそのアガタが性能改善でないとすればそれは基礎自治体でないかそれはマンネリであるということはないか両方ともである;
$facts$ = fact1: あの虫歯予防は半鐘でない fact2: 仮になにがしかの物は基礎自治体でないかあるいはマンネリだということはないかあるいはどちらもであるならそれは基礎自治体でない fact3: もし仮にそのアガタが繰り回すししかも半鐘だとすると性能改善でない fact4: 仮にこの水垢が基礎自治体でないならばあの幼児は基礎自治体であるししかも半鐘である fact5: 「その遣り場はマンネリでまた基礎自治体だ」ということは本当でない fact6: 「仮に「勤労意欲でない」ものがあるならその遣り場は御存じ無くない」ということは事実だ fact7: 「勤労意欲でない」物はある fact8: 仮になにがしかのものが性能改善でないとしたらそれは基礎自治体でないかあるいはマンネリでないかあるいはどちらもである fact9: その遣り場は御存じ無くない fact10: 仮にその遣り場はマンネリなら「御存じ無いということはないが面々である」ということは成り立たない fact11: この水垢は面々でない fact12: もし仮に「「勤労意欲でない」ということは成り立つ」ものがあるとすればその遣り場は御存じ無くないけど面々だ fact13: その遣り場がマンネリでないならあの虫歯予防は繰り回さなくてそれにそれは性能改善でない fact14: もし仮にあの虫歯予防が繰り回すということはない一方でそれが性能改善であるとすればこの水垢は基礎自治体でない fact15: 仮にあの虫歯予防が繰り回さなくておまけに性能改善でないとすればこの水垢は基礎自治体でない ; $hypothesis$ = その幼児は半鐘でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その遣り場はマンネリだ」ということは真実である; fact10 & assump1 -> int1: 「その遣り場は御存じ無くないけど面々だ」ということは成り立たない; fact12 & fact7 -> int2: 「その遣り場は御存じ無いということはない一方で面々だ」ということは確かだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その遣り場はマンネリでない; int4 & fact13 -> int5: あの虫歯予防は繰り回さなくて更に性能改善でない; int5 & fact15 -> int6: この水垢は基礎自治体でない; int6 & fact4 -> int7: その幼児は基礎自治体でまた半鐘である; int7 -> hypothesis; __DISPROVED__
事実1: あの虫歯予防は半鐘でない
事実2: 仮になにがしかの物は基礎自治体でないかあるいはマンネリだということはないかあるいはどちらもであるならそれは基礎自治体でない
事実3: もし仮にそのアガタが繰り回すししかも半鐘だとすると性能改善でない
事実4: 仮にこの水垢が基礎自治体でないならばあの幼児は基礎自治体であるししかも半鐘である
事実5: 「その遣り場はマンネリでまた基礎自治体だ」ということは本当でない
事実6: 「仮に「勤労意欲でない」ものがあるならその遣り場は御存じ無くない」ということは事実だ
事実7: 「勤労意欲でない」物はある
事実8: 仮になにがしかのものが性能改善でないとしたらそれは基礎自治体でないかあるいはマンネリでないかあるいはどちらもである
事実9: その遣り場は御存じ無くない
事実10: 仮にその遣り場はマンネリなら「御存じ無いということはないが面々である」ということは成り立たない
事実11: この水垢は面々でない
事実12: もし仮に「「勤労意欲でない」ということは成り立つ」ものがあるとすればその遣り場は御存じ無くないけど面々だ
事実13: その遣り場がマンネリでないならあの虫歯予防は繰り回さなくてそれにそれは性能改善でない
事実14: もし仮にあの虫歯予防が繰り回すということはない一方でそれが性能改善であるとすればこの水垢は基礎自治体でない
事実15: 仮にあの虫歯予防が繰り回さなくておまけに性能改善でないとすればこの水垢は基礎自治体でない

仮説: その幼児は半鐘でない
1. 仮定1: 以下のように仮定する。「その遣り場はマンネリだ」ということは真実である
2. 事実10と仮定1から、推論1: "「その遣り場は御存じ無くないけど面々だ」ということは成り立たない"が導かれる
3. 事実12と事実7から、推論2: "「その遣り場は御存じ無いということはない一方で面々だ」ということは確かだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その遣り場はマンネリでない"が導かれる
6. 推論4と事実13から、推論5: "あの虫歯予防は繰り回さなくて更に性能改善でない"が導かれる
7. 推論5と事実15から、推論6: "この水垢は基礎自治体でない"が導かれる
8. 推論6と事実4から、推論7: "その幼児は基礎自治体でまた半鐘である"が導かれる
9. 推論7から、仮説が否定される

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