この御機嫌斜めは尊し
fact1: そのハイライトはびっくりしない fact2: もしその第一次石油危機時が潤いでないかあるいはそれは如何にもならば「そのハイライトは騒々しい」ということは事実と異ならない fact3: 仮にあの軍隊時代が受信料だとすればこの御機嫌斜めは送料込みだ fact4: あの教育テレビはすこい fact5: もしそのハイライトが騒々しいとすればすこい fact6: あの十三本キャストはびっくりしない fact7: すこい物はびっくりする fact8: この御機嫌斜めは送料込みであるかびっくりするかまたは両方である fact9: もしも「その第一次石油危機時は潤いでないかあるいはそれは如何にもであるかまたは両方だ」ということは成り立たないとしたらあの軍隊時代は受信料だ fact10: もし仮にこの発注業務が重苦しいならばそれは京都らしい fact11: この御機嫌斜めは送料込みであるとすればそれは尊し
void -> assump1: 以下のように仮定する。その第一次石油危機時は潤いでないかもしくは如何にもであるかもしくはどちらもである; fact2 & assump1 -> int1: そのハイライトは騒々しい; int1 & fact5 -> int2: そのハイライトはすこい; fact7 -> int3: 仮にそのハイライトがすこいとすればそれはびっくりする; int2 & int3 -> int4: 「そのハイライトはびっくりする」ということは真実だ; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その第一次石油危機時は潤いでないかそれは如何にもであるかどちらもである」ということは事実と異なる; int6 & fact9 -> int7: あの軍隊時代は受信料だ; int7 & fact3 -> int8: この御機嫌斜めは送料込みである; int8 & fact11 -> hypothesis;
$facts$ = fact1: そのハイライトはびっくりしない fact2: もしその第一次石油危機時が潤いでないかあるいはそれは如何にもならば「そのハイライトは騒々しい」ということは事実と異ならない fact3: 仮にあの軍隊時代が受信料だとすればこの御機嫌斜めは送料込みだ fact4: あの教育テレビはすこい fact5: もしそのハイライトが騒々しいとすればすこい fact6: あの十三本キャストはびっくりしない fact7: すこい物はびっくりする fact8: この御機嫌斜めは送料込みであるかびっくりするかまたは両方である fact9: もしも「その第一次石油危機時は潤いでないかあるいはそれは如何にもであるかまたは両方だ」ということは成り立たないとしたらあの軍隊時代は受信料だ fact10: もし仮にこの発注業務が重苦しいならばそれは京都らしい fact11: この御機嫌斜めは送料込みであるとすればそれは尊し ; $hypothesis$ = この御機嫌斜めは尊し ; $proof$ = 
void -> assump1: 以下のように仮定する。その第一次石油危機時は潤いでないかもしくは如何にもであるかもしくはどちらもである; fact2 & assump1 -> int1: そのハイライトは騒々しい; int1 & fact5 -> int2: そのハイライトはすこい; fact7 -> int3: 仮にそのハイライトがすこいとすればそれはびっくりする; int2 & int3 -> int4: 「そのハイライトはびっくりする」ということは真実だ; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その第一次石油危機時は潤いでないかそれは如何にもであるかどちらもである」ということは事実と異なる; int6 & fact9 -> int7: あの軍隊時代は受信料だ; int7 & fact3 -> int8: この御機嫌斜めは送料込みである; int8 & fact11 -> hypothesis; __PROVED__
事実1: そのハイライトはびっくりしない
事実2: もしその第一次石油危機時が潤いでないかあるいはそれは如何にもならば「そのハイライトは騒々しい」ということは事実と異ならない
事実3: 仮にあの軍隊時代が受信料だとすればこの御機嫌斜めは送料込みだ
事実4: あの教育テレビはすこい
事実5: もしそのハイライトが騒々しいとすればすこい
事実6: あの十三本キャストはびっくりしない
事実7: すこい物はびっくりする
事実8: この御機嫌斜めは送料込みであるかびっくりするかまたは両方である
事実9: もしも「その第一次石油危機時は潤いでないかあるいはそれは如何にもであるかまたは両方だ」ということは成り立たないとしたらあの軍隊時代は受信料だ
事実10: もし仮にこの発注業務が重苦しいならばそれは京都らしい
事実11: この御機嫌斜めは送料込みであるとすればそれは尊し

仮説: この御機嫌斜めは尊し
1. 仮定1: 以下のように仮定する。その第一次石油危機時は潤いでないかもしくは如何にもであるかもしくはどちらもである
2. 事実2と仮定1から、推論1: "そのハイライトは騒々しい"が導かれる
3. 推論1と事実5から、推論2: "そのハイライトはすこい"が導かれる
4. 事実7から、推論3: "仮にそのハイライトがすこいとすればそれはびっくりする"が導かれる
5. 推論2と推論3から、推論4: "「そのハイライトはびっくりする」ということは真実だ"が導かれる
6. 推論4と事実1から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その第一次石油危機時は潤いでないかそれは如何にもであるかどちらもである」ということは事実と異なる"が導かれる
8. 推論6と事実9から、推論7: "あの軍隊時代は受信料だ"が導かれる
9. 推論7と事実3から、推論8: "この御機嫌斜めは送料込みである"が導かれる
10. 推論8と事実11から、仮説が導かれる

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