あの五月人形が退散するということはないしさらに可変移相器でない
fact1: もしなにかは助け起こさないとすればそれは覚束無いしまたそれは御騒がせする fact2: もし仮にあの五月人形は退散しないが捕らえ難いなら可変移相器でない fact3: 仮にこの名誉回復が海洋民族ならその柱書きは忘却する fact4: 仮にその柱書きが忘却するとするとそれは助け起こすということはない一方で太海海岸だ fact5: このパッチは騎兵隊長でない fact6: このパッチは捕らえ難い fact7: このパッチは黒っぽくない fact8: あの初対面は可変移相器でない fact9: なにかは返り為さらないとすれば「それは退散するということはないしその上可変移相器でない」ということは成り立たない fact10: もしも「このパッチは可変移相器でない」ということは確かだとすればあの五月人形は退散するということはない fact11: あの五月人形は退散するということはない fact12: あの五月人形は梅毒患者でないしその上塞がない fact13: もしあの五月人形が捕らえ難くないが可変移相器であるとするとそれは黒っぽくない fact14: 黒っぽくないものが捕らえ難いならそれは可変移相器だということはない fact15: もしその柱書きが覚束無いならあの五月人形は返り為さらない一方でそれは薄い fact16: もし仮にこのパッチが可変移相器でないとするとあの五月人形が退散しないしさらに可変移相器でない fact17: あの飛行場はうつ伏せるということはないがそれは退散する
fact14 -> int1: もし仮にこのパッチは黒っぽくないがしかし捕らえ難いとしたらそれは可変移相器でない; fact6 & fact7 -> int2: このパッチは黒っぽくないけれど捕らえ難い; int1 & int2 -> int3: このパッチは可変移相器でない; int3 & fact16 -> hypothesis;
fact14 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact6 & fact7 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact16 -> hypothesis;
「あの五月人形は退散しなくておまけに可変移相器でない」ということは偽である
fact19 -> int4: あの五月人形は返り為さらないとしたら「それは退散しないしそれに可変移相器でない」ということは成り立つということはない; fact22 -> int5: もし仮にその柱書きが助け起こさないならばそれは覚束無いしその上御騒がせする;
$facts$ = fact1: もしなにかは助け起こさないとすればそれは覚束無いしまたそれは御騒がせする fact2: もし仮にあの五月人形は退散しないが捕らえ難いなら可変移相器でない fact3: 仮にこの名誉回復が海洋民族ならその柱書きは忘却する fact4: 仮にその柱書きが忘却するとするとそれは助け起こすということはない一方で太海海岸だ fact5: このパッチは騎兵隊長でない fact6: このパッチは捕らえ難い fact7: このパッチは黒っぽくない fact8: あの初対面は可変移相器でない fact9: なにかは返り為さらないとすれば「それは退散するということはないしその上可変移相器でない」ということは成り立たない fact10: もしも「このパッチは可変移相器でない」ということは確かだとすればあの五月人形は退散するということはない fact11: あの五月人形は退散するということはない fact12: あの五月人形は梅毒患者でないしその上塞がない fact13: もしあの五月人形が捕らえ難くないが可変移相器であるとするとそれは黒っぽくない fact14: 黒っぽくないものが捕らえ難いならそれは可変移相器だということはない fact15: もしその柱書きが覚束無いならあの五月人形は返り為さらない一方でそれは薄い fact16: もし仮にこのパッチが可変移相器でないとするとあの五月人形が退散しないしさらに可変移相器でない fact17: あの飛行場はうつ伏せるということはないがそれは退散する ; $hypothesis$ = あの五月人形が退散するということはないしさらに可変移相器でない ; $proof$ = 
fact14 -> int1: もし仮にこのパッチは黒っぽくないがしかし捕らえ難いとしたらそれは可変移相器でない; fact6 & fact7 -> int2: このパッチは黒っぽくないけれど捕らえ難い; int1 & int2 -> int3: このパッチは可変移相器でない; int3 & fact16 -> hypothesis; __PROVED__
事実1: もしなにかは助け起こさないとすればそれは覚束無いしまたそれは御騒がせする
事実2: もし仮にあの五月人形は退散しないが捕らえ難いなら可変移相器でない
事実3: 仮にこの名誉回復が海洋民族ならその柱書きは忘却する
事実4: 仮にその柱書きが忘却するとするとそれは助け起こすということはない一方で太海海岸だ
事実5: このパッチは騎兵隊長でない
事実6: このパッチは捕らえ難い
事実7: このパッチは黒っぽくない
事実8: あの初対面は可変移相器でない
事実9: なにかは返り為さらないとすれば「それは退散するということはないしその上可変移相器でない」ということは成り立たない
事実10: もしも「このパッチは可変移相器でない」ということは確かだとすればあの五月人形は退散するということはない
事実11: あの五月人形は退散するということはない
事実12: あの五月人形は梅毒患者でないしその上塞がない
事実13: もしあの五月人形が捕らえ難くないが可変移相器であるとするとそれは黒っぽくない
事実14: 黒っぽくないものが捕らえ難いならそれは可変移相器だということはない
事実15: もしその柱書きが覚束無いならあの五月人形は返り為さらない一方でそれは薄い
事実16: もし仮にこのパッチが可変移相器でないとするとあの五月人形が退散しないしさらに可変移相器でない
事実17: あの飛行場はうつ伏せるということはないがそれは退散する

仮説: あの五月人形が退散するということはないしさらに可変移相器でない
1. 事実14から、推論1: "もし仮にこのパッチは黒っぽくないがしかし捕らえ難いとしたらそれは可変移相器でない"が導かれる
2. 事実6と事実7から、推論2: "このパッチは黒っぽくないけれど捕らえ難い"が導かれる
3. 推論1と推論2から、推論3: "このパッチは可変移相器でない"が導かれる
4. 推論3と事実16から、仮説が導かれる

よって、仮説が証明されました。