その企業は話し易くないけど建て替える
fact1: もしもこの崇高さが爆散するならあの変換点は格好悪くない fact2: もし仮にあるものが泣き疲れるなら爆散する fact3: あの変換点は爆散する fact4: もし仮にこの三角筋は不自由するということはないとすれば「あの懸案は大変身するがしかし重たくない」ということは誤っている fact5: その企業は建て替える fact6: もしこの三角筋が不自由するとしたらこの崇高さは泣き疲れる fact7: もしも「あの変換点は格好悪くない」ということは間違っていないとすればその企業は建て替える fact8: もしも「あの懸案は大変身するがしかし重たいということはない」ということは誤りであるならばそれは聞き辛い fact9: もし仮にこの三角筋が泣き疲れないならばその企業は聞き辛い fact10: もし「あるものは不自由する」ということは確かだとしたら「それは話し易くないが建て替える」ということは偽である fact11: 仮に「この三角筋は聞き辛い」ということは本当ならその企業は聞き辛い fact12: あの変換点が格好悪くないとしたらその企業は話し易くないけどそれは建て替える fact13: その企業は聞き辛いとしたら「それは不自由する」ということは正しい fact14: あの懸案は聞き辛くない
void -> assump1: 以下のように仮定する。この三角筋は不自由しない; fact4 & assump1 -> int1: 「あの懸案は大変身するけれどそれは重たくない」ということは偽である; int1 & fact8 -> int2: あの懸案は聞き辛い; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この三角筋は不自由する」ということは事実だ; int4 & fact6 -> int5: この崇高さは泣き疲れる; fact2 -> int6: この崇高さが泣き疲れるとすると爆散する; int5 & int6 -> int7: この崇高さは爆散する; int7 & fact1 -> int8: あの変換点は格好悪くない; int8 & fact12 -> hypothesis;
「その企業は話し易くないがしかしそれは建て替える」ということは誤っている
fact18 -> int9: 仮にその企業は不自由するとすれば「話し易くないがしかし建て替える」ということは嘘である;
$facts$ = fact1: もしもこの崇高さが爆散するならあの変換点は格好悪くない fact2: もし仮にあるものが泣き疲れるなら爆散する fact3: あの変換点は爆散する fact4: もし仮にこの三角筋は不自由するということはないとすれば「あの懸案は大変身するがしかし重たくない」ということは誤っている fact5: その企業は建て替える fact6: もしこの三角筋が不自由するとしたらこの崇高さは泣き疲れる fact7: もしも「あの変換点は格好悪くない」ということは間違っていないとすればその企業は建て替える fact8: もしも「あの懸案は大変身するがしかし重たいということはない」ということは誤りであるならばそれは聞き辛い fact9: もし仮にこの三角筋が泣き疲れないならばその企業は聞き辛い fact10: もし「あるものは不自由する」ということは確かだとしたら「それは話し易くないが建て替える」ということは偽である fact11: 仮に「この三角筋は聞き辛い」ということは本当ならその企業は聞き辛い fact12: あの変換点が格好悪くないとしたらその企業は話し易くないけどそれは建て替える fact13: その企業は聞き辛いとしたら「それは不自由する」ということは正しい fact14: あの懸案は聞き辛くない ; $hypothesis$ = その企業は話し易くないけど建て替える ; $proof$ = 
void -> assump1: 以下のように仮定する。この三角筋は不自由しない; fact4 & assump1 -> int1: 「あの懸案は大変身するけれどそれは重たくない」ということは偽である; int1 & fact8 -> int2: あの懸案は聞き辛い; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この三角筋は不自由する」ということは事実だ; int4 & fact6 -> int5: この崇高さは泣き疲れる; fact2 -> int6: この崇高さが泣き疲れるとすると爆散する; int5 & int6 -> int7: この崇高さは爆散する; int7 & fact1 -> int8: あの変換点は格好悪くない; int8 & fact12 -> hypothesis; __PROVED__
事実1: もしもこの崇高さが爆散するならあの変換点は格好悪くない
事実2: もし仮にあるものが泣き疲れるなら爆散する
事実3: あの変換点は爆散する
事実4: もし仮にこの三角筋は不自由するということはないとすれば「あの懸案は大変身するがしかし重たくない」ということは誤っている
事実5: その企業は建て替える
事実6: もしこの三角筋が不自由するとしたらこの崇高さは泣き疲れる
事実7: もしも「あの変換点は格好悪くない」ということは間違っていないとすればその企業は建て替える
事実8: もしも「あの懸案は大変身するがしかし重たいということはない」ということは誤りであるならばそれは聞き辛い
事実9: もし仮にこの三角筋が泣き疲れないならばその企業は聞き辛い
事実10: もし「あるものは不自由する」ということは確かだとしたら「それは話し易くないが建て替える」ということは偽である
事実11: 仮に「この三角筋は聞き辛い」ということは本当ならその企業は聞き辛い
事実12: あの変換点が格好悪くないとしたらその企業は話し易くないけどそれは建て替える
事実13: その企業は聞き辛いとしたら「それは不自由する」ということは正しい
事実14: あの懸案は聞き辛くない

仮説: その企業は話し易くないけど建て替える
1. 仮定1: 以下のように仮定する。この三角筋は不自由しない
2. 事実4と仮定1から、推論1: "「あの懸案は大変身するけれどそれは重たくない」ということは偽である"が導かれる
3. 推論1と事実8から、推論2: "あの懸案は聞き辛い"が導かれる
4. 推論2と事実14から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この三角筋は不自由する」ということは事実だ"が導かれる
6. 推論4と事実6から、推論5: "この崇高さは泣き疲れる"が導かれる
7. 事実2から、推論6: "この崇高さが泣き疲れるとすると爆散する"が導かれる
8. 推論5と推論6から、推論7: "この崇高さは爆散する"が導かれる
9. 推論7と事実1から、推論8: "あの変換点は格好悪くない"が導かれる
10. 推論8と事実12から、仮説が導かれる

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