あの和人伝は眼窩脂肪でない
fact1: 「あの和人伝は地主側だが混合言語でない」ということは成り立つということはない fact2: あの骨品制度は書家でない fact3: あの和人伝は色っぽさでない fact4: あの和人伝は書家でなくて悪しくないとすると眼窩脂肪でない fact5: あの和人伝が混合言語でないならこの縦書きラベルレイアウトは刷り込むということはない fact6: 「仮に「とある物は悪しくないしまた眼窩脂肪でない」ということは誤っているとすればそれは書家であるということはない」ということは成り立つ fact7: 「この縦書きラベルレイアウトが眼窩脂肪だということはないしさらにそれは刷り込まない」ということは間違っている fact8: この縦書きラベルレイアウトは混合言語でない fact9: 「「何かは書家でなくて悪しくない」ということは確かであるということはないとすればそれは混合言語でない」ということは成り立つ fact10: この縦書きラベルレイアウトは悪しくない fact11: あの和人伝が吐き続けるとしたら悪しくない fact12: この縦書きラベルレイアウトは慎み深くなくてそれにうっかりしない fact13: あの和人伝はちゃわない fact14: 仮に「何らかの物は刷り込まなくてしかもそれは書家でない」ということは間違っていればそれは眼窩脂肪でない fact15: あの和人伝は書家であるということはない fact16: 仮にこの縦書きラベルレイアウトが混合言語であるか眼窩脂肪であるかあるいは両方ともであるならあの和人伝は刷り込まない fact17: もし仮に何らかの物は山の芋であるとすれば「増加しないしそれは騒々しい」ということは成り立たない fact18: 「あの和人伝は書家だが悪しくない」ということは成り立たない fact19: このスローライフは刷り込む fact20: もし仮に「あるものは増加しないしさらに騒々しくない」ということは成り立たないなら混合言語であるということはない fact21: この縦書きラベルレイアウトは刷り込む fact22: この子供連れは書家だ
fact9 -> int1: もし「あの和人伝は書家でなくてまた悪しくない」ということは確かでないならば混合言語でない; void -> assump1: 以下のように仮定する。「あの和人伝は書家であるということはないしまた悪しくない」ということは誤っている; int1 & assump1 -> int2: 「あの和人伝は混合言語でない」ということは成り立つ; int2 & fact5 -> int3: 「この縦書きラベルレイアウトは刷り込まない」ということは成り立つ; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの和人伝は書家でなくてしかもそれは悪しくない」ということは確かである; int5 & fact4 -> hypothesis;
あの和人伝は眼窩脂肪である
fact23 -> int6: もしも「「この縦書きラベルレイアウトは増加しないしその上騒々しくない」ということは偽である」ということは成り立つなら混合言語でない;
$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$ = 
fact9 -> int1: もし「あの和人伝は書家でなくてまた悪しくない」ということは確かでないならば混合言語でない; void -> assump1: 以下のように仮定する。「あの和人伝は書家であるということはないしまた悪しくない」ということは誤っている; int1 & assump1 -> int2: 「あの和人伝は混合言語でない」ということは成り立つ; int2 & fact5 -> int3: 「この縦書きラベルレイアウトは刷り込まない」ということは成り立つ; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの和人伝は書家でなくてしかもそれは悪しくない」ということは確かである; int5 & fact4 -> 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. 事実9から、推論1: "もし「あの和人伝は書家でなくてまた悪しくない」ということは確かでないならば混合言語でない"が導かれる
2. 仮定1: 以下のように仮定する。「あの和人伝は書家であるということはないしまた悪しくない」ということは誤っている
3. 推論1と仮定1から、推論2: "「あの和人伝は混合言語でない」ということは成り立つ"が導かれる
4. 推論2と事実5から、推論3: "「この縦書きラベルレイアウトは刷り込まない」ということは成り立つ"が導かれる
5. 推論3と事実21から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの和人伝は書家でなくてしかもそれは悪しくない」ということは確かである"が導かれる
7. 推論5と事実4から、仮説が導かれる

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