その信託会社は酸い
fact1: その信託会社は恥ずかしけれどそれはつまされない fact2: 仮にあの構成要素間は履くが見え辛くないとしたら大型化しない fact3: 仮にその信託会社は老人性白内障である一方で酸くないとすれば「それは想定すらない」ということは誤りでない fact4: 仮にとあるものは物言うけど高位だということはないとするとそれは灌水するということはない fact5: あの適正水準は正しけれど履かない fact6: 「その信託会社は大型化する」ということは真実だ fact7: 仮にあの糖尿病性ＥＤが最終弁済期でない一方でそれが満足するとすればあのＶＣＣは最終弁済期である fact8: その信託会社は獅子座でない fact9: あの雨脚が覗き直すとすればそれは分離し易い一方で酸くない fact10: 仮に政治保衛部は獅子座でないとするとそれは酸くない fact11: そのポストモダンは大型化するけれど服役しない fact12: もし仮にその信託会社が大型化するとすれば政治保衛部であるけれど獅子座でない fact13: あの糖尿病性ＥＤが分かり易いとすれば最終弁済期でないが満足する fact14: この老樹は政治保衛部だ fact15: もしもその信託会社が大型化するとすればそれは獅子座でない fact16: 「あの糖尿病性ＥＤは分かり易くないけれど歌舞伎っぽい」ということは嘘だ fact17: もし仮にその信託会社は起こし難い一方で沢登りでないとしたら酸くない fact18: もしなんらかのものは最終弁済期であるならそれは分離し易い fact19: その信託会社はピアノでない fact20: 「その心得帳解釈は大型化する」ということは真実だ fact21: もし政治保衛部は獅子座ならば「それは酸くない」ということは成り立つ fact22: もしもその信託会社がシャウトである一方で獅子座でないとしたらそれは沸騰直前でない fact23: もし「何かは分かり易くないけど歌舞伎っぽい」ということは成り立たないとするとそれは分かり易い fact24: その信託会社が政治保衛部であるしそれが獅子座だとすればそれは酸くない
fact12 & fact6 -> int1: その信託会社は政治保衛部だがしかし獅子座でない; fact10 -> int2: その信託会社は政治保衛部であるがしかし獅子座であるということはないならばそれは酸いということはない; int1 & int2 -> hypothesis;
その信託会社は酸い
fact26 -> int3: 「このＶＣＣが最終弁済期ならばこのＶＣＣは分離し易い」ということは事実である; fact25 -> int4: 「「あの糖尿病性ＥＤは分かり易くないけど歌舞伎っぽい」ということは成り立つということはない」ということは事実だとすればそれは分かり易い; int4 & fact28 -> int5: あの糖尿病性ＥＤは分かり易い; fact27 & int5 -> int6: あの糖尿病性ＥＤは最終弁済期であるということはないけれど満足する; fact29 & int6 -> 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: 「その心得帳解釈は大型化する」ということは真実だ fact21: もし政治保衛部は獅子座ならば「それは酸くない」ということは成り立つ fact22: もしもその信託会社がシャウトである一方で獅子座でないとしたらそれは沸騰直前でない fact23: もし「何かは分かり易くないけど歌舞伎っぽい」ということは成り立たないとするとそれは分かり易い fact24: その信託会社が政治保衛部であるしそれが獅子座だとすればそれは酸くない ; $hypothesis$ = その信託会社は酸い ; $proof$ = 
fact12 & fact6 -> int1: その信託会社は政治保衛部だがしかし獅子座でない; fact10 -> int2: その信託会社は政治保衛部であるがしかし獅子座であるということはないならばそれは酸いということはない; int1 & int2 -> 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: もし「何かは分かり易くないけど歌舞伎っぽい」ということは成り立たないとするとそれは分かり易い
事実24: その信託会社が政治保衛部であるしそれが獅子座だとすればそれは酸くない

仮説: その信託会社は酸い
1. 事実12と事実6から、推論1: "その信託会社は政治保衛部だがしかし獅子座でない"が導かれる
2. 事実10から、推論2: "その信託会社は政治保衛部であるがしかし獅子座であるということはないならばそれは酸いということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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