あの向かいは易しということはない
fact1: その国際調査は破り取る fact2: もしあの御下げがキリエ侯であるならばあの州レベルは進化し易い fact3: そのホーム・スタイルは易しないかまたは物凄ーい fact4: 仮にとあるものが固着するとするとキリエ侯だ fact5: 仮に「「化体するしその上変装する」ということは成り立たない」物があるならあの板金は化体しない fact6: とあるものが化体しないとすると歌舞伎っぽくないしおまけにそれは疎い fact7: もし何らかのものが歌舞伎っぽくないがしかしそれが疎いとすると大失敗する fact8: そのホーム・スタイルは破り取る fact9: もしもなにかは物凄ーくないとするとあの向かいは易し fact10: 仮に「その州レベルは進化し易い」ということは成り立つとしたら「あの向かいは指差しであるけれど易しない」ということは成り立たない fact11: もしあの板金が固着するとするとあの御下げは固着する fact12: 仮に「なんらかのものは烏滸がましいがしかし固着しない」ということは成り立たないならそれは固着する fact13: もしそのホーム・スタイルが破り取るとしたらそれは保証する fact14: もしも「物凄ーくないかもしくは保証するかあるいは両方である」ものがあるならあの向かいは易し fact15: 仮にとある物は大失敗するとしたら「烏滸はましくて固着しない」ということは事実と異なる fact16: もしそのホーム・スタイルが保証しないとしたらこの梅園は物凄ーいしそれに破り取る fact17: 「この各種委員会は化体するしかつそれは変装する」ということは成り立たない fact18: もしも何かは物凄ーくないとすればそれは保証しない
fact13 & fact8 -> int1: そのホーム・スタイルは保証する; int1 -> int2: そのホーム・スタイルは物凄ーくないかもしくはそれは保証するかもしくは両方である; int2 -> int3: 何かは物凄ーいということはないか保証するか両方である; int3 & fact14 -> hypothesis;
「この梅園は物凄ーい」ということは成り立つ
fact28 -> int4: もしもあの御下げは固着するとしたら「それはキリエ侯だ」ということは成り立つ; fact23 -> int5: 仮に「あの板金は烏滸がましいけれど固着しない」ということは事実と異なるとするとそれは固着する; fact29 -> int6: あの板金は大失敗するとしたら「それは烏滸がましいけれど固着しない」ということは本当でない; fact24 -> int7: 仮にあの板金が歌舞伎っぽいということはないけど疎いならばそれは大失敗する; fact27 -> int8: あの板金が化体しないなら歌舞伎っぽくないしさらに疎い; fact25 -> int9: 「「化体するし加えて変装する」ということは間違っている」ものはある; int9 & fact20 -> int10: あの板金は化体しない; int8 & int10 -> int11: あの板金は歌舞伎っぽくないけれど疎い; int7 & int11 -> int12: あの板金は大失敗する; int6 & int12 -> int13: 「あの板金は烏滸がましいけど固着しない」ということは成り立たない; int5 & int13 -> int14: あの板金は固着する; fact22 & int14 -> int15: あの御下げは固着する; int4 & int15 -> int16: あの御下げはキリエ侯だ; fact26 & int16 -> int17: その州レベルは進化し易い; fact21 & int17 -> int18: 「あの向かいは指差しだがしかし易しない」ということは間違っている; int18 -> int19: 「「「指差しだが易しない」ということは成り立つ」ということは間違いな」物はある;
$facts$ = fact1: その国際調査は破り取る fact2: もしあの御下げがキリエ侯であるならばあの州レベルは進化し易い fact3: そのホーム・スタイルは易しないかまたは物凄ーい fact4: 仮にとあるものが固着するとするとキリエ侯だ fact5: 仮に「「化体するしその上変装する」ということは成り立たない」物があるならあの板金は化体しない fact6: とあるものが化体しないとすると歌舞伎っぽくないしおまけにそれは疎い fact7: もし何らかのものが歌舞伎っぽくないがしかしそれが疎いとすると大失敗する fact8: そのホーム・スタイルは破り取る fact9: もしもなにかは物凄ーくないとするとあの向かいは易し fact10: 仮に「その州レベルは進化し易い」ということは成り立つとしたら「あの向かいは指差しであるけれど易しない」ということは成り立たない fact11: もしあの板金が固着するとするとあの御下げは固着する fact12: 仮に「なんらかのものは烏滸がましいがしかし固着しない」ということは成り立たないならそれは固着する fact13: もしそのホーム・スタイルが破り取るとしたらそれは保証する fact14: もしも「物凄ーくないかもしくは保証するかあるいは両方である」ものがあるならあの向かいは易し fact15: 仮にとある物は大失敗するとしたら「烏滸はましくて固着しない」ということは事実と異なる fact16: もしそのホーム・スタイルが保証しないとしたらこの梅園は物凄ーいしそれに破り取る fact17: 「この各種委員会は化体するしかつそれは変装する」ということは成り立たない fact18: もしも何かは物凄ーくないとすればそれは保証しない ; $hypothesis$ = あの向かいは易しということはない ; $proof$ = 
fact13 & fact8 -> int1: そのホーム・スタイルは保証する; int1 -> int2: そのホーム・スタイルは物凄ーくないかもしくはそれは保証するかもしくは両方である; int2 -> int3: 何かは物凄ーいということはないか保証するか両方である; int3 & fact14 -> hypothesis; __DISPROVED__
事実1: その国際調査は破り取る
事実2: もしあの御下げがキリエ侯であるならばあの州レベルは進化し易い
事実3: そのホーム・スタイルは易しないかまたは物凄ーい
事実4: 仮にとあるものが固着するとするとキリエ侯だ
事実5: 仮に「「化体するしその上変装する」ということは成り立たない」物があるならあの板金は化体しない
事実6: とあるものが化体しないとすると歌舞伎っぽくないしおまけにそれは疎い
事実7: もし何らかのものが歌舞伎っぽくないがしかしそれが疎いとすると大失敗する
事実8: そのホーム・スタイルは破り取る
事実9: もしもなにかは物凄ーくないとするとあの向かいは易し
事実10: 仮に「その州レベルは進化し易い」ということは成り立つとしたら「あの向かいは指差しであるけれど易しない」ということは成り立たない
事実11: もしあの板金が固着するとするとあの御下げは固着する
事実12: 仮に「なんらかのものは烏滸がましいがしかし固着しない」ということは成り立たないならそれは固着する
事実13: もしそのホーム・スタイルが破り取るとしたらそれは保証する
事実14: もしも「物凄ーくないかもしくは保証するかあるいは両方である」ものがあるならあの向かいは易し
事実15: 仮にとある物は大失敗するとしたら「烏滸はましくて固着しない」ということは事実と異なる
事実16: もしそのホーム・スタイルが保証しないとしたらこの梅園は物凄ーいしそれに破り取る
事実17: 「この各種委員会は化体するしかつそれは変装する」ということは成り立たない
事実18: もしも何かは物凄ーくないとすればそれは保証しない

仮説: あの向かいは易しということはない
1. 事実13と事実8から、推論1: "そのホーム・スタイルは保証する"が導かれる
2. 推論1から、推論2: "そのホーム・スタイルは物凄ーくないかもしくはそれは保証するかもしくは両方である"が導かれる
3. 推論2から、推論3: "何かは物凄ーいということはないか保証するか両方である"が導かれる
4. 推論3と事実14から、仮説が否定される

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