そのアジア主義は飼育でない
fact1: 仮に「そのパートンは参照すということはない」ということは正しいならば「そのアジア主義は臨めない」ということは間違いでない fact2: そのアジア主義は参照すということはない fact3: もしあるものは臨めないならば「それは御恥ずかしくない」ということは事実だ fact4: その改善は可笑し fact5: 仮に可笑しものが打ち続けるならそれは拭い難いということはない fact6: 御恥ずかしくなくてかつ無くないものは飼育でない fact7: 御恥ずかしいし無くない物は飼育だということはない fact8: 仮に「その改善は似せなくて無等でない」ということは嘘であるとすれば打ち続ける fact9: 「その改善は似せる一方で無等でない」ということは偽である fact10: もし仮に「そのパートンは参照すし加えて阿諛である」ということは偽であるとしたらそのアジア主義は臨めない fact11: 「その改善は似せないし無等でない」ということは事実でない fact12: もしそのアジア主義が御恥ずかしい一方でそれが無くないならばそれは飼育でない fact13: そのアジア主義は御恥ずかしくない fact14: 仮に何かは臨めないならそれは御恥ずかしくなくて無いということはない fact15: その改善は御恥ずかしい fact16: その改善は拭い難くないとすれば「そのパートンは参照すしそれは阿諛である」ということは成り立たない fact17: 「もし「そのアジア主義は臨めない」ということは成り立つならそのアジア主義は御恥ずかしくない」ということは本当だ
fact8 & fact11 -> int1: その改善は打ち続ける; int1 & fact4 -> int2: その改善は可笑ししその上打ち続ける; fact5 -> int3: もし仮にその改善が可笑ししその上打ち続けるなら拭い難いということはない; int2 & int3 -> int4: その改善は拭い難くない; int4 & fact16 -> int5: 「そのパートンは参照すしそれに阿諛である」ということは事実でない; int5 & fact10 -> int6: そのアジア主義は臨めない; fact14 -> int7: もし仮にそのアジア主義が臨めないなら御恥ずかしくないし加えて無くない; int6 & int7 -> int8: そのアジア主義が御恥ずかしいということはないしその上無くない; fact6 -> int9: もしもそのアジア主義は御恥ずかしくなくてその上無くないなら「飼育でない」ということは嘘でない; int8 & int9 -> hypothesis;
$facts$ = fact1: 仮に「そのパートンは参照すということはない」ということは正しいならば「そのアジア主義は臨めない」ということは間違いでない fact2: そのアジア主義は参照すということはない fact3: もしあるものは臨めないならば「それは御恥ずかしくない」ということは事実だ fact4: その改善は可笑し fact5: 仮に可笑しものが打ち続けるならそれは拭い難いということはない fact6: 御恥ずかしくなくてかつ無くないものは飼育でない fact7: 御恥ずかしいし無くない物は飼育だということはない fact8: 仮に「その改善は似せなくて無等でない」ということは嘘であるとすれば打ち続ける fact9: 「その改善は似せる一方で無等でない」ということは偽である fact10: もし仮に「そのパートンは参照すし加えて阿諛である」ということは偽であるとしたらそのアジア主義は臨めない fact11: 「その改善は似せないし無等でない」ということは事実でない fact12: もしそのアジア主義が御恥ずかしい一方でそれが無くないならばそれは飼育でない fact13: そのアジア主義は御恥ずかしくない fact14: 仮に何かは臨めないならそれは御恥ずかしくなくて無いということはない fact15: その改善は御恥ずかしい fact16: その改善は拭い難くないとすれば「そのパートンは参照すしそれは阿諛である」ということは成り立たない fact17: 「もし「そのアジア主義は臨めない」ということは成り立つならそのアジア主義は御恥ずかしくない」ということは本当だ ; $hypothesis$ = そのアジア主義は飼育でない ; $proof$ = 
fact8 & fact11 -> int1: その改善は打ち続ける; int1 & fact4 -> int2: その改善は可笑ししその上打ち続ける; fact5 -> int3: もし仮にその改善が可笑ししその上打ち続けるなら拭い難いということはない; int2 & int3 -> int4: その改善は拭い難くない; int4 & fact16 -> int5: 「そのパートンは参照すしそれに阿諛である」ということは事実でない; int5 & fact10 -> int6: そのアジア主義は臨めない; fact14 -> int7: もし仮にそのアジア主義が臨めないなら御恥ずかしくないし加えて無くない; int6 & int7 -> int8: そのアジア主義が御恥ずかしいということはないしその上無くない; fact6 -> int9: もしもそのアジア主義は御恥ずかしくなくてその上無くないなら「飼育でない」ということは嘘でない; int8 & int9 -> hypothesis; __PROVED__
事実1: 仮に「そのパートンは参照すということはない」ということは正しいならば「そのアジア主義は臨めない」ということは間違いでない
事実2: そのアジア主義は参照すということはない
事実3: もしあるものは臨めないならば「それは御恥ずかしくない」ということは事実だ
事実4: その改善は可笑し
事実5: 仮に可笑しものが打ち続けるならそれは拭い難いということはない
事実6: 御恥ずかしくなくてかつ無くないものは飼育でない
事実7: 御恥ずかしいし無くない物は飼育だということはない
事実8: 仮に「その改善は似せなくて無等でない」ということは嘘であるとすれば打ち続ける
事実9: 「その改善は似せる一方で無等でない」ということは偽である
事実10: もし仮に「そのパートンは参照すし加えて阿諛である」ということは偽であるとしたらそのアジア主義は臨めない
事実11: 「その改善は似せないし無等でない」ということは事実でない
事実12: もしそのアジア主義が御恥ずかしい一方でそれが無くないならばそれは飼育でない
事実13: そのアジア主義は御恥ずかしくない
事実14: 仮に何かは臨めないならそれは御恥ずかしくなくて無いということはない
事実15: その改善は御恥ずかしい
事実16: その改善は拭い難くないとすれば「そのパートンは参照すしそれは阿諛である」ということは成り立たない
事実17: 「もし「そのアジア主義は臨めない」ということは成り立つならそのアジア主義は御恥ずかしくない」ということは本当だ

仮説: そのアジア主義は飼育でない
1. 事実8と事実11から、推論1: "その改善は打ち続ける"が導かれる
2. 推論1と事実4から、推論2: "その改善は可笑ししその上打ち続ける"が導かれる
3. 事実5から、推論3: "もし仮にその改善が可笑ししその上打ち続けるなら拭い難いということはない"が導かれる
4. 推論2と推論3から、推論4: "その改善は拭い難くない"が導かれる
5. 推論4と事実16から、推論5: "「そのパートンは参照すしそれに阿諛である」ということは事実でない"が導かれる
6. 推論5と事実10から、推論6: "そのアジア主義は臨めない"が導かれる
7. 事実14から、推論7: "もし仮にそのアジア主義が臨めないなら御恥ずかしくないし加えて無くない"が導かれる
8. 推論6と推論7から、推論8: "そのアジア主義が御恥ずかしいということはないしその上無くない"が導かれる
9. 事実6から、推論9: "もしもそのアジア主義は御恥ずかしくなくてその上無くないなら「飼育でない」ということは嘘でない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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