この薄荷は騒々しくないけれどショートする
fact1: そのハーバード・ビジネススクールが嫉妬深いしその上語り継ぐ fact2: この暴動はショートしない fact3: もし仮にあの永小作権は騒々しいということはないとしたら「ショートするしその上それは名城だ」ということは間違いである fact4: 仮にあるものが酷過ぎるし名城だとすれば「あの永小作権はショートする」ということは成り立つ fact5: あの永小作権がショートするならばあの薄荷は騒々しくないけれどショートする fact6: そのハーバード・ビジネススクールが嫉妬深いならそれは酷過ぎる fact7: もしもあの永小作権がショートするとすればこの薄荷は騒々しくない fact8: 仮にあの永小作権が寄贈すればそのハーバード・ビジネススクールは出来易いかもしくは名城であるということはないか両方である fact9: あの永小作権は寄贈する fact10: もし「そのハーバード・ビジネススクールは酷過ぎない」ということは成り立つとするとその病院は嫉妬深いしその上語り継ぐ fact11: 「酷過ぎる」物はある fact12: 何らかの物は語り継がないけど嫉妬深いとすればそれはショートしない fact13: そのハーバード・ビジネススクールは名城だ
fact1 -> int1: そのハーバード・ビジネススクールは嫉妬深い; int1 & fact6 -> int2: そのハーバード・ビジネススクールは酷過ぎる; int2 & fact13 -> int3: そのハーバード・ビジネススクールは酷過ぎるし名城だ; int3 -> int4: 「酷過ぎるし名城である」物はある; int4 & fact4 -> int5: あの永小作権はショートする; int5 & fact5 -> hypothesis;
「この薄荷は騒々しくないけれどショートする」ということは正しくない
fact15 -> int6: もし仮にそのハーバード・ビジネススクールは語り継がないがしかし嫉妬深いとしたらそれはショートしない; fact16 & fact14 -> int7: そのハーバード・ビジネススクールは出来易いか名城でない;
$facts$ = fact1: そのハーバード・ビジネススクールが嫉妬深いしその上語り継ぐ fact2: この暴動はショートしない fact3: もし仮にあの永小作権は騒々しいということはないとしたら「ショートするしその上それは名城だ」ということは間違いである fact4: 仮にあるものが酷過ぎるし名城だとすれば「あの永小作権はショートする」ということは成り立つ fact5: あの永小作権がショートするならばあの薄荷は騒々しくないけれどショートする fact6: そのハーバード・ビジネススクールが嫉妬深いならそれは酷過ぎる fact7: もしもあの永小作権がショートするとすればこの薄荷は騒々しくない fact8: 仮にあの永小作権が寄贈すればそのハーバード・ビジネススクールは出来易いかもしくは名城であるということはないか両方である fact9: あの永小作権は寄贈する fact10: もし「そのハーバード・ビジネススクールは酷過ぎない」ということは成り立つとするとその病院は嫉妬深いしその上語り継ぐ fact11: 「酷過ぎる」物はある fact12: 何らかの物は語り継がないけど嫉妬深いとすればそれはショートしない fact13: そのハーバード・ビジネススクールは名城だ ; $hypothesis$ = この薄荷は騒々しくないけれどショートする ; $proof$ = 
fact1 -> int1: そのハーバード・ビジネススクールは嫉妬深い; int1 & fact6 -> int2: そのハーバード・ビジネススクールは酷過ぎる; int2 & fact13 -> int3: そのハーバード・ビジネススクールは酷過ぎるし名城だ; int3 -> int4: 「酷過ぎるし名城である」物はある; int4 & fact4 -> int5: あの永小作権はショートする; int5 & fact5 -> hypothesis; __PROVED__
事実1: そのハーバード・ビジネススクールが嫉妬深いしその上語り継ぐ
事実2: この暴動はショートしない
事実3: もし仮にあの永小作権は騒々しいということはないとしたら「ショートするしその上それは名城だ」ということは間違いである
事実4: 仮にあるものが酷過ぎるし名城だとすれば「あの永小作権はショートする」ということは成り立つ
事実5: あの永小作権がショートするならばあの薄荷は騒々しくないけれどショートする
事実6: そのハーバード・ビジネススクールが嫉妬深いならそれは酷過ぎる
事実7: もしもあの永小作権がショートするとすればこの薄荷は騒々しくない
事実8: 仮にあの永小作権が寄贈すればそのハーバード・ビジネススクールは出来易いかもしくは名城であるということはないか両方である
事実9: あの永小作権は寄贈する
事実10: もし「そのハーバード・ビジネススクールは酷過ぎない」ということは成り立つとするとその病院は嫉妬深いしその上語り継ぐ
事実11: 「酷過ぎる」物はある
事実12: 何らかの物は語り継がないけど嫉妬深いとすればそれはショートしない
事実13: そのハーバード・ビジネススクールは名城だ

仮説: この薄荷は騒々しくないけれどショートする
1. 事実1から、推論1: "そのハーバード・ビジネススクールは嫉妬深い"が導かれる
2. 推論1と事実6から、推論2: "そのハーバード・ビジネススクールは酷過ぎる"が導かれる
3. 推論2と事実13から、推論3: "そのハーバード・ビジネススクールは酷過ぎるし名城だ"が導かれる
4. 推論3から、推論4: "「酷過ぎるし名城である」物はある"が導かれる
5. 推論4と事実4から、推論5: "あの永小作権はショートする"が導かれる
6. 推論5と事実5から、仮説が導かれる

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