仮にあの各管理職者は分かり易過ぎるということはないなら「このワークステーション上は印紙税法別表であるということはなくて交流戦でない」ということは真実である
fact1: あの桐一葉は印紙税法別表だ fact2: もしもなにかは分離独立しないけれどストロークすれば「その黒Ａは零一二三吉祥寺だ」ということは成り立つ fact3: このワークステーション上が分かり易過ぎるとしたらそれは交流戦であるということはない fact4: 仮に「交流戦でなくて零一二三吉祥寺な」物はあるとすれば「あの各管理職者は分かり易過ぎない」ということは嘘だ fact5: 安いものは印紙税法別表であるということはない fact6: もしその負債短期調達が安くないしその上それが野太くないならそれは東都新報である fact7: その黒Ａが痛覚過敏発現であるし零一二三吉祥寺であるとすればこのワークステーション上は東都新報でない fact8: もし仮になにかは零一二三吉祥寺でないならばそれが足立さんだしそれは東都新報である fact9: もし仮にあの各管理職者が分かり易過ぎないとすればその黒Ａは足立さんであるしそれは痛覚過敏発現である fact10: 「分離独立するということはないし加えてストロークする」ものはある fact11: 「ストロークする」ものはある fact12: 安い物は印紙税法別表でないしさらに交流戦でない fact13: とある物は東都新報でないならば安いし更に野太い fact14: なにがしかのものは分離独立するしストロークする fact15: あの肩入れは印紙税法別表でない fact16: もしも何らかの物が東都新報でないとすればそれは野太い fact17: あの各管理職者が分かり易過ぎるならこのワークステーション上は印紙税法別表でないしかつそれは交流戦であるということはない fact18: もし仮にその黒Ａが野太いということはないとするとこのワークステーション上は足立さんでないしまた零一二三吉祥寺だということはない fact19: 「あの各管理職者は六百八十四部隊でないしさらにそれは御詳しくない」ということは間違いだということはない fact20: 仮にこのワークステーション上が東都新報でないとすれば野太い fact21: 「御選びな」ものはある fact22: 「ランページである」物はある fact23: その黒Ａは足立さんである
void -> assump1: 以下のように仮定する。あの各管理職者は分かり易過ぎない; fact9 & assump1 -> int1: その黒Ａが足立さんだしそれにそれは痛覚過敏発現だ; int1 -> int2: その黒Ａは痛覚過敏発現である; fact10 & fact2 -> int3: その黒Ａは零一二三吉祥寺だ; int2 & int3 -> int4: その黒Ａは痛覚過敏発現で零一二三吉祥寺だ; int4 & fact7 -> int5: このワークステーション上は東都新報でない; fact13 -> int6: 仮にこのワークステーション上が東都新報でないとすれば安くてかつ野太い; int5 & int6 -> int7: このワークステーション上は安いしさらに野太い; int7 -> int8: このワークステーション上は安い; fact12 -> int9: 「このワークステーション上は安い」ということは事実だとするとそれは印紙税法別表だということはなくて交流戦だということはない; int8 & int9 -> int10: このワークステーション上は印紙税法別表でなくてその上交流戦でない; [assump1] & int10 -> 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$ = 
void -> assump1: 以下のように仮定する。あの各管理職者は分かり易過ぎない; fact9 & assump1 -> int1: その黒Ａが足立さんだしそれにそれは痛覚過敏発現だ; int1 -> int2: その黒Ａは痛覚過敏発現である; fact10 & fact2 -> int3: その黒Ａは零一二三吉祥寺だ; int2 & int3 -> int4: その黒Ａは痛覚過敏発現で零一二三吉祥寺だ; int4 & fact7 -> int5: このワークステーション上は東都新報でない; fact13 -> int6: 仮にこのワークステーション上が東都新報でないとすれば安くてかつ野太い; int5 & int6 -> int7: このワークステーション上は安いしさらに野太い; int7 -> int8: このワークステーション上は安い; fact12 -> int9: 「このワークステーション上は安い」ということは事実だとするとそれは印紙税法別表だということはなくて交流戦だということはない; int8 & int9 -> int10: このワークステーション上は印紙税法別表でなくてその上交流戦でない; [assump1] & int10 -> hypothesis; __PROVED__
事実1: あの桐一葉は印紙税法別表だ
事実2: もしもなにかは分離独立しないけれどストロークすれば「その黒Ａは零一二三吉祥寺だ」ということは成り立つ
事実3: このワークステーション上が分かり易過ぎるとしたらそれは交流戦であるということはない
事実4: 仮に「交流戦でなくて零一二三吉祥寺な」物はあるとすれば「あの各管理職者は分かり易過ぎない」ということは嘘だ
事実5: 安いものは印紙税法別表であるということはない
事実6: もしその負債短期調達が安くないしその上それが野太くないならそれは東都新報である
事実7: その黒Ａが痛覚過敏発現であるし零一二三吉祥寺であるとすればこのワークステーション上は東都新報でない
事実8: もし仮になにかは零一二三吉祥寺でないならばそれが足立さんだしそれは東都新報である
事実9: もし仮にあの各管理職者が分かり易過ぎないとすればその黒Ａは足立さんであるしそれは痛覚過敏発現である
事実10: 「分離独立するということはないし加えてストロークする」ものはある
事実11: 「ストロークする」ものはある
事実12: 安い物は印紙税法別表でないしさらに交流戦でない
事実13: とある物は東都新報でないならば安いし更に野太い
事実14: なにがしかのものは分離独立するしストロークする
事実15: あの肩入れは印紙税法別表でない
事実16: もしも何らかの物が東都新報でないとすればそれは野太い
事実17: あの各管理職者が分かり易過ぎるならこのワークステーション上は印紙税法別表でないしかつそれは交流戦であるということはない
事実18: もし仮にその黒Ａが野太いということはないとするとこのワークステーション上は足立さんでないしまた零一二三吉祥寺だということはない
事実19: 「あの各管理職者は六百八十四部隊でないしさらにそれは御詳しくない」ということは間違いだということはない
事実20: 仮にこのワークステーション上が東都新報でないとすれば野太い
事実21: 「御選びな」ものはある
事実22: 「ランページである」物はある
事実23: その黒Ａは足立さんである

仮説: 仮にあの各管理職者は分かり易過ぎるということはないなら「このワークステーション上は印紙税法別表であるということはなくて交流戦でない」ということは真実である
1. 仮定1: 以下のように仮定する。あの各管理職者は分かり易過ぎない
2. 事実9と仮定1から、推論1: "その黒Ａが足立さんだしそれにそれは痛覚過敏発現だ"が導かれる
3. 推論1から、推論2: "その黒Ａは痛覚過敏発現である"が導かれる
4. 事実10と事実2から、推論3: "その黒Ａは零一二三吉祥寺だ"が導かれる
5. 推論2と推論3から、推論4: "その黒Ａは痛覚過敏発現で零一二三吉祥寺だ"が導かれる
6. 推論4と事実7から、推論5: "このワークステーション上は東都新報でない"が導かれる
7. 事実13から、推論6: "仮にこのワークステーション上が東都新報でないとすれば安くてかつ野太い"が導かれる
8. 推論5と推論6から、推論7: "このワークステーション上は安いしさらに野太い"が導かれる
9. 推論7から、推論8: "このワークステーション上は安い"が導かれる
10. 事実12から、推論9: "「このワークステーション上は安い」ということは事実だとするとそれは印紙税法別表だということはなくて交流戦だということはない"が導かれる
11. 推論8と推論9から、推論10: "このワークステーション上は印紙税法別表でなくてその上交流戦でない"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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