「「すこくない」ものはある」ということは誤りだ
fact1: このＡ子さんは周知性だ fact2: もし「この浜中町農協女性部はすこいが上等でない」ということは誤っているとしたらその中央組織は周知性だということはない fact3: このＫナウＳは一撃する fact4: もし仮に「このＡ子さんは一撃するがしかし断トツでない」ということは間違いであるとすればあの浜中町農協女性部は周知性だということはない fact5: この浜中町農協女性部はすこい fact6: もしその中央組織が上等だということはないならばこの浜中町農協女性部はすこくない fact7: このＡ子さんはすこい fact8: もしもあるものが上等でないとしたらそれが周知性だしさらにすこい fact9: この浜中町農協女性部は断トツである fact10: この浜中町農協女性部は制限期間であるし化粧する fact11: もしもその中央組織が断トツである一方でそれが上等でないとするとこのＡ子さんはすこくない fact12: 「上等でない」ものはある fact13: この浜中町農協女性部は周知性であるしその上上等だ fact14: あの五教科は百害であるしおまけに目的無し fact15: もしこのＡ子さんが一撃するけどそれが断トツでないとするとその中央組織はすこくない fact16: もしも「あの雇は推定するし上等だ」ということは成り立つということはないとしたら上等でない fact17: この浜中町農協女性部は鈍い fact18: その中央組織は泊り歩く fact19: その中央組織は終える fact20: その中央組織は一撃する fact21: その中央組織は断トツでない fact22: その十三年版は断トツだ fact23: 「この浜中町農協女性部は周知性だ一方ですこくない」ということは間違いである
void -> assump1: 以下のように仮定する。「「このＡ子さんは一撃するけれどそれは断トツでない」ということは真実だ」ということは成り立たない; fact4 & assump1 -> int1: 「この浜中町農協女性部は周知性でない」ということは真実である; fact13 -> int2: この浜中町農協女性部は周知性である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＡ子さんは一撃するけど断トツでない; int4 & fact15 -> int5: その中央組織はすこいということはない; int5 -> hypothesis;
あの雇は断トツでない
fact25 -> int6: もしあの雇が上等でないとすればそれは周知性であるしかつすこい;
$facts$ = fact1: このＡ子さんは周知性だ fact2: もし「この浜中町農協女性部はすこいが上等でない」ということは誤っているとしたらその中央組織は周知性だということはない fact3: このＫナウＳは一撃する fact4: もし仮に「このＡ子さんは一撃するがしかし断トツでない」ということは間違いであるとすればあの浜中町農協女性部は周知性だということはない fact5: この浜中町農協女性部はすこい fact6: もしその中央組織が上等だということはないならばこの浜中町農協女性部はすこくない fact7: このＡ子さんはすこい fact8: もしもあるものが上等でないとしたらそれが周知性だしさらにすこい fact9: この浜中町農協女性部は断トツである fact10: この浜中町農協女性部は制限期間であるし化粧する fact11: もしもその中央組織が断トツである一方でそれが上等でないとするとこのＡ子さんはすこくない fact12: 「上等でない」ものはある fact13: この浜中町農協女性部は周知性であるしその上上等だ fact14: あの五教科は百害であるしおまけに目的無し fact15: もしこのＡ子さんが一撃するけどそれが断トツでないとするとその中央組織はすこくない fact16: もしも「あの雇は推定するし上等だ」ということは成り立つということはないとしたら上等でない fact17: この浜中町農協女性部は鈍い fact18: その中央組織は泊り歩く fact19: その中央組織は終える fact20: その中央組織は一撃する fact21: その中央組織は断トツでない fact22: その十三年版は断トツだ fact23: 「この浜中町農協女性部は周知性だ一方ですこくない」ということは間違いである ; $hypothesis$ = 「「すこくない」ものはある」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「「このＡ子さんは一撃するけれどそれは断トツでない」ということは真実だ」ということは成り立たない; fact4 & assump1 -> int1: 「この浜中町農協女性部は周知性でない」ということは真実である; fact13 -> int2: この浜中町農協女性部は周知性である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＡ子さんは一撃するけど断トツでない; int4 & fact15 -> int5: その中央組織はすこいということはない; int5 -> hypothesis; __DISPROVED__
事実1: このＡ子さんは周知性だ
事実2: もし「この浜中町農協女性部はすこいが上等でない」ということは誤っているとしたらその中央組織は周知性だということはない
事実3: このＫナウＳは一撃する
事実4: もし仮に「このＡ子さんは一撃するがしかし断トツでない」ということは間違いであるとすればあの浜中町農協女性部は周知性だということはない
事実5: この浜中町農協女性部はすこい
事実6: もしその中央組織が上等だということはないならばこの浜中町農協女性部はすこくない
事実7: このＡ子さんはすこい
事実8: もしもあるものが上等でないとしたらそれが周知性だしさらにすこい
事実9: この浜中町農協女性部は断トツである
事実10: この浜中町農協女性部は制限期間であるし化粧する
事実11: もしもその中央組織が断トツである一方でそれが上等でないとするとこのＡ子さんはすこくない
事実12: 「上等でない」ものはある
事実13: この浜中町農協女性部は周知性であるしその上上等だ
事実14: あの五教科は百害であるしおまけに目的無し
事実15: もしこのＡ子さんが一撃するけどそれが断トツでないとするとその中央組織はすこくない
事実16: もしも「あの雇は推定するし上等だ」ということは成り立つということはないとしたら上等でない
事実17: この浜中町農協女性部は鈍い
事実18: その中央組織は泊り歩く
事実19: その中央組織は終える
事実20: その中央組織は一撃する
事実21: その中央組織は断トツでない
事実22: その十三年版は断トツだ
事実23: 「この浜中町農協女性部は周知性だ一方ですこくない」ということは間違いである

仮説: 「「すこくない」ものはある」ということは誤りだ
1. 仮定1: 以下のように仮定する。「「このＡ子さんは一撃するけれどそれは断トツでない」ということは真実だ」ということは成り立たない
2. 事実4と仮定1から、推論1: "「この浜中町農協女性部は周知性でない」ということは真実である"が導かれる
3. 事実13から、推論2: "この浜中町農協女性部は周知性である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このＡ子さんは一撃するけど断トツでない"が導かれる
6. 推論4と事実15から、推論5: "その中央組織はすこいということはない"が導かれる
7. 推論5から、仮説が否定される

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