その垂直成分は戦勝国でなくて加えて愛国炭鉱であるということはない
fact1: もし仮に仕事らしくない物はし易くないならば土田巡査でない fact2: 「その第二小隊長は色空間でないしその上大人気無くない」ということは成り立たない fact3: もしもその垂直成分が実物だということはなくて移転登記するということはないなら山積みするということはない fact4: もしある物がガウライターであるが同署でないとすればそれは生命論でない fact5: もしもその垂直成分は超・低排出ガスでないならばそれはチェック出来るということはないししかも愛国炭鉱でない fact6: あの筋芽細胞は戦勝国でない fact7: もしも棚地が対日感情でないとすれば降下しない fact8: その垂直成分は愛国炭鉱でない fact9: 仮になんらかの物が入団しないとすれば聞き易くないしかつ漆黒でない fact10: この少額訴訟は戦勝国だということはない fact11: 全てのものは交わらないしさらに纏まり易くない fact12: すべてのものは棚地であるということはなくておまけにそれは対日感情でない fact13: 仮に何らかのものが歩けるけど集約しないならばそれは働き続けない fact14: その垂直成分は使い過ぎない fact15: どれもこれもは高発現しないしおまけに探れるということはない fact16: あるものは棚地でなくて対日感情でないならば「それは降下しない」ということは成り立つ fact17: 全てのものは強迫でなくてまた立ち退かすということはない fact18: 「仮に「その第二小隊長は色空間でないししかも大人気無いということはない」ということは正しくないとすればこの来し方は大人気無くない」ということは確かだ fact19: 全てのものは二曲目でない fact20: なにがしかの物は降下しないなら「愛国炭鉱でない」ということは真実だ fact21: その垂直成分はコミック版でないし雄々しかない fact22: もし仮にこの来し方が大人気無くないとするとあのＮＡＴは剥落しないしまた愛国炭鉱だということはない fact23: もしなにかは降下するということはないならそれは戦勝国でなくて愛国炭鉱であるということはない
fact16 -> int1: もしその垂直成分は棚地でないしその上対日感情でないとするとそれは降下しない; fact12 -> int2: その垂直成分は棚地でないし更にそれは対日感情でない; int1 & int2 -> int3: その垂直成分は降下しない; fact23 -> int4: もしその垂直成分が降下しないとしたらそれは戦勝国でなくてまた愛国炭鉱でない; int3 & int4 -> hypothesis;
fact16 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact12 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; fact23 -> int4: ¬{B}{aa} -> (¬{A}{aa} & ¬{C}{aa}); int3 & int4 -> hypothesis;
あのケインジアン理論はめぼしいということはない物であって記憶細胞でない
fact26 & fact25 -> int5: この来し方は大人気無くない; fact24 & int5 -> int6: あのＮＡＴは剥落しなくてしかも愛国炭鉱だということはない; int6 -> int7: なにがしかの物は剥落しないしまたそれは愛国炭鉱でない;
$facts$ = fact1: もし仮に仕事らしくない物はし易くないならば土田巡査でない fact2: 「その第二小隊長は色空間でないしその上大人気無くない」ということは成り立たない fact3: もしもその垂直成分が実物だということはなくて移転登記するということはないなら山積みするということはない fact4: もしある物がガウライターであるが同署でないとすればそれは生命論でない fact5: もしもその垂直成分は超・低排出ガスでないならばそれはチェック出来るということはないししかも愛国炭鉱でない fact6: あの筋芽細胞は戦勝国でない fact7: もしも棚地が対日感情でないとすれば降下しない fact8: その垂直成分は愛国炭鉱でない fact9: 仮になんらかの物が入団しないとすれば聞き易くないしかつ漆黒でない fact10: この少額訴訟は戦勝国だということはない fact11: 全てのものは交わらないしさらに纏まり易くない fact12: すべてのものは棚地であるということはなくておまけにそれは対日感情でない fact13: 仮に何らかのものが歩けるけど集約しないならばそれは働き続けない fact14: その垂直成分は使い過ぎない fact15: どれもこれもは高発現しないしおまけに探れるということはない fact16: あるものは棚地でなくて対日感情でないならば「それは降下しない」ということは成り立つ fact17: 全てのものは強迫でなくてまた立ち退かすということはない fact18: 「仮に「その第二小隊長は色空間でないししかも大人気無いということはない」ということは正しくないとすればこの来し方は大人気無くない」ということは確かだ fact19: 全てのものは二曲目でない fact20: なにがしかの物は降下しないなら「愛国炭鉱でない」ということは真実だ fact21: その垂直成分はコミック版でないし雄々しかない fact22: もし仮にこの来し方が大人気無くないとするとあのＮＡＴは剥落しないしまた愛国炭鉱だということはない fact23: もしなにかは降下するということはないならそれは戦勝国でなくて愛国炭鉱であるということはない ; $hypothesis$ = その垂直成分は戦勝国でなくて加えて愛国炭鉱であるということはない ; $proof$ = 
fact16 -> int1: もしその垂直成分は棚地でないしその上対日感情でないとするとそれは降下しない; fact12 -> int2: その垂直成分は棚地でないし更にそれは対日感情でない; int1 & int2 -> int3: その垂直成分は降下しない; fact23 -> int4: もしその垂直成分が降下しないとしたらそれは戦勝国でなくてまた愛国炭鉱でない; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮に仕事らしくない物はし易くないならば土田巡査でない
事実2: 「その第二小隊長は色空間でないしその上大人気無くない」ということは成り立たない
事実3: もしもその垂直成分が実物だということはなくて移転登記するということはないなら山積みするということはない
事実4: もしある物がガウライターであるが同署でないとすればそれは生命論でない
事実5: もしもその垂直成分は超・低排出ガスでないならばそれはチェック出来るということはないししかも愛国炭鉱でない
事実6: あの筋芽細胞は戦勝国でない
事実7: もしも棚地が対日感情でないとすれば降下しない
事実8: その垂直成分は愛国炭鉱でない
事実9: 仮になんらかの物が入団しないとすれば聞き易くないしかつ漆黒でない
事実10: この少額訴訟は戦勝国だということはない
事実11: 全てのものは交わらないしさらに纏まり易くない
事実12: すべてのものは棚地であるということはなくておまけにそれは対日感情でない
事実13: 仮に何らかのものが歩けるけど集約しないならばそれは働き続けない
事実14: その垂直成分は使い過ぎない
事実15: どれもこれもは高発現しないしおまけに探れるということはない
事実16: あるものは棚地でなくて対日感情でないならば「それは降下しない」ということは成り立つ
事実17: 全てのものは強迫でなくてまた立ち退かすということはない
事実18: 「仮に「その第二小隊長は色空間でないししかも大人気無いということはない」ということは正しくないとすればこの来し方は大人気無くない」ということは確かだ
事実19: 全てのものは二曲目でない
事実20: なにがしかの物は降下しないなら「愛国炭鉱でない」ということは真実だ
事実21: その垂直成分はコミック版でないし雄々しかない
事実22: もし仮にこの来し方が大人気無くないとするとあのＮＡＴは剥落しないしまた愛国炭鉱だということはない
事実23: もしなにかは降下するということはないならそれは戦勝国でなくて愛国炭鉱であるということはない

仮説: その垂直成分は戦勝国でなくて加えて愛国炭鉱であるということはない
1. 事実16から、推論1: "もしその垂直成分は棚地でないしその上対日感情でないとするとそれは降下しない"が導かれる
2. 事実12から、推論2: "その垂直成分は棚地でないし更にそれは対日感情でない"が導かれる
3. 推論1と推論2から、推論3: "その垂直成分は降下しない"が導かれる
4. 事実23から、推論4: "もしその垂直成分が降下しないとしたらそれは戦勝国でなくてまた愛国炭鉱でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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