「あの命中精度は旧字であるかあるいは検索するかあるいは両方である」ということは本当でない
fact1: そのフリーザーは粉っぽいかあるいはそれは匪団であるかまたは両方である fact2: もしも「その御姉様は守り給わないし苺でない」ということは事実と異なるとすればあの円建ては苺である fact3: もし仮にこの微笑が連絡し合えばこの幼児虐待は連絡し合う fact4: もしもこの幼児虐待は暗さなら「あの命中精度は旧字である」ということは真実だ fact5: なんらかの物が転轍しないとすればそれは連絡し合うしそれに暗さである fact6: もしこの幼児虐待が暗さでないかあるいはそれが匪団ならばそれは連絡し合う fact7: 恭しいものは暗さである fact8: 粉っぽくない物は連絡し合う fact9: もしもそのフリーザーが連絡し合うならばあの幼児虐待は恭しい fact10: この令夫人は旧字だ fact11: あの命中精度は触れ掛ける fact12: その発赤は連絡し合う fact13: 仮にその御姉様は入団すれば「それは守り給わないし苺でない」ということは誤っている fact14: もし仮にこの幼児虐待が連絡し合えばあの命中精度は恭しいということはない fact15: 「もしある物は恭しくないならば「それは旧字であるかそれは検索するかまたはどちらもである」ということは間違いである」ということは正しい fact16: なんらかの物が用意出来ないとしたら転轍するということはない fact17: そのフリーザーが粉っぽくないとするとそれは連絡し合う fact18: もしもなにがしかのものが粉っぽくないかそれが匪団ならばそれは連絡し合う fact19: もし「あるものがホモ野郎だけど馬鹿馬鹿しかない」ということは本当でないならそれは用意出来ない fact20: もしあるものは暗さでないかあるいは検索するかもしくは両方ならば連絡し合う fact21: 仮にあの円建ては苺だとすると「この微笑はホモ野郎だがしかし馬鹿馬鹿しいということはない」ということは間違いだ fact22: この片肺は緩む fact23: そのフリーザーは粉っぽくないか匪団であるかあるいは両方ともである
fact18 -> int1: 仮にそのフリーザーが粉っぽくないかまたは匪団であるか両方ともならそれは連絡し合う; int1 & fact23 -> int2: そのフリーザーは連絡し合う; int2 & fact9 -> int3: この幼児虐待は恭しい; fact7 -> int4: もし仮にこの幼児虐待が恭しいとしたらそれは暗さだ; int3 & int4 -> int5: この幼児虐待は暗さだ; int5 & fact4 -> int6: あの命中精度は旧字だ; int6 -> hypothesis;
「あの命中精度は旧字であるか検索するかまたは両方だ」ということは成り立たない
fact28 -> int7: もし仮に「あの命中精度は恭しいということはない」ということは事実ならば「それは旧字であるかもしくはそれは検索するかもしくはどちらもである」ということは正しいということはない; fact33 -> int8: 仮にこの微笑が転轍するということはないならば連絡し合うし暗さだ; fact31 -> int9: もしこの微笑が用意出来ないとすればそれは転轍しない; fact29 -> int10: 「この微笑はホモ野郎だ一方で馬鹿馬鹿しかない」ということは正しくないならば用意出来ない; fact25 -> int11: 「緩む」物はある;
$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$ = 
fact18 -> int1: 仮にそのフリーザーが粉っぽくないかまたは匪団であるか両方ともならそれは連絡し合う; int1 & fact23 -> int2: そのフリーザーは連絡し合う; int2 & fact9 -> int3: この幼児虐待は恭しい; fact7 -> int4: もし仮にこの幼児虐待が恭しいとしたらそれは暗さだ; int3 & int4 -> int5: この幼児虐待は暗さだ; int5 & fact4 -> int6: あの命中精度は旧字だ; int6 -> 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. 事実18から、推論1: "仮にそのフリーザーが粉っぽくないかまたは匪団であるか両方ともならそれは連絡し合う"が導かれる
2. 推論1と事実23から、推論2: "そのフリーザーは連絡し合う"が導かれる
3. 推論2と事実9から、推論3: "この幼児虐待は恭しい"が導かれる
4. 事実7から、推論4: "もし仮にこの幼児虐待が恭しいとしたらそれは暗さだ"が導かれる
5. 推論3と推論4から、推論5: "この幼児虐待は暗さだ"が導かれる
6. 推論5と事実4から、推論6: "あの命中精度は旧字だ"が導かれる
7. 推論6から、仮説が否定される

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