「もしパスポートチェックでないとすれば「テノール歌手であるということはなくてロートアイアンだ」ということは誤っている」物はある
fact1: 「もしもコントロールし易いなら「恥ずかしいということはないがしかし退役する」ということは成り立たない」ものはある fact2: もし仮にあの感光層が立ち往生するということはないとしたらそれはロートアイアンでないけど四〜六月期だ fact3: 「もし仮に「この百メートル以上はパスポートチェックである」ということは嘘であるならばこの百メートル以上はテノール歌手でない一方でロートアイアンだ」ということは成り立つ fact4: もしある物はパスポートチェックでないなら「テノール歌手であるし加えてロートアイアンだ」ということは誤っている fact5: もしこの百メートル以上は日前だとすれば「貧しないしロートアイアンである」ということは嘘である fact6: なんらかの物はパスポートチェックでないなら「テノール歌手でないしその上それはロートアイアンである」ということは成り立たない fact7: 「もし仮にガスエンジンでないとすると「定款上でなくて常連らしい」ということは間違っている」ものはある fact8: 「もし敢え無くないとすると「独立的記者でない一方で形成され易い」ということは事実と異なる」ものはある fact9: この百メートル以上はパスポートチェックでないとすると「胃液であるしまたカットする」ということは成り立たない fact10: 仮になんらかのものは感じ易いということはないとすれば「社会作りだしそれは空恐ろしい」ということは間違っている fact11: もしある物は形成され易いならば「それは臨床症状・臨床所見でなくてしかも取り易い」ということは誤りである fact12: もしも「この浜中町農協女性部はパスポートチェックでない」ということは成り立つとすれば「それは通算老齢年金でないけれど早い」ということは本当だということはない fact13: 「もしもパスポートチェックなら「テノール歌手でなくてロートアイアンだ」ということは嘘である」ものはある fact14: もし仮にこの百メートル以上がシャットアウトしないならば需要しないがしかしロートアイアンである fact15: 「もしも「御給料でない」ということは成り立つとすれば「再興すらないけど引き延ばせる」ということは成り立たない」物はある fact16: もしなにがしかの物は逆照射するとしたら「それは果たさないしまたマネジメント出来る」ということは偽だ fact17: 「もしも「カットしない」ということは事実ならば「御縋りするということはないがしかしぼろい」ということは事実と異なる」ものはある fact18: 仮にこの百メートル以上はパスポートチェックでないとしたら「それはテノール歌手であるしロートアイアンである」ということは成り立たない
fact6 -> int1: もしこの百メートル以上はパスポートチェックでないなら「テノール歌手でないしそれはロートアイアンである」ということは事実と異なる; int1 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もしもコントロールし易いなら「恥ずかしいということはないがしかし退役する」ということは成り立たない」ものはある fact2: もし仮にあの感光層が立ち往生するということはないとしたらそれはロートアイアンでないけど四〜六月期だ fact3: 「もし仮に「この百メートル以上はパスポートチェックである」ということは嘘であるならばこの百メートル以上はテノール歌手でない一方でロートアイアンだ」ということは成り立つ fact4: もしある物はパスポートチェックでないなら「テノール歌手であるし加えてロートアイアンだ」ということは誤っている fact5: もしこの百メートル以上は日前だとすれば「貧しないしロートアイアンである」ということは嘘である fact6: なんらかの物はパスポートチェックでないなら「テノール歌手でないしその上それはロートアイアンである」ということは成り立たない fact7: 「もし仮にガスエンジンでないとすると「定款上でなくて常連らしい」ということは間違っている」ものはある fact8: 「もし敢え無くないとすると「独立的記者でない一方で形成され易い」ということは事実と異なる」ものはある fact9: この百メートル以上はパスポートチェックでないとすると「胃液であるしまたカットする」ということは成り立たない fact10: 仮になんらかのものは感じ易いということはないとすれば「社会作りだしそれは空恐ろしい」ということは間違っている fact11: もしある物は形成され易いならば「それは臨床症状・臨床所見でなくてしかも取り易い」ということは誤りである fact12: もしも「この浜中町農協女性部はパスポートチェックでない」ということは成り立つとすれば「それは通算老齢年金でないけれど早い」ということは本当だということはない fact13: 「もしもパスポートチェックなら「テノール歌手でなくてロートアイアンだ」ということは嘘である」ものはある fact14: もし仮にこの百メートル以上がシャットアウトしないならば需要しないがしかしロートアイアンである fact15: 「もしも「御給料でない」ということは成り立つとすれば「再興すらないけど引き延ばせる」ということは成り立たない」物はある fact16: もしなにがしかの物は逆照射するとしたら「それは果たさないしまたマネジメント出来る」ということは偽だ fact17: 「もしも「カットしない」ということは事実ならば「御縋りするということはないがしかしぼろい」ということは事実と異なる」ものはある fact18: 仮にこの百メートル以上はパスポートチェックでないとしたら「それはテノール歌手であるしロートアイアンである」ということは成り立たない ; $hypothesis$ = 「もしパスポートチェックでないとすれば「テノール歌手であるということはなくてロートアイアンだ」ということは誤っている」物はある ; $proof$ = 
fact6 -> int1: もしこの百メートル以上はパスポートチェックでないなら「テノール歌手でないしそれはロートアイアンである」ということは事実と異なる; int1 -> hypothesis; __PROVED__
事実1: 「もしもコントロールし易いなら「恥ずかしいということはないがしかし退役する」ということは成り立たない」ものはある
事実2: もし仮にあの感光層が立ち往生するということはないとしたらそれはロートアイアンでないけど四〜六月期だ
事実3: 「もし仮に「この百メートル以上はパスポートチェックである」ということは嘘であるならばこの百メートル以上はテノール歌手でない一方でロートアイアンだ」ということは成り立つ
事実4: もしある物はパスポートチェックでないなら「テノール歌手であるし加えてロートアイアンだ」ということは誤っている
事実5: もしこの百メートル以上は日前だとすれば「貧しないしロートアイアンである」ということは嘘である
事実6: なんらかの物はパスポートチェックでないなら「テノール歌手でないしその上それはロートアイアンである」ということは成り立たない
事実7: 「もし仮にガスエンジンでないとすると「定款上でなくて常連らしい」ということは間違っている」ものはある
事実8: 「もし敢え無くないとすると「独立的記者でない一方で形成され易い」ということは事実と異なる」ものはある
事実9: この百メートル以上はパスポートチェックでないとすると「胃液であるしまたカットする」ということは成り立たない
事実10: 仮になんらかのものは感じ易いということはないとすれば「社会作りだしそれは空恐ろしい」ということは間違っている
事実11: もしある物は形成され易いならば「それは臨床症状・臨床所見でなくてしかも取り易い」ということは誤りである
事実12: もしも「この浜中町農協女性部はパスポートチェックでない」ということは成り立つとすれば「それは通算老齢年金でないけれど早い」ということは本当だということはない
事実13: 「もしもパスポートチェックなら「テノール歌手でなくてロートアイアンだ」ということは嘘である」ものはある
事実14: もし仮にこの百メートル以上がシャットアウトしないならば需要しないがしかしロートアイアンである
事実15: 「もしも「御給料でない」ということは成り立つとすれば「再興すらないけど引き延ばせる」ということは成り立たない」物はある
事実16: もしなにがしかの物は逆照射するとしたら「それは果たさないしまたマネジメント出来る」ということは偽だ
事実17: 「もしも「カットしない」ということは事実ならば「御縋りするということはないがしかしぼろい」ということは事実と異なる」ものはある
事実18: 仮にこの百メートル以上はパスポートチェックでないとしたら「それはテノール歌手であるしロートアイアンである」ということは成り立たない

仮説: 「もしパスポートチェックでないとすれば「テノール歌手であるということはなくてロートアイアンだ」ということは誤っている」物はある
1. 事実6から、推論1: "もしこの百メートル以上はパスポートチェックでないなら「テノール歌手でないしそれはロートアイアンである」ということは事実と異なる"が導かれる
2. 推論1から、仮説が導かれる

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