「もしもその専門的支援が検討出来るとすればあの教務主任は集合研修でなくて加えて普遍主義でない」ということは成り立たない
fact1: その専門的支援は味わう fact2: 仮にその流失が集合研修でないならその教務主任は集合研修だ一方で普遍主義でない fact3: もしその教務主任が一風堂だとするとその専門的支援は普遍主義でない fact4: その教務主任は一風堂でまた集合研修である fact5: その流失は集合研修であるなら一風堂だ fact6: 仮にその専門的支援が一風堂であるししかも検討出来ればその流失は集合研修でない fact7: その流失は集合研修でないとしたら「その教務主任は集合研修でなくて更に普遍主義でない」ということは本当だ fact8: もしも「あの阿玉台北遺跡は普遍主義でなくてそれは検討出来るということはない」ということは誤りであるならば検討出来る fact9: 「もしもその教務主任が集合研修でないとしたらその専門的支援は集合研修でなくてしかも味わうということはない」ということは誤りでない fact10: もしその専門的支援が味わえば一風堂だ fact11: その教務主任は集合研修であるがしかしそれは普遍主義でない fact12: その教務主任は破れ難いけど金融経済統計月報でない fact13: もし仮にその流失が検討出来ないとしたらその専門的支援は検討出来る一方でそれは集合研修でない fact14: もしその流失が検討出来るとしたらその専門的支援は味わう一方で集合研修でない fact15: もしその専門的支援が検討出来れば朝命だ fact16: もしその教務主任が検討出来るとすればあの専門的支援は集合研修でない fact17: もしもその専門的支援が普遍主義でそれが集合研修だとするとその教務主任は味わわない fact18: 「検討出来る」物はある fact19: その専門的支援が普遍主義だとしたらその教務主任は集合研修でなくてしかも一風堂でない fact20: もしその流失が味わわないとすればその専門的支援は味わう一方でそれは集合研修でない fact21: その流失は一風堂だ fact22: その教務主任は普遍主義でない fact23: 「その教務主任は味わわない」ということは事実だとするとその専門的支援は味わわないし普遍主義でない
fact10 & fact1 -> int1: その専門的支援は一風堂である; void -> assump1: 以下のように仮定する。その専門的支援は検討出来る; int1 & assump1 -> int2: その専門的支援は一風堂であるしそれにそれは検討出来る; int2 & fact6 -> int3: その流失は集合研修でない; int3 & fact7 -> int4: その教務主任は集合研修でないしかつ普遍主義でない; [assump1] & int4 -> hypothesis;
あの授かり物は普遍主義だ
$facts$ = fact1: その専門的支援は味わう fact2: 仮にその流失が集合研修でないならその教務主任は集合研修だ一方で普遍主義でない fact3: もしその教務主任が一風堂だとするとその専門的支援は普遍主義でない fact4: その教務主任は一風堂でまた集合研修である fact5: その流失は集合研修であるなら一風堂だ fact6: 仮にその専門的支援が一風堂であるししかも検討出来ればその流失は集合研修でない fact7: その流失は集合研修でないとしたら「その教務主任は集合研修でなくて更に普遍主義でない」ということは本当だ fact8: もしも「あの阿玉台北遺跡は普遍主義でなくてそれは検討出来るということはない」ということは誤りであるならば検討出来る fact9: 「もしもその教務主任が集合研修でないとしたらその専門的支援は集合研修でなくてしかも味わうということはない」ということは誤りでない fact10: もしその専門的支援が味わえば一風堂だ fact11: その教務主任は集合研修であるがしかしそれは普遍主義でない fact12: その教務主任は破れ難いけど金融経済統計月報でない fact13: もし仮にその流失が検討出来ないとしたらその専門的支援は検討出来る一方でそれは集合研修でない fact14: もしその流失が検討出来るとしたらその専門的支援は味わう一方で集合研修でない fact15: もしその専門的支援が検討出来れば朝命だ fact16: もしその教務主任が検討出来るとすればあの専門的支援は集合研修でない fact17: もしもその専門的支援が普遍主義でそれが集合研修だとするとその教務主任は味わわない fact18: 「検討出来る」物はある fact19: その専門的支援が普遍主義だとしたらその教務主任は集合研修でなくてしかも一風堂でない fact20: もしその流失が味わわないとすればその専門的支援は味わう一方でそれは集合研修でない fact21: その流失は一風堂だ fact22: その教務主任は普遍主義でない fact23: 「その教務主任は味わわない」ということは事実だとするとその専門的支援は味わわないし普遍主義でない ; $hypothesis$ = 「もしもその専門的支援が検討出来るとすればあの教務主任は集合研修でなくて加えて普遍主義でない」ということは成り立たない ; $proof$ = 
fact10 & fact1 -> int1: その専門的支援は一風堂である; void -> assump1: 以下のように仮定する。その専門的支援は検討出来る; int1 & assump1 -> int2: その専門的支援は一風堂であるしそれにそれは検討出来る; int2 & fact6 -> int3: その流失は集合研修でない; int3 & fact7 -> int4: その教務主任は集合研修でないしかつ普遍主義でない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その専門的支援は味わう
事実2: 仮にその流失が集合研修でないならその教務主任は集合研修だ一方で普遍主義でない
事実3: もしその教務主任が一風堂だとするとその専門的支援は普遍主義でない
事実4: その教務主任は一風堂でまた集合研修である
事実5: その流失は集合研修であるなら一風堂だ
事実6: 仮にその専門的支援が一風堂であるししかも検討出来ればその流失は集合研修でない
事実7: その流失は集合研修でないとしたら「その教務主任は集合研修でなくて更に普遍主義でない」ということは本当だ
事実8: もしも「あの阿玉台北遺跡は普遍主義でなくてそれは検討出来るということはない」ということは誤りであるならば検討出来る
事実9: 「もしもその教務主任が集合研修でないとしたらその専門的支援は集合研修でなくてしかも味わうということはない」ということは誤りでない
事実10: もしその専門的支援が味わえば一風堂だ
事実11: その教務主任は集合研修であるがしかしそれは普遍主義でない
事実12: その教務主任は破れ難いけど金融経済統計月報でない
事実13: もし仮にその流失が検討出来ないとしたらその専門的支援は検討出来る一方でそれは集合研修でない
事実14: もしその流失が検討出来るとしたらその専門的支援は味わう一方で集合研修でない
事実15: もしその専門的支援が検討出来れば朝命だ
事実16: もしその教務主任が検討出来るとすればあの専門的支援は集合研修でない
事実17: もしもその専門的支援が普遍主義でそれが集合研修だとするとその教務主任は味わわない
事実18: 「検討出来る」物はある
事実19: その専門的支援が普遍主義だとしたらその教務主任は集合研修でなくてしかも一風堂でない
事実20: もしその流失が味わわないとすればその専門的支援は味わう一方でそれは集合研修でない
事実21: その流失は一風堂だ
事実22: その教務主任は普遍主義でない
事実23: 「その教務主任は味わわない」ということは事実だとするとその専門的支援は味わわないし普遍主義でない

仮説: 「もしもその専門的支援が検討出来るとすればあの教務主任は集合研修でなくて加えて普遍主義でない」ということは成り立たない
1. 事実10と事実1から、推論1: "その専門的支援は一風堂である"が導かれる
2. 仮定1: 以下のように仮定する。その専門的支援は検討出来る
3. 推論1と仮定1から、推論2: "その専門的支援は一風堂であるしそれにそれは検討出来る"が導かれる
4. 推論2と事実6から、推論3: "その流失は集合研修でない"が導かれる
5. 推論3と事実7から、推論4: "その教務主任は集合研修でないしかつ普遍主義でない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

よって、仮説が否定されました。