この嬢ちゃんは主するし加えて仲介機関だ
fact1: 主要原因は仲介機関だ fact2: 「仮に「あの丸投げはしても良くない」ということは誤っていないとしたらこの嬢ちゃんはつく」ということは本当だ fact3: この嬢ちゃんは現われ難い fact4: あの丸投げはしても良くない fact5: 「あの丸投げはしても良くない」ということは成り立つならこの嬢ちゃんはつくしその上主する fact6: この嬢ちゃんが主要原因だしそれは現われ難い
fact6 -> int1: この嬢ちゃんは主要原因だ; fact1 -> int2: この嬢ちゃんは主要原因であるならばそれは仲介機関だ; int1 & int2 -> int3: この嬢ちゃんは仲介機関だ; fact4 & fact5 -> int4: この嬢ちゃんはつくし更に主する; int4 -> int5: この嬢ちゃんは主する; int3 & int5 -> hypothesis;
$facts$ = fact1: 主要原因は仲介機関だ fact2: 「仮に「あの丸投げはしても良くない」ということは誤っていないとしたらこの嬢ちゃんはつく」ということは本当だ fact3: この嬢ちゃんは現われ難い fact4: あの丸投げはしても良くない fact5: 「あの丸投げはしても良くない」ということは成り立つならこの嬢ちゃんはつくしその上主する fact6: この嬢ちゃんが主要原因だしそれは現われ難い ; $hypothesis$ = この嬢ちゃんは主するし加えて仲介機関だ ; $proof$ = 
fact6 -> int1: この嬢ちゃんは主要原因だ; fact1 -> int2: この嬢ちゃんは主要原因であるならばそれは仲介機関だ; int1 & int2 -> int3: この嬢ちゃんは仲介機関だ; fact4 & fact5 -> int4: この嬢ちゃんはつくし更に主する; int4 -> int5: この嬢ちゃんは主する; int3 & int5 -> hypothesis; __PROVED__
事実1: 主要原因は仲介機関だ
事実2: 「仮に「あの丸投げはしても良くない」ということは誤っていないとしたらこの嬢ちゃんはつく」ということは本当だ
事実3: この嬢ちゃんは現われ難い
事実4: あの丸投げはしても良くない
事実5: 「あの丸投げはしても良くない」ということは成り立つならこの嬢ちゃんはつくしその上主する
事実6: この嬢ちゃんが主要原因だしそれは現われ難い

仮説: この嬢ちゃんは主するし加えて仲介機関だ
1. 事実6から、推論1: "この嬢ちゃんは主要原因だ"が導かれる
2. 事実1から、推論2: "この嬢ちゃんは主要原因であるならばそれは仲介機関だ"が導かれる
3. 推論1と推論2から、推論3: "この嬢ちゃんは仲介機関だ"が導かれる
4. 事実4と事実5から、推論4: "この嬢ちゃんはつくし更に主する"が導かれる
5. 推論4から、推論5: "この嬢ちゃんは主する"が導かれる
6. 推論3と推論5から、仮説が導かれる

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