「素人っぽいけど黄白でない」ものはある
fact1: もし仮にあの即効薬は経口摂取するとすると「その山小屋は科目名でないけれど提案内容だ」ということは事実と異なる fact2: もしその山小屋が黄白であるとすればその保健サービスは素人っぽい fact3: その山小屋は経口摂取するしさらに観戦する fact4: あの即効薬は得られ易くない fact5: とある物は黄白でない fact6: 「その山小屋は科目名でないけど提案内容である」ということは誤りだとすればそれは提案内容であるということはない fact7: 「その山小屋は皇道でない」ということは成り立つ fact8: 何かは素人っぽくてまたそれは黄白である fact9: あの即効薬は経口摂取する fact10: もし仮になにがしかの物は黄白でないし更に皇道でないとしたら「それは提案内容だ」ということは成り立つ fact11: もしその山小屋が黄白であるとすればあの保健サービスは素人っぽいけれど黄白でない fact12: あの物質面は提案内容でないし科目名でないとすればそれは皇道であるということはない fact13: その保健サービスは素人っぽい fact14: あの即効薬は黄白だ
void -> assump1: 以下のように仮定する。その山小屋は黄白でない; assump1 & fact7 -> int1: その山小屋は黄白でないし皇道でない; fact10 -> int2: もしその山小屋は黄白でないし皇道でないとすればそれは提案内容だ; int1 & int2 -> int3: その山小屋は提案内容である; fact9 & fact1 -> int4: 「その山小屋は科目名でないけど提案内容である」ということは事実と異なる; int4 & fact6 -> int5: その山小屋は提案内容でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その山小屋は黄白である; int7 & fact11 -> int8: その保健サービスは素人っぽいがしかし黄白でない; int8 -> hypothesis;
あの物質面は素人っぽい
fact15 -> int9: その山小屋は経口摂取する; int9 -> int10: なんらかの物は経口摂取する;
$facts$ = fact1: もし仮にあの即効薬は経口摂取するとすると「その山小屋は科目名でないけれど提案内容だ」ということは事実と異なる fact2: もしその山小屋が黄白であるとすればその保健サービスは素人っぽい fact3: その山小屋は経口摂取するしさらに観戦する fact4: あの即効薬は得られ易くない fact5: とある物は黄白でない fact6: 「その山小屋は科目名でないけど提案内容である」ということは誤りだとすればそれは提案内容であるということはない fact7: 「その山小屋は皇道でない」ということは成り立つ fact8: 何かは素人っぽくてまたそれは黄白である fact9: あの即効薬は経口摂取する fact10: もし仮になにがしかの物は黄白でないし更に皇道でないとしたら「それは提案内容だ」ということは成り立つ fact11: もしその山小屋が黄白であるとすればあの保健サービスは素人っぽいけれど黄白でない fact12: あの物質面は提案内容でないし科目名でないとすればそれは皇道であるということはない fact13: その保健サービスは素人っぽい fact14: あの即効薬は黄白だ ; $hypothesis$ = 「素人っぽいけど黄白でない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。その山小屋は黄白でない; assump1 & fact7 -> int1: その山小屋は黄白でないし皇道でない; fact10 -> int2: もしその山小屋は黄白でないし皇道でないとすればそれは提案内容だ; int1 & int2 -> int3: その山小屋は提案内容である; fact9 & fact1 -> int4: 「その山小屋は科目名でないけど提案内容である」ということは事実と異なる; int4 & fact6 -> int5: その山小屋は提案内容でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その山小屋は黄白である; int7 & fact11 -> int8: その保健サービスは素人っぽいがしかし黄白でない; int8 -> hypothesis; __PROVED__
事実1: もし仮にあの即効薬は経口摂取するとすると「その山小屋は科目名でないけれど提案内容だ」ということは事実と異なる
事実2: もしその山小屋が黄白であるとすればその保健サービスは素人っぽい
事実3: その山小屋は経口摂取するしさらに観戦する
事実4: あの即効薬は得られ易くない
事実5: とある物は黄白でない
事実6: 「その山小屋は科目名でないけど提案内容である」ということは誤りだとすればそれは提案内容であるということはない
事実7: 「その山小屋は皇道でない」ということは成り立つ
事実8: 何かは素人っぽくてまたそれは黄白である
事実9: あの即効薬は経口摂取する
事実10: もし仮になにがしかの物は黄白でないし更に皇道でないとしたら「それは提案内容だ」ということは成り立つ
事実11: もしその山小屋が黄白であるとすればあの保健サービスは素人っぽいけれど黄白でない
事実12: あの物質面は提案内容でないし科目名でないとすればそれは皇道であるということはない
事実13: その保健サービスは素人っぽい
事実14: あの即効薬は黄白だ

仮説: 「素人っぽいけど黄白でない」ものはある
1. 仮定1: 以下のように仮定する。その山小屋は黄白でない
2. 仮定1と事実7から、推論1: "その山小屋は黄白でないし皇道でない"が導かれる
3. 事実10から、推論2: "もしその山小屋は黄白でないし皇道でないとすればそれは提案内容だ"が導かれる
4. 推論1と推論2から、推論3: "その山小屋は提案内容である"が導かれる
5. 事実9と事実1から、推論4: "「その山小屋は科目名でないけど提案内容である」ということは事実と異なる"が導かれる
6. 推論4と事実6から、推論5: "その山小屋は提案内容でない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その山小屋は黄白である"が導かれる
9. 推論7と事実11から、推論8: "その保健サービスは素人っぽいがしかし黄白でない"が導かれる
10. 推論8から、仮説が導かれる

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