もしもそのマヤライヤガは疾しとすると「この聖僧は倒産する」ということは確かだ
fact1: もしそのマヤライヤガが疾しならば米不足でありおまけに資本組み入れでない fact2: もしそのマヤライヤガが疾しならそれは米不足だ fact3: この聖僧は疾し fact4: 「この聖僧は半導体線量計だ一方でそれは倒産しない」ということは偽であるとすると資本組み入れでない fact5: 仮にあの情操教育は資本組み入れでないならば「そのマヤライヤガが主成分分析だけどそれは嘆ずない」ということは成り立たない fact6: そのマヤライヤガは家庭医学書でない fact7: 「あの利用者本位は知行宛て行いだということはない」ということは確かである fact8: もしもなにがしかのものが主成分分析でないが半導体線量計であるならばそれは倒産する fact9: 「そのマヤライヤガは主成分分析でないけどそれは疾し」ということは成り立つ fact10: そのマヤライヤガは資本組み入れでないならば「あの情操教育は知行宛て行いだけど嘆ずない」ということは間違いだ fact11: もし仮に「あの情操教育は主成分分析でない」ということは確かであるとするとこの聖僧は主成分分析でないが半導体線量計である fact12: この聖僧が主成分分析であるし半導体線量計であるならばそれは倒産する fact13: あの児童虐待防止ネットワークは米不足でないが物凄ーい fact14: もし仮に「あるものは知行宛て行いである一方で嘆ずということはない」ということは誤っているとしたらそれは主成分分析でない fact15: もしも「なにかは米不足であるけど半導体線量計でない」ということは事実と異なるとすればそれは主成分分析でない fact16: そのマヤライヤガは半導体線量計である fact17: 「あの情操教育は知行宛て行いであるしそれは嘆ず」ということは誤りである fact18: そのマヤライヤガは米不足だ fact19: 「この聖僧は主成分分析でない」ということは成り立つ fact20: そのマヤライヤガは資本組み入れでないとすれば「あの情操教育は知行宛て行いであるししかも嘆ず」ということは成り立たない fact21: もし仮にあの情操教育が嘆ずとしたら主成分分析でない
void -> assump1: 以下のように仮定する。そのマヤライヤガは疾し; fact1 & assump1 -> int1: そのマヤライヤガは米不足であるけど資本組み入れだということはない; int1 -> int2: そのマヤライヤガは資本組み入れでない; int2 & fact10 -> int3: 「あの情操教育は知行宛て行いだけど嘆ずない」ということは成り立たない; fact14 -> int4: もし「あの情操教育は知行宛て行いであるがしかしそれは嘆ずない」ということは間違っているとすればそれは主成分分析でない; int3 & int4 -> int5: あの情操教育は主成分分析でない; int5 & fact11 -> int6: この聖僧は主成分分析だということはないが半導体線量計だ; fact8 -> int7: 「この聖僧が主成分分析だということはないけれど半導体線量計だとすればあの聖僧は倒産する」ということは確かだ; int6 & int7 -> int8: 「この聖僧は倒産する」ということは確かである; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もしそのマヤライヤガが疾しならば米不足でありおまけに資本組み入れでない fact2: もしそのマヤライヤガが疾しならそれは米不足だ fact3: この聖僧は疾し fact4: 「この聖僧は半導体線量計だ一方でそれは倒産しない」ということは偽であるとすると資本組み入れでない fact5: 仮にあの情操教育は資本組み入れでないならば「そのマヤライヤガが主成分分析だけどそれは嘆ずない」ということは成り立たない fact6: そのマヤライヤガは家庭医学書でない fact7: 「あの利用者本位は知行宛て行いだということはない」ということは確かである fact8: もしもなにがしかのものが主成分分析でないが半導体線量計であるならばそれは倒産する fact9: 「そのマヤライヤガは主成分分析でないけどそれは疾し」ということは成り立つ fact10: そのマヤライヤガは資本組み入れでないならば「あの情操教育は知行宛て行いだけど嘆ずない」ということは間違いだ fact11: もし仮に「あの情操教育は主成分分析でない」ということは確かであるとするとこの聖僧は主成分分析でないが半導体線量計である fact12: この聖僧が主成分分析であるし半導体線量計であるならばそれは倒産する fact13: あの児童虐待防止ネットワークは米不足でないが物凄ーい fact14: もし仮に「あるものは知行宛て行いである一方で嘆ずということはない」ということは誤っているとしたらそれは主成分分析でない fact15: もしも「なにかは米不足であるけど半導体線量計でない」ということは事実と異なるとすればそれは主成分分析でない fact16: そのマヤライヤガは半導体線量計である fact17: 「あの情操教育は知行宛て行いであるしそれは嘆ず」ということは誤りである fact18: そのマヤライヤガは米不足だ fact19: 「この聖僧は主成分分析でない」ということは成り立つ fact20: そのマヤライヤガは資本組み入れでないとすれば「あの情操教育は知行宛て行いであるししかも嘆ず」ということは成り立たない fact21: もし仮にあの情操教育が嘆ずとしたら主成分分析でない ; $hypothesis$ = もしもそのマヤライヤガは疾しとすると「この聖僧は倒産する」ということは確かだ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのマヤライヤガは疾し; fact1 & assump1 -> int1: そのマヤライヤガは米不足であるけど資本組み入れだということはない; int1 -> int2: そのマヤライヤガは資本組み入れでない; int2 & fact10 -> int3: 「あの情操教育は知行宛て行いだけど嘆ずない」ということは成り立たない; fact14 -> int4: もし「あの情操教育は知行宛て行いであるがしかしそれは嘆ずない」ということは間違っているとすればそれは主成分分析でない; int3 & int4 -> int5: あの情操教育は主成分分析でない; int5 & fact11 -> int6: この聖僧は主成分分析だということはないが半導体線量計だ; fact8 -> int7: 「この聖僧が主成分分析だということはないけれど半導体線量計だとすればあの聖僧は倒産する」ということは確かだ; int6 & int7 -> int8: 「この聖僧は倒産する」ということは確かである; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしそのマヤライヤガが疾しならば米不足でありおまけに資本組み入れでない
事実2: もしそのマヤライヤガが疾しならそれは米不足だ
事実3: この聖僧は疾し
事実4: 「この聖僧は半導体線量計だ一方でそれは倒産しない」ということは偽であるとすると資本組み入れでない
事実5: 仮にあの情操教育は資本組み入れでないならば「そのマヤライヤガが主成分分析だけどそれは嘆ずない」ということは成り立たない
事実6: そのマヤライヤガは家庭医学書でない
事実7: 「あの利用者本位は知行宛て行いだということはない」ということは確かである
事実8: もしもなにがしかのものが主成分分析でないが半導体線量計であるならばそれは倒産する
事実9: 「そのマヤライヤガは主成分分析でないけどそれは疾し」ということは成り立つ
事実10: そのマヤライヤガは資本組み入れでないならば「あの情操教育は知行宛て行いだけど嘆ずない」ということは間違いだ
事実11: もし仮に「あの情操教育は主成分分析でない」ということは確かであるとするとこの聖僧は主成分分析でないが半導体線量計である
事実12: この聖僧が主成分分析であるし半導体線量計であるならばそれは倒産する
事実13: あの児童虐待防止ネットワークは米不足でないが物凄ーい
事実14: もし仮に「あるものは知行宛て行いである一方で嘆ずということはない」ということは誤っているとしたらそれは主成分分析でない
事実15: もしも「なにかは米不足であるけど半導体線量計でない」ということは事実と異なるとすればそれは主成分分析でない
事実16: そのマヤライヤガは半導体線量計である
事実17: 「あの情操教育は知行宛て行いであるしそれは嘆ず」ということは誤りである
事実18: そのマヤライヤガは米不足だ
事実19: 「この聖僧は主成分分析でない」ということは成り立つ
事実20: そのマヤライヤガは資本組み入れでないとすれば「あの情操教育は知行宛て行いであるししかも嘆ず」ということは成り立たない
事実21: もし仮にあの情操教育が嘆ずとしたら主成分分析でない

仮説: もしもそのマヤライヤガは疾しとすると「この聖僧は倒産する」ということは確かだ
1. 仮定1: 以下のように仮定する。そのマヤライヤガは疾し
2. 事実1と仮定1から、推論1: "そのマヤライヤガは米不足であるけど資本組み入れだということはない"が導かれる
3. 推論1から、推論2: "そのマヤライヤガは資本組み入れでない"が導かれる
4. 推論2と事実10から、推論3: "「あの情操教育は知行宛て行いだけど嘆ずない」ということは成り立たない"が導かれる
5. 事実14から、推論4: "もし「あの情操教育は知行宛て行いであるがしかしそれは嘆ずない」ということは間違っているとすればそれは主成分分析でない"が導かれる
6. 推論3と推論4から、推論5: "あの情操教育は主成分分析でない"が導かれる
7. 推論5と事実11から、推論6: "この聖僧は主成分分析だということはないが半導体線量計だ"が導かれる
8. 事実8から、推論7: "「この聖僧が主成分分析だということはないけれど半導体線量計だとすればあの聖僧は倒産する」ということは確かだ"が導かれる
9. 推論6と推論7から、推論8: "「この聖僧は倒産する」ということは確かである"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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