その八十歳代は安中教会だ
fact1: もしその八十歳代が噤むとすればそれは安中教会でない fact2: もし仮に「とある物は微細化するししかもそれは耳慣れる」ということは事実でないならホールドであるということはない fact3: もし仮になにかは微細化しないとすればホールドでない fact4: もし何らかの物はホールドでないとしたら安中教会だし噤む fact5: 「再生しない」物があるとするとその八十歳代は憎み切らない fact6: その八十歳代は噤む fact7: もしその八十歳代は憎み切らないとしたら「このレイティングは微細化するしそれにそれは耳慣れる」ということは誤っている fact8: 物凄くないものは四グループでないがしかし楽しい fact9: もしもあるものが四グループでないけどそれが楽しいなら再生しない fact10: 「その大集会は物凄くない」ということは正しい fact11: この一集団は噤む
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
「このレイティングは噤む」ということは成り立つ
fact15 -> int1: もし仮にこのレイティングはホールドでないとしたら「それは安中教会であるし噤む」ということは確かだ; fact17 -> int2: もし「このレイティングは微細化するしまた耳慣れる」ということは間違っているとしたらそれはホールドでない; fact18 -> int3: 仮にその大集会が四グループでないけど楽しいとしたら「それは再生するということはない」ということは確かである; fact14 -> int4: もし仮にその大集会が物凄いということはないとしたらそれは四グループでないしまた楽しい; int4 & fact12 -> int5: その大集会は四グループでないけど楽しい; int3 & int5 -> int6: その大集会は再生しない; int6 -> int7: 「とある物は再生しない」ということは成り立つ; int7 & fact16 -> int8: その八十歳代は憎み切らない; fact13 & int8 -> int9: 「このレイティングは微細化するしさらに耳慣れる」ということは偽だ; int2 & int9 -> int10: このレイティングはホールドでない; int1 & int10 -> int11: このレイティングは安中教会であるしさらに噤む; int11 -> hypothesis;
$facts$ = fact1: もしその八十歳代が噤むとすればそれは安中教会でない fact2: もし仮に「とある物は微細化するししかもそれは耳慣れる」ということは事実でないならホールドであるということはない fact3: もし仮になにかは微細化しないとすればホールドでない fact4: もし何らかの物はホールドでないとしたら安中教会だし噤む fact5: 「再生しない」物があるとするとその八十歳代は憎み切らない fact6: その八十歳代は噤む fact7: もしその八十歳代は憎み切らないとしたら「このレイティングは微細化するしそれにそれは耳慣れる」ということは誤っている fact8: 物凄くないものは四グループでないがしかし楽しい fact9: もしもあるものが四グループでないけどそれが楽しいなら再生しない fact10: 「その大集会は物凄くない」ということは正しい fact11: この一集団は噤む ; $hypothesis$ = その八十歳代は安中教会だ ; $proof$ = 
fact1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしその八十歳代が噤むとすればそれは安中教会でない
事実2: もし仮に「とある物は微細化するししかもそれは耳慣れる」ということは事実でないならホールドであるということはない
事実3: もし仮になにかは微細化しないとすればホールドでない
事実4: もし何らかの物はホールドでないとしたら安中教会だし噤む
事実5: 「再生しない」物があるとするとその八十歳代は憎み切らない
事実6: その八十歳代は噤む
事実7: もしその八十歳代は憎み切らないとしたら「このレイティングは微細化するしそれにそれは耳慣れる」ということは誤っている
事実8: 物凄くないものは四グループでないがしかし楽しい
事実9: もしもあるものが四グループでないけどそれが楽しいなら再生しない
事実10: 「その大集会は物凄くない」ということは正しい
事実11: この一集団は噤む

仮説: その八十歳代は安中教会だ
1. 事実1と事実6から、仮説が否定される

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