そのＥ‐タワーはいとおしくない
fact1: もしあの裏漉しが独占販売しない一方でいとおしいとすればそのＥ‐タワーはいとおしいということはない fact2: 仮にそのＥ‐タワーがいとおしくないしその上それが独占販売するということはないとすればあの裏漉しは装備する fact3: もし仮に「「見付け易いがしかし合わせ易くない」ということは事実と異なる」ものがあるとするとその爆弾製造は例外無い fact4: もしこの半時が合わせ易いしその上見付け易いならそれは例外無くない fact5: 例外無いものは耐え難いかあるいは虚血中でない fact6: そのタン塩は詮無くないしおまけに装備しない fact7: あの裏漉しは独占販売するということはない fact8: もしその加工用は虚血中だ一方で耐え難くないならば「「その爆弾製造はいとおしい」ということは成り立つということはない」ということは成り立つ fact9: もしもその爆弾製造がいとおしくないとしたらあの裏漉しはいとおしい fact10: いとおしい物は独占販売しないが装備する fact11: この半時は合わせ易い fact12: もしもあの裏漉しが独占販売しないがしかしそれが装備するとするとそのＥ‐タワーは独占販売する fact13: もしそのＥ‐タワーが独占販売しなくてそれにそれがいとおしくないとしたらあの裏漉しは装備する fact14: 何かは装備するとすると独占販売しなくてまたそれはいとおしい fact15: あの裏漉しは装備しない fact16: その加工用は利き難くない fact17: もしもなにかは利き難くないとすると「見付け易いしおまけにそれは合わせ易くない」ということは成り立たない fact18: 仮にそのＥ‐タワーが独占販売しないしその上装備するということはないとしたらあの裏漉しはいとおしい fact19: このＢＨＬＨ型転写因子はいとおしくなくてまた震わない fact20: もしあの裏漉しが装備しなくてしかも独占販売しないとすればそのＥ‐タワーはいとおしい
fact15 & fact7 -> int1: あの裏漉しは装備しないしそれに独占販売しない; int1 & fact20 -> hypothesis;
そのＥ‐タワーはいとおしいということはない
fact26 -> int2: もしもあの裏漉しが装備すれば独占販売しないがいとおしい; fact22 -> int3: その爆弾製造が例外無いとしたらそれは耐え難いかまたは虚血中でない; fact24 -> int4: 仮にその加工用は利き難くないとすると「それは見付け易いが合わせ易くない」ということは成り立たない; int4 & fact23 -> int5: 「その加工用は見付け易いが合わせ易くない」ということは事実と異なる; int5 -> int6: 「「見付け易いが合わせ易くない」ということは成り立たない」物はある; int6 & fact21 -> int7: その爆弾製造は例外無い; int3 & int7 -> int8: その爆弾製造は耐え難いかあるいは虚血中でないかまたは両方だ; int8 -> int9: 何らかの物は耐え難いかあるいは虚血中でないか両方ともである;
$facts$ = fact1: もしあの裏漉しが独占販売しない一方でいとおしいとすればそのＥ‐タワーはいとおしいということはない fact2: 仮にそのＥ‐タワーがいとおしくないしその上それが独占販売するということはないとすればあの裏漉しは装備する fact3: もし仮に「「見付け易いがしかし合わせ易くない」ということは事実と異なる」ものがあるとするとその爆弾製造は例外無い fact4: もしこの半時が合わせ易いしその上見付け易いならそれは例外無くない fact5: 例外無いものは耐え難いかあるいは虚血中でない fact6: そのタン塩は詮無くないしおまけに装備しない fact7: あの裏漉しは独占販売するということはない fact8: もしその加工用は虚血中だ一方で耐え難くないならば「「その爆弾製造はいとおしい」ということは成り立つということはない」ということは成り立つ fact9: もしもその爆弾製造がいとおしくないとしたらあの裏漉しはいとおしい fact10: いとおしい物は独占販売しないが装備する fact11: この半時は合わせ易い fact12: もしもあの裏漉しが独占販売しないがしかしそれが装備するとするとそのＥ‐タワーは独占販売する fact13: もしそのＥ‐タワーが独占販売しなくてそれにそれがいとおしくないとしたらあの裏漉しは装備する fact14: 何かは装備するとすると独占販売しなくてまたそれはいとおしい fact15: あの裏漉しは装備しない fact16: その加工用は利き難くない fact17: もしもなにかは利き難くないとすると「見付け易いしおまけにそれは合わせ易くない」ということは成り立たない fact18: 仮にそのＥ‐タワーが独占販売しないしその上装備するということはないとしたらあの裏漉しはいとおしい fact19: このＢＨＬＨ型転写因子はいとおしくなくてまた震わない fact20: もしあの裏漉しが装備しなくてしかも独占販売しないとすればそのＥ‐タワーはいとおしい ; $hypothesis$ = そのＥ‐タワーはいとおしくない ; $proof$ = 
fact15 & fact7 -> int1: あの裏漉しは装備しないしそれに独占販売しない; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: もしあの裏漉しが独占販売しない一方でいとおしいとすればそのＥ‐タワーはいとおしいということはない
事実2: 仮にそのＥ‐タワーがいとおしくないしその上それが独占販売するということはないとすればあの裏漉しは装備する
事実3: もし仮に「「見付け易いがしかし合わせ易くない」ということは事実と異なる」ものがあるとするとその爆弾製造は例外無い
事実4: もしこの半時が合わせ易いしその上見付け易いならそれは例外無くない
事実5: 例外無いものは耐え難いかあるいは虚血中でない
事実6: そのタン塩は詮無くないしおまけに装備しない
事実7: あの裏漉しは独占販売するということはない
事実8: もしその加工用は虚血中だ一方で耐え難くないならば「「その爆弾製造はいとおしい」ということは成り立つということはない」ということは成り立つ
事実9: もしもその爆弾製造がいとおしくないとしたらあの裏漉しはいとおしい
事実10: いとおしい物は独占販売しないが装備する
事実11: この半時は合わせ易い
事実12: もしもあの裏漉しが独占販売しないがしかしそれが装備するとするとそのＥ‐タワーは独占販売する
事実13: もしそのＥ‐タワーが独占販売しなくてそれにそれがいとおしくないとしたらあの裏漉しは装備する
事実14: 何かは装備するとすると独占販売しなくてまたそれはいとおしい
事実15: あの裏漉しは装備しない
事実16: その加工用は利き難くない
事実17: もしもなにかは利き難くないとすると「見付け易いしおまけにそれは合わせ易くない」ということは成り立たない
事実18: 仮にそのＥ‐タワーが独占販売しないしその上装備するということはないとしたらあの裏漉しはいとおしい
事実19: このＢＨＬＨ型転写因子はいとおしくなくてまた震わない
事実20: もしあの裏漉しが装備しなくてしかも独占販売しないとすればそのＥ‐タワーはいとおしい

仮説: そのＥ‐タワーはいとおしくない
1. 事実15と事実7から、推論1: "あの裏漉しは装備しないしそれに独占販売しない"が導かれる
2. 推論1と事実20から、仮説が否定される

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