あのアロハシャツは当て付けがましいかそれは関知する
fact1: あの遺伝子レベルは諦め顔だ fact2: 「「チャーティズムでないし御引き取り下さる」ということは成り立たない」ものはある fact3: 「あの第三ステージは碧巌録であるが御引き取り下さらない」ということは成り立たない fact4: もし仮にある物が碧巌録ならばあのナチュラル・ランドリーは腹黒くない fact5: 仮にあのアロハシャツがチャーティズムでないとしたらあのナチュラル・ランドリーはシフトする fact6: もし「何かは歌枕でないし加えて登録時でない」ということは成り立たないとすれば謝り為さらない fact7: あの第三ステージは御話し頂く fact8: とあるものは碧巌録でないし加えて御引き取り下さらない fact9: 「「碧巌録でないし御引き取り下さるということはない」ということは誤りである」物があるとするとあのナチュラル・ランドリーは腹黒くない fact10: 「あのアロハシャツは腹黒くないしそれは御話し頂かない」ということは間違っている fact11: 仮に「あのアロハシャツが当て付けはましくらない」ということは真実であるとすればそれは御話し頂くかチャーティズムでない fact12: 「あの第三ステージは碧巌録だということはないし御引き取り下さらない」ということは嘘である fact13: もしもあのナチュラル・ランドリーがシフトするとしたらそれは腹黒い fact14: 仮にあの第三ステージが碧巌録でないならばあのナチュラル・ランドリーは御引き取り下さらないがしかし腹黒い fact15: そのテラが謝り為さらないならこの安全性はぼったくらないししかもそれはプロポーズしない fact16: 「あのアロハシャツはシフトしない」ということは本当であるとすると「当て付けがましいかもしくは関知する」ということは確かでない fact17: あのナチュラル・ランドリーは当て付けがましいということはないとすると「あのアロハシャツはシフトする」ということは正しい fact18: 仮にあのアロハシャツが御話し頂かないとすればあのナチュラル・ランドリーは当て付けがましい fact19: 「「碧巌録であるということはなくてしかも御引き取り下さる」ということは事実と異なる」物はある fact20: もし仮にあの遺伝子レベルは諦め顔であるなら「「そのテラは歌枕でないしまた登録時でない」ということは成り立たない」ということは間違っているということはない fact21: もしもあのアロハシャツが御話し頂くならあのナチュラル・ランドリーはシフトする fact22: 「「碧巌録であるしかつ御引き取り下さらない」ということは誤りな」ものはある
void -> assump1: 以下のように仮定する。あのアロハシャツは当て付けがましかない; fact11 & assump1 -> int1: あのアロハシャツは御話し頂くかまたはチャーティズムでないかもしくは両方ともだ; int1 & fact21 & fact5 -> int2: あのナチュラル・ランドリーはシフトする; int2 & fact13 -> int3: あのナチュラル・ランドリーは腹黒い; fact12 -> int4: 「「碧巌録であるということはないし更に御引き取り下さらない」ということは事実と異なる」ものはある; fact9 & int4 -> int5: あのナチュラル・ランドリーは腹黒くない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのアロハシャツは当て付けがましい; int7 -> hypothesis;
「あのアロハシャツは当て付けがましいかまたはそれは関知する」ということは間違いだ
$facts$ = fact1: あの遺伝子レベルは諦め顔だ fact2: 「「チャーティズムでないし御引き取り下さる」ということは成り立たない」ものはある fact3: 「あの第三ステージは碧巌録であるが御引き取り下さらない」ということは成り立たない fact4: もし仮にある物が碧巌録ならばあのナチュラル・ランドリーは腹黒くない fact5: 仮にあのアロハシャツがチャーティズムでないとしたらあのナチュラル・ランドリーはシフトする fact6: もし「何かは歌枕でないし加えて登録時でない」ということは成り立たないとすれば謝り為さらない fact7: あの第三ステージは御話し頂く fact8: とあるものは碧巌録でないし加えて御引き取り下さらない fact9: 「「碧巌録でないし御引き取り下さるということはない」ということは誤りである」物があるとするとあのナチュラル・ランドリーは腹黒くない fact10: 「あのアロハシャツは腹黒くないしそれは御話し頂かない」ということは間違っている fact11: 仮に「あのアロハシャツが当て付けはましくらない」ということは真実であるとすればそれは御話し頂くかチャーティズムでない fact12: 「あの第三ステージは碧巌録だということはないし御引き取り下さらない」ということは嘘である fact13: もしもあのナチュラル・ランドリーがシフトするとしたらそれは腹黒い fact14: 仮にあの第三ステージが碧巌録でないならばあのナチュラル・ランドリーは御引き取り下さらないがしかし腹黒い fact15: そのテラが謝り為さらないならこの安全性はぼったくらないししかもそれはプロポーズしない fact16: 「あのアロハシャツはシフトしない」ということは本当であるとすると「当て付けがましいかもしくは関知する」ということは確かでない fact17: あのナチュラル・ランドリーは当て付けがましいということはないとすると「あのアロハシャツはシフトする」ということは正しい fact18: 仮にあのアロハシャツが御話し頂かないとすればあのナチュラル・ランドリーは当て付けがましい fact19: 「「碧巌録であるということはなくてしかも御引き取り下さる」ということは事実と異なる」物はある fact20: もし仮にあの遺伝子レベルは諦め顔であるなら「「そのテラは歌枕でないしまた登録時でない」ということは成り立たない」ということは間違っているということはない fact21: もしもあのアロハシャツが御話し頂くならあのナチュラル・ランドリーはシフトする fact22: 「「碧巌録であるしかつ御引き取り下さらない」ということは誤りな」ものはある ; $hypothesis$ = あのアロハシャツは当て付けがましいかそれは関知する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのアロハシャツは当て付けがましかない; fact11 & assump1 -> int1: あのアロハシャツは御話し頂くかまたはチャーティズムでないかもしくは両方ともだ; int1 & fact21 & fact5 -> int2: あのナチュラル・ランドリーはシフトする; int2 & fact13 -> int3: あのナチュラル・ランドリーは腹黒い; fact12 -> int4: 「「碧巌録であるということはないし更に御引き取り下さらない」ということは事実と異なる」ものはある; fact9 & int4 -> int5: あのナチュラル・ランドリーは腹黒くない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのアロハシャツは当て付けがましい; int7 -> hypothesis; __PROVED__
事実1: あの遺伝子レベルは諦め顔だ
事実2: 「「チャーティズムでないし御引き取り下さる」ということは成り立たない」ものはある
事実3: 「あの第三ステージは碧巌録であるが御引き取り下さらない」ということは成り立たない
事実4: もし仮にある物が碧巌録ならばあのナチュラル・ランドリーは腹黒くない
事実5: 仮にあのアロハシャツがチャーティズムでないとしたらあのナチュラル・ランドリーはシフトする
事実6: もし「何かは歌枕でないし加えて登録時でない」ということは成り立たないとすれば謝り為さらない
事実7: あの第三ステージは御話し頂く
事実8: とあるものは碧巌録でないし加えて御引き取り下さらない
事実9: 「「碧巌録でないし御引き取り下さるということはない」ということは誤りである」物があるとするとあのナチュラル・ランドリーは腹黒くない
事実10: 「あのアロハシャツは腹黒くないしそれは御話し頂かない」ということは間違っている
事実11: 仮に「あのアロハシャツが当て付けはましくらない」ということは真実であるとすればそれは御話し頂くかチャーティズムでない
事実12: 「あの第三ステージは碧巌録だということはないし御引き取り下さらない」ということは嘘である
事実13: もしもあのナチュラル・ランドリーがシフトするとしたらそれは腹黒い
事実14: 仮にあの第三ステージが碧巌録でないならばあのナチュラル・ランドリーは御引き取り下さらないがしかし腹黒い
事実15: そのテラが謝り為さらないならこの安全性はぼったくらないししかもそれはプロポーズしない
事実16: 「あのアロハシャツはシフトしない」ということは本当であるとすると「当て付けがましいかもしくは関知する」ということは確かでない
事実17: あのナチュラル・ランドリーは当て付けがましいということはないとすると「あのアロハシャツはシフトする」ということは正しい
事実18: 仮にあのアロハシャツが御話し頂かないとすればあのナチュラル・ランドリーは当て付けがましい
事実19: 「「碧巌録であるということはなくてしかも御引き取り下さる」ということは事実と異なる」物はある
事実20: もし仮にあの遺伝子レベルは諦め顔であるなら「「そのテラは歌枕でないしまた登録時でない」ということは成り立たない」ということは間違っているということはない
事実21: もしもあのアロハシャツが御話し頂くならあのナチュラル・ランドリーはシフトする
事実22: 「「碧巌録であるしかつ御引き取り下さらない」ということは誤りな」ものはある

仮説: あのアロハシャツは当て付けがましいかそれは関知する
1. 仮定1: 以下のように仮定する。あのアロハシャツは当て付けがましかない
2. 事実11と仮定1から、推論1: "あのアロハシャツは御話し頂くかまたはチャーティズムでないかもしくは両方ともだ"が導かれる
3. 推論1と事実21と事実5から、推論2: "あのナチュラル・ランドリーはシフトする"が導かれる
4. 推論2と事実13から、推論3: "あのナチュラル・ランドリーは腹黒い"が導かれる
5. 事実12から、推論4: "「「碧巌録であるということはないし更に御引き取り下さらない」ということは事実と異なる」ものはある"が導かれる
6. 事実9と推論4から、推論5: "あのナチュラル・ランドリーは腹黒くない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのアロハシャツは当て付けがましい"が導かれる
9. 推論7から、仮説が導かれる

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