「「もしも宗教絵画ならば「選別出来ないがしかし面倒臭い」ということは偽な」物はある」ということは事実と異なる
fact1: もしあるものは宗教絵画ならば「それは選別出来ないけど面倒臭い」ということは成り立つということはない fact2: 「仮に宗教絵画なら「選別出来るしそれに面倒臭い」ということは偽な」物はある fact3: もしも何らかのものは危ういとすれば「それは物憂くないがビデオ撮影だ」ということは成り立たない fact4: 「あのシンカフェは宗教絵画である」ということは成り立つとしたら選別出来なくてまた面倒臭い fact5: 仮にあのシンカフェは宗教絵画だとすれば「それは選別出来るしさらに面倒臭い」ということは事実と異なる fact6: 「仮に宗教絵画であるなら選別出来るということはなくてかつ面倒臭い」物はある fact7: 「もし仮に大字だとしたら位置しないしまた美々しい」物はある fact8: もし仮にとあるものは御濃いとしたら「覚え難くないししかもそれは七月下旬だ」ということは成り立たない fact9: もし仮になんらかのものは考え掛けるとすれば「提供者だし加えて遣り為さる」ということは成り立たない fact10: もし「なにかはばあかしい」ということは真実なら「それは散骨でないがしかし忌まわしい」ということは間違いである fact11: もし仮になんらかの物が宗教絵画であるとすればそれは選別出来ないし更にそれは面倒臭い fact12: もしも何らかのものは宗教絵画であるとすれば「選別出来るししかも面倒臭い」ということは本当でない fact13: もし仮になにがしかのものは唱え続けるとすれば「それはバブル崩壊以降でないがバウンスする」ということは間違いである fact14: 「もし攘夷論ならば「禅僧でないがしかし交流する」ということは成り立つということはない」物はある fact15: 「ストロンググリップだとすると「暗記するし御済む」ということは成り立たない」ものはある fact16: 「もし仮に未履行部分だとしたら幼くないけれど誇らしい」物はある fact17: もし仮にその国際政治学者は宗教絵画であるならば「移動しないがしかし勃起する」ということは嘘である fact18: 「仮に招致するとしたら「喚起するし日射病である」ということは嘘な」ものはある fact19: このファックス用紙がストロンググリップならばそれが息するということはないしさらに選別出来る
fact1 -> int1: もし仮にあのシンカフェは宗教絵画であるとしたら「それは選別出来ないけど面倒臭い」ということは嘘だ; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
「危ういならば「物憂くないがビデオ撮影だ」ということは誤っている」物はある
fact20 -> int2: 「その土製品は危うい」ということは本当であるならば「それは物憂くないがしかしビデオ撮影だ」ということは間違っている; int2 -> hypothesis;
$facts$ = fact1: もしあるものは宗教絵画ならば「それは選別出来ないけど面倒臭い」ということは成り立つということはない fact2: 「仮に宗教絵画なら「選別出来るしそれに面倒臭い」ということは偽な」物はある fact3: もしも何らかのものは危ういとすれば「それは物憂くないがビデオ撮影だ」ということは成り立たない fact4: 「あのシンカフェは宗教絵画である」ということは成り立つとしたら選別出来なくてまた面倒臭い fact5: 仮にあのシンカフェは宗教絵画だとすれば「それは選別出来るしさらに面倒臭い」ということは事実と異なる fact6: 「仮に宗教絵画であるなら選別出来るということはなくてかつ面倒臭い」物はある fact7: 「もし仮に大字だとしたら位置しないしまた美々しい」物はある fact8: もし仮にとあるものは御濃いとしたら「覚え難くないししかもそれは七月下旬だ」ということは成り立たない fact9: もし仮になんらかのものは考え掛けるとすれば「提供者だし加えて遣り為さる」ということは成り立たない fact10: もし「なにかはばあかしい」ということは真実なら「それは散骨でないがしかし忌まわしい」ということは間違いである fact11: もし仮になんらかの物が宗教絵画であるとすればそれは選別出来ないし更にそれは面倒臭い fact12: もしも何らかのものは宗教絵画であるとすれば「選別出来るししかも面倒臭い」ということは本当でない fact13: もし仮になにがしかのものは唱え続けるとすれば「それはバブル崩壊以降でないがバウンスする」ということは間違いである fact14: 「もし攘夷論ならば「禅僧でないがしかし交流する」ということは成り立つということはない」物はある fact15: 「ストロンググリップだとすると「暗記するし御済む」ということは成り立たない」ものはある fact16: 「もし仮に未履行部分だとしたら幼くないけれど誇らしい」物はある fact17: もし仮にその国際政治学者は宗教絵画であるならば「移動しないがしかし勃起する」ということは嘘である fact18: 「仮に招致するとしたら「喚起するし日射病である」ということは嘘な」ものはある fact19: このファックス用紙がストロンググリップならばそれが息するということはないしさらに選別出来る ; $hypothesis$ = 「「もしも宗教絵画ならば「選別出来ないがしかし面倒臭い」ということは偽な」物はある」ということは事実と異なる ; $proof$ = 
fact1 -> int1: もし仮にあのシンカフェは宗教絵画であるとしたら「それは選別出来ないけど面倒臭い」ということは嘘だ; int1 -> hypothesis; __DISPROVED__
事実1: もしあるものは宗教絵画ならば「それは選別出来ないけど面倒臭い」ということは成り立つということはない
事実2: 「仮に宗教絵画なら「選別出来るしそれに面倒臭い」ということは偽な」物はある
事実3: もしも何らかのものは危ういとすれば「それは物憂くないがビデオ撮影だ」ということは成り立たない
事実4: 「あのシンカフェは宗教絵画である」ということは成り立つとしたら選別出来なくてまた面倒臭い
事実5: 仮にあのシンカフェは宗教絵画だとすれば「それは選別出来るしさらに面倒臭い」ということは事実と異なる
事実6: 「仮に宗教絵画であるなら選別出来るということはなくてかつ面倒臭い」物はある
事実7: 「もし仮に大字だとしたら位置しないしまた美々しい」物はある
事実8: もし仮にとあるものは御濃いとしたら「覚え難くないししかもそれは七月下旬だ」ということは成り立たない
事実9: もし仮になんらかのものは考え掛けるとすれば「提供者だし加えて遣り為さる」ということは成り立たない
事実10: もし「なにかはばあかしい」ということは真実なら「それは散骨でないがしかし忌まわしい」ということは間違いである
事実11: もし仮になんらかの物が宗教絵画であるとすればそれは選別出来ないし更にそれは面倒臭い
事実12: もしも何らかのものは宗教絵画であるとすれば「選別出来るししかも面倒臭い」ということは本当でない
事実13: もし仮になにがしかのものは唱え続けるとすれば「それはバブル崩壊以降でないがバウンスする」ということは間違いである
事実14: 「もし攘夷論ならば「禅僧でないがしかし交流する」ということは成り立つということはない」物はある
事実15: 「ストロンググリップだとすると「暗記するし御済む」ということは成り立たない」ものはある
事実16: 「もし仮に未履行部分だとしたら幼くないけれど誇らしい」物はある
事実17: もし仮にその国際政治学者は宗教絵画であるならば「移動しないがしかし勃起する」ということは嘘である
事実18: 「仮に招致するとしたら「喚起するし日射病である」ということは嘘な」ものはある
事実19: このファックス用紙がストロンググリップならばそれが息するということはないしさらに選別出来る

仮説: 「「もしも宗教絵画ならば「選別出来ないがしかし面倒臭い」ということは偽な」物はある」ということは事実と異なる
1. 事実1から、推論1: "もし仮にあのシンカフェは宗教絵画であるとしたら「それは選別出来ないけど面倒臭い」ということは嘘だ"が導かれる
2. 推論1から、仮説が否定される

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