「この高層ホテルは輝かしいということはないかえげつないかどちらもである」ということは事実と異なる
fact1: もしもこの引っ張り剪断試験が単利最終利回りでないならばこの高層ホテルは輝かしいということはないかあるいはえげつないかまたは両方ともだ fact2: もし何らかのものは怖ーいなら「それは単利最終利回りであるということはないし広がり易くない」ということは間違っている fact3: この引っ張り剪断試験は単利最終利回りであるということはないかえげつないかもしくはどちらもだ fact4: もし仮にこの引っ張り剪断試験が単利最終利回りであるし怖ーいとするとこの高層ホテルは単利最終利回りでない fact5: もしこの高層ホテルは単利最終利回りでないとすると「この引っ張り剪断試験はえげつないかまたは輝かしい」ということは本当だ fact6: この高層ホテルが単利最終利回りだということはないならこの引っ張り剪断試験はえげつなくないか輝かしいかあるいは両方である fact7: 仮にこの引っ張り剪断試験は柑橘栽培でないとしたら怖ーいし更に広がり易い fact8: もしもこの引っ張り剪断試験が輝かしくないとしたらこの高層ホテルは単利最終利回りでないかもしくはえげつないか両方である fact9: もし仮にあの愛護が涼しいということはないなら先取りするしＡ案だ fact10: この引っ張り剪断試験は単利最終利回りであるということはない fact11: もし仮にこの引っ張り剪断試験がえげつなくないとするとこの高層ホテルは輝かしくないか単利最終利回りであるかあるいは両方ともである fact12: もし仮に「なんらかの物は単利最終利回りでなくて更に広がり易くない」ということは誤っているならそれは作り直さない fact13: この高層ホテルは輝かしいかえげつないかもしくは両方だ fact14: もしもあるものは単利最終利回りであるということはないならば「輝かしいということはないかもしくはそれはえげつない」ということは誤りである fact15: 仮にこの引っ張り剪断試験が単利最終利回りでないとするとこの高層ホテルは輝かしいかあるいはそれはえげつないかまたは両方である fact16: もし仮にあの愛護は五十グラムパックだ一方で単利最終利回りでないならば「この引っ張り剪断試験は単利最終利回りだ」ということは正しい fact17: もし仮になにかは先取りするならそれは五十グラムパックだが単利最終利回りであるということはない fact18: この引っ張り剪断試験は古くない fact19: あの軍医総監は単利最終利回りでない fact20: もしこの高層ホテルが輝かしくないとするとこの引っ張り剪断試験は単利最終利回りでないかまたはえげつないかあるいは両方である
fact1 & fact10 -> hypothesis;
fact1 & fact10 -> hypothesis;
「この高層ホテルは輝かしくないかまたはえげつないか両方だ」ということは偽である
fact23 -> int1: 仮にこの高層ホテルは単利最終利回りであるということはないなら「それは輝かしいということはないかあるいはえげつないかもしくはどちらもである」ということは偽だ; fact22 -> int2: もしもあの愛護が先取りするとすればそれは五十グラムパックだがしかし単利最終利回りでない;
$facts$ = fact1: もしもこの引っ張り剪断試験が単利最終利回りでないならばこの高層ホテルは輝かしいということはないかあるいはえげつないかまたは両方ともだ fact2: もし何らかのものは怖ーいなら「それは単利最終利回りであるということはないし広がり易くない」ということは間違っている fact3: この引っ張り剪断試験は単利最終利回りであるということはないかえげつないかもしくはどちらもだ fact4: もし仮にこの引っ張り剪断試験が単利最終利回りであるし怖ーいとするとこの高層ホテルは単利最終利回りでない fact5: もしこの高層ホテルは単利最終利回りでないとすると「この引っ張り剪断試験はえげつないかまたは輝かしい」ということは本当だ fact6: この高層ホテルが単利最終利回りだということはないならこの引っ張り剪断試験はえげつなくないか輝かしいかあるいは両方である fact7: 仮にこの引っ張り剪断試験は柑橘栽培でないとしたら怖ーいし更に広がり易い fact8: もしもこの引っ張り剪断試験が輝かしくないとしたらこの高層ホテルは単利最終利回りでないかもしくはえげつないか両方である fact9: もし仮にあの愛護が涼しいということはないなら先取りするしＡ案だ fact10: この引っ張り剪断試験は単利最終利回りであるということはない fact11: もし仮にこの引っ張り剪断試験がえげつなくないとするとこの高層ホテルは輝かしくないか単利最終利回りであるかあるいは両方ともである fact12: もし仮に「なんらかの物は単利最終利回りでなくて更に広がり易くない」ということは誤っているならそれは作り直さない fact13: この高層ホテルは輝かしいかえげつないかもしくは両方だ fact14: もしもあるものは単利最終利回りであるということはないならば「輝かしいということはないかもしくはそれはえげつない」ということは誤りである fact15: 仮にこの引っ張り剪断試験が単利最終利回りでないとするとこの高層ホテルは輝かしいかあるいはそれはえげつないかまたは両方である fact16: もし仮にあの愛護は五十グラムパックだ一方で単利最終利回りでないならば「この引っ張り剪断試験は単利最終利回りだ」ということは正しい fact17: もし仮になにかは先取りするならそれは五十グラムパックだが単利最終利回りであるということはない fact18: この引っ張り剪断試験は古くない fact19: あの軍医総監は単利最終利回りでない fact20: もしこの高層ホテルが輝かしくないとするとこの引っ張り剪断試験は単利最終利回りでないかまたはえげつないかあるいは両方である ; $hypothesis$ = 「この高層ホテルは輝かしいということはないかえげつないかどちらもである」ということは事実と異なる ; $proof$ = 
fact1 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもこの引っ張り剪断試験が単利最終利回りでないならばこの高層ホテルは輝かしいということはないかあるいはえげつないかまたは両方ともだ
事実2: もし何らかのものは怖ーいなら「それは単利最終利回りであるということはないし広がり易くない」ということは間違っている
事実3: この引っ張り剪断試験は単利最終利回りであるということはないかえげつないかもしくはどちらもだ
事実4: もし仮にこの引っ張り剪断試験が単利最終利回りであるし怖ーいとするとこの高層ホテルは単利最終利回りでない
事実5: もしこの高層ホテルは単利最終利回りでないとすると「この引っ張り剪断試験はえげつないかまたは輝かしい」ということは本当だ
事実6: この高層ホテルが単利最終利回りだということはないならこの引っ張り剪断試験はえげつなくないか輝かしいかあるいは両方である
事実7: 仮にこの引っ張り剪断試験は柑橘栽培でないとしたら怖ーいし更に広がり易い
事実8: もしもこの引っ張り剪断試験が輝かしくないとしたらこの高層ホテルは単利最終利回りでないかもしくはえげつないか両方である
事実9: もし仮にあの愛護が涼しいということはないなら先取りするしＡ案だ
事実10: この引っ張り剪断試験は単利最終利回りであるということはない
事実11: もし仮にこの引っ張り剪断試験がえげつなくないとするとこの高層ホテルは輝かしくないか単利最終利回りであるかあるいは両方ともである
事実12: もし仮に「なんらかの物は単利最終利回りでなくて更に広がり易くない」ということは誤っているならそれは作り直さない
事実13: この高層ホテルは輝かしいかえげつないかもしくは両方だ
事実14: もしもあるものは単利最終利回りであるということはないならば「輝かしいということはないかもしくはそれはえげつない」ということは誤りである
事実15: 仮にこの引っ張り剪断試験が単利最終利回りでないとするとこの高層ホテルは輝かしいかあるいはそれはえげつないかまたは両方である
事実16: もし仮にあの愛護は五十グラムパックだ一方で単利最終利回りでないならば「この引っ張り剪断試験は単利最終利回りだ」ということは正しい
事実17: もし仮になにかは先取りするならそれは五十グラムパックだが単利最終利回りであるということはない
事実18: この引っ張り剪断試験は古くない
事実19: あの軍医総監は単利最終利回りでない
事実20: もしこの高層ホテルが輝かしくないとするとこの引っ張り剪断試験は単利最終利回りでないかまたはえげつないかあるいは両方である

仮説: 「この高層ホテルは輝かしいということはないかえげつないかどちらもである」ということは事実と異なる
1. 事実1と事実10から、仮説が否定される

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