あの耐震性は就学者でないけど狂おしい
fact1: もし仮にあの耐震性が責苦であるしそれにそれが就学者だとすればそれは隠れ蓑だということはない fact2: もし仮にその艶やかさが異常無しであるならばあの耐震性は責苦だ fact3: あの耐震性は生易しい fact4: そのＵＳスチールが狂おしいしさらにそれは郵送料であるならばそれは周回しない fact5: その艶やかさは生易しくない fact6: もしあの医学的論争が決議するとすれば隠れ蓑である fact7: あの医学的論争は決議する fact8: 仮に何かは生易しくないとすればあの医学的論争は責苦で隠れ蓑である fact9: 「あの耐震性は恋しい」ということは正しい fact10: もし仮になにかは異常無しでないとすると決議するしまた証明す fact11: あの耐震性は隠れ蓑で生易しい fact12: このＴＴ要素は決議する fact13: あの医学的論争が証明すとするとその艶やかさは異常無しだ fact14: もしもあの医学的論争は決議すれば「それは証明す」ということは真実である fact15: もしも何かは決議するとすると「就学者だということはなくてしかも狂おしい」ということは確かでない fact16: あの耐震性は狂おしい
fact14 & fact7 -> int1: あの医学的論争は証明す; int1 & fact13 -> int2: その艶やかさは異常無しだ; int2 & fact2 -> int3: あの耐震性は責苦だ; void -> assump1: 以下のように仮定する。あの耐震性は就学者である; int3 & assump1 -> int4: あの耐震性は責苦であるしさらにそれは就学者である; int4 & fact1 -> int5: あの耐震性は隠れ蓑でない; fact11 -> int6: あの耐震性は隠れ蓑である; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの耐震性は就学者でない; int8 & fact16 -> hypothesis;
「あの耐震性は就学者でないけど狂おしい」ということは誤っている
fact17 -> int9: もしあの耐震性は決議するとしたら「就学者でないしさらにそれは狂おしい」ということは成り立たない; fact19 -> int10: もし仮にあの耐震性が異常無しでないとすればそれが決議するしその上証明す; fact20 -> int11: 「生易しいということはない」ものはある; int11 & fact18 -> int12: あの医学的論争は責苦だしさらに隠れ蓑だ; int12 -> int13: 「責苦だし加えて隠れ蓑である」物はある;
$facts$ = fact1: もし仮にあの耐震性が責苦であるしそれにそれが就学者だとすればそれは隠れ蓑だということはない fact2: もし仮にその艶やかさが異常無しであるならばあの耐震性は責苦だ fact3: あの耐震性は生易しい fact4: そのＵＳスチールが狂おしいしさらにそれは郵送料であるならばそれは周回しない fact5: その艶やかさは生易しくない fact6: もしあの医学的論争が決議するとすれば隠れ蓑である fact7: あの医学的論争は決議する fact8: 仮に何かは生易しくないとすればあの医学的論争は責苦で隠れ蓑である fact9: 「あの耐震性は恋しい」ということは正しい fact10: もし仮になにかは異常無しでないとすると決議するしまた証明す fact11: あの耐震性は隠れ蓑で生易しい fact12: このＴＴ要素は決議する fact13: あの医学的論争が証明すとするとその艶やかさは異常無しだ fact14: もしもあの医学的論争は決議すれば「それは証明す」ということは真実である fact15: もしも何かは決議するとすると「就学者だということはなくてしかも狂おしい」ということは確かでない fact16: あの耐震性は狂おしい ; $hypothesis$ = あの耐震性は就学者でないけど狂おしい ; $proof$ = 
fact14 & fact7 -> int1: あの医学的論争は証明す; int1 & fact13 -> int2: その艶やかさは異常無しだ; int2 & fact2 -> int3: あの耐震性は責苦だ; void -> assump1: 以下のように仮定する。あの耐震性は就学者である; int3 & assump1 -> int4: あの耐震性は責苦であるしさらにそれは就学者である; int4 & fact1 -> int5: あの耐震性は隠れ蓑でない; fact11 -> int6: あの耐震性は隠れ蓑である; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの耐震性は就学者でない; int8 & fact16 -> hypothesis; __PROVED__
事実1: もし仮にあの耐震性が責苦であるしそれにそれが就学者だとすればそれは隠れ蓑だということはない
事実2: もし仮にその艶やかさが異常無しであるならばあの耐震性は責苦だ
事実3: あの耐震性は生易しい
事実4: そのＵＳスチールが狂おしいしさらにそれは郵送料であるならばそれは周回しない
事実5: その艶やかさは生易しくない
事実6: もしあの医学的論争が決議するとすれば隠れ蓑である
事実7: あの医学的論争は決議する
事実8: 仮に何かは生易しくないとすればあの医学的論争は責苦で隠れ蓑である
事実9: 「あの耐震性は恋しい」ということは正しい
事実10: もし仮になにかは異常無しでないとすると決議するしまた証明す
事実11: あの耐震性は隠れ蓑で生易しい
事実12: このＴＴ要素は決議する
事実13: あの医学的論争が証明すとするとその艶やかさは異常無しだ
事実14: もしもあの医学的論争は決議すれば「それは証明す」ということは真実である
事実15: もしも何かは決議するとすると「就学者だということはなくてしかも狂おしい」ということは確かでない
事実16: あの耐震性は狂おしい

仮説: あの耐震性は就学者でないけど狂おしい
1. 事実14と事実7から、推論1: "あの医学的論争は証明す"が導かれる
2. 推論1と事実13から、推論2: "その艶やかさは異常無しだ"が導かれる
3. 推論2と事実2から、推論3: "あの耐震性は責苦だ"が導かれる
4. 仮定1: 以下のように仮定する。あの耐震性は就学者である
5. 推論3と仮定1から、推論4: "あの耐震性は責苦であるしさらにそれは就学者である"が導かれる
6. 推論4と事実1から、推論5: "あの耐震性は隠れ蓑でない"が導かれる
7. 事実11から、推論6: "あの耐震性は隠れ蓑である"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの耐震性は就学者でない"が導かれる
10. 推論8と事実16から、仮説が導かれる

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