「「もし「派手過ぎないけれど印象深い」ということは成り立たないとすると弁解がましい」ものはある」ということは偽でない
fact1: 仮に「あの綿テープは信州産でないがしかしそれは観劇する」ということは間違っていればそれは成り続ける fact2: 仮に「「この捕り手は彼らしいしそれに読み飛ばす」ということは事実である」ということは嘘なら合い難い fact3: 「もしも「何かは運営管理するしおまけにそれは進行状況である」ということは成り立たないならば息切れする」ということは成り立つ fact4: もしも「この柱は馳浩事務所でないが派手過ぎる」ということは事実でないとするとそれは使用基準だ fact5: 「もしも塗り始めないとすると引き出し易い」ものはある fact6: もし「なんらかのものは底深くないがしかし案じる」ということは成り立つということはないならば「それは呼び立てる」ということは嘘でない fact7: 印象深くない物は弁解がましい fact8: もし「ある物は自認しない一方で地租改正資料刊行会編だ」ということは成り立たないならば撮像する fact9: 「「起き易くない一方で史上最年少だ」ということは成り立つということはないなら金利引き上げな」ものはある fact10: 仮にこの捕り手が伸ばし易くないなら弁解がましい fact11: 仮に「なにかは先送りしないけどそれは見え易い」ということは本当でないならそれは代表元だ fact12: 仮に「とあるものは素晴らしくない一方で用心深い」ということは成り立たないならそれは塗り始める fact13: なにかは派手過ぎないけれど印象深いとすると弁解がましい fact14: もし仮にあのドケルバン病は十戒でないならばそれは手厚い fact15: 「反応し易くないとすると開設する」ものはある fact16: 「この捕り手は派手過ぎないけど印象深い」ということは成り立つとすると弁解がましい fact17: 「仮に充足出来ないがしかし割り入るとするとガスストーブである」ものはある fact18: 仮にこの捕り手が撮像しないなら弁解がましい fact19: 「もしも「不法投棄でなくてしかも案じる」ということは成り立たないとしたら騙され易い」ものはある fact20: 「もしも「凄まじいし見え易い」ということは成り立たないならば掻き集める」ものはある fact21: 「何らかのものは派手過ぎない一方で印象深い」ということは間違いだとしたら弁解がましい
fact21 -> int1: もし「この捕り手は派手過ぎないけど印象深い」ということは事実と異なるとしたらそれは弁解がましい; int1 -> hypothesis;
fact21 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮に「あの綿テープは信州産でないがしかしそれは観劇する」ということは間違っていればそれは成り続ける fact2: 仮に「「この捕り手は彼らしいしそれに読み飛ばす」ということは事実である」ということは嘘なら合い難い fact3: 「もしも「何かは運営管理するしおまけにそれは進行状況である」ということは成り立たないならば息切れする」ということは成り立つ fact4: もしも「この柱は馳浩事務所でないが派手過ぎる」ということは事実でないとするとそれは使用基準だ fact5: 「もしも塗り始めないとすると引き出し易い」ものはある fact6: もし「なんらかのものは底深くないがしかし案じる」ということは成り立つということはないならば「それは呼び立てる」ということは嘘でない fact7: 印象深くない物は弁解がましい fact8: もし「ある物は自認しない一方で地租改正資料刊行会編だ」ということは成り立たないならば撮像する fact9: 「「起き易くない一方で史上最年少だ」ということは成り立つということはないなら金利引き上げな」ものはある fact10: 仮にこの捕り手が伸ばし易くないなら弁解がましい fact11: 仮に「なにかは先送りしないけどそれは見え易い」ということは本当でないならそれは代表元だ fact12: 仮に「とあるものは素晴らしくない一方で用心深い」ということは成り立たないならそれは塗り始める fact13: なにかは派手過ぎないけれど印象深いとすると弁解がましい fact14: もし仮にあのドケルバン病は十戒でないならばそれは手厚い fact15: 「反応し易くないとすると開設する」ものはある fact16: 「この捕り手は派手過ぎないけど印象深い」ということは成り立つとすると弁解がましい fact17: 「仮に充足出来ないがしかし割り入るとするとガスストーブである」ものはある fact18: 仮にこの捕り手が撮像しないなら弁解がましい fact19: 「もしも「不法投棄でなくてしかも案じる」ということは成り立たないとしたら騙され易い」ものはある fact20: 「もしも「凄まじいし見え易い」ということは成り立たないならば掻き集める」ものはある fact21: 「何らかのものは派手過ぎない一方で印象深い」ということは間違いだとしたら弁解がましい ; $hypothesis$ = 「「もし「派手過ぎないけれど印象深い」ということは成り立たないとすると弁解がましい」ものはある」ということは偽でない ; $proof$ = 
fact21 -> int1: もし「この捕り手は派手過ぎないけど印象深い」ということは事実と異なるとしたらそれは弁解がましい; int1 -> hypothesis; __PROVED__
事実1: 仮に「あの綿テープは信州産でないがしかしそれは観劇する」ということは間違っていればそれは成り続ける
事実2: 仮に「「この捕り手は彼らしいしそれに読み飛ばす」ということは事実である」ということは嘘なら合い難い
事実3: 「もしも「何かは運営管理するしおまけにそれは進行状況である」ということは成り立たないならば息切れする」ということは成り立つ
事実4: もしも「この柱は馳浩事務所でないが派手過ぎる」ということは事実でないとするとそれは使用基準だ
事実5: 「もしも塗り始めないとすると引き出し易い」ものはある
事実6: もし「なんらかのものは底深くないがしかし案じる」ということは成り立つということはないならば「それは呼び立てる」ということは嘘でない
事実7: 印象深くない物は弁解がましい
事実8: もし「ある物は自認しない一方で地租改正資料刊行会編だ」ということは成り立たないならば撮像する
事実9: 「「起き易くない一方で史上最年少だ」ということは成り立つということはないなら金利引き上げな」ものはある
事実10: 仮にこの捕り手が伸ばし易くないなら弁解がましい
事実11: 仮に「なにかは先送りしないけどそれは見え易い」ということは本当でないならそれは代表元だ
事実12: 仮に「とあるものは素晴らしくない一方で用心深い」ということは成り立たないならそれは塗り始める
事実13: なにかは派手過ぎないけれど印象深いとすると弁解がましい
事実14: もし仮にあのドケルバン病は十戒でないならばそれは手厚い
事実15: 「反応し易くないとすると開設する」ものはある
事実16: 「この捕り手は派手過ぎないけど印象深い」ということは成り立つとすると弁解がましい
事実17: 「仮に充足出来ないがしかし割り入るとするとガスストーブである」ものはある
事実18: 仮にこの捕り手が撮像しないなら弁解がましい
事実19: 「もしも「不法投棄でなくてしかも案じる」ということは成り立たないとしたら騙され易い」ものはある
事実20: 「もしも「凄まじいし見え易い」ということは成り立たないならば掻き集める」ものはある
事実21: 「何らかのものは派手過ぎない一方で印象深い」ということは間違いだとしたら弁解がましい

仮説: 「「もし「派手過ぎないけれど印象深い」ということは成り立たないとすると弁解がましい」ものはある」ということは偽でない
1. 事実21から、推論1: "もし「この捕り手は派手過ぎないけど印象深い」ということは事実と異なるとしたらそれは弁解がましい"が導かれる
2. 推論1から、仮説が導かれる

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