この巨大市場は発掘現場だが取り組み易くない
fact1: この巨大市場は取り組み易くない fact2: もしも「この巨大市場は認知出来ないし加えてそれは取り組み易くない」ということは成り立たないとすればあのスキップは来校する fact3: もし「あのスキップは来校しないし認知出来ない」ということは事実と異なるならこの巨大市場は座面だ fact4: 仮にあのスキップは来校すれば「この巨大市場は座面である」ということは真実である fact5: 「あのスキップは来校する一方で認知出来ない」ということは間違っている fact6: 「あのセクシュアリティは踏み止まるということはなくて座面だということはない」ということは事実であるということはない fact7: 座面は発掘現場だけれど取り組み易くない fact8: もしなにがしかの物が座面ならそれは取り組み易くない fact9: あのスキップは取り組み易いが来校しない fact10: もしこの巨大市場は座面であるなら「それは取り組み易くない」ということは事実だ fact11: 「あのスキップは来校しなくて認知出来ない」ということは事実と異なる fact12: この君子は認知出来る
fact7 -> int1: この巨大市場が座面だとすればそれは発掘現場であるしかつ取り組み易いということはない; fact11 & fact3 -> int2: この巨大市場は座面である; int1 & int2 -> hypothesis;
$facts$ = fact1: この巨大市場は取り組み易くない fact2: もしも「この巨大市場は認知出来ないし加えてそれは取り組み易くない」ということは成り立たないとすればあのスキップは来校する fact3: もし「あのスキップは来校しないし認知出来ない」ということは事実と異なるならこの巨大市場は座面だ fact4: 仮にあのスキップは来校すれば「この巨大市場は座面である」ということは真実である fact5: 「あのスキップは来校する一方で認知出来ない」ということは間違っている fact6: 「あのセクシュアリティは踏み止まるということはなくて座面だということはない」ということは事実であるということはない fact7: 座面は発掘現場だけれど取り組み易くない fact8: もしなにがしかの物が座面ならそれは取り組み易くない fact9: あのスキップは取り組み易いが来校しない fact10: もしこの巨大市場は座面であるなら「それは取り組み易くない」ということは事実だ fact11: 「あのスキップは来校しなくて認知出来ない」ということは事実と異なる fact12: この君子は認知出来る ; $hypothesis$ = この巨大市場は発掘現場だが取り組み易くない ; $proof$ = 
fact7 -> int1: この巨大市場が座面だとすればそれは発掘現場であるしかつ取り組み易いということはない; fact11 & fact3 -> int2: この巨大市場は座面である; int1 & int2 -> hypothesis; __PROVED__
事実1: この巨大市場は取り組み易くない
事実2: もしも「この巨大市場は認知出来ないし加えてそれは取り組み易くない」ということは成り立たないとすればあのスキップは来校する
事実3: もし「あのスキップは来校しないし認知出来ない」ということは事実と異なるならこの巨大市場は座面だ
事実4: 仮にあのスキップは来校すれば「この巨大市場は座面である」ということは真実である
事実5: 「あのスキップは来校する一方で認知出来ない」ということは間違っている
事実6: 「あのセクシュアリティは踏み止まるということはなくて座面だということはない」ということは事実であるということはない
事実7: 座面は発掘現場だけれど取り組み易くない
事実8: もしなにがしかの物が座面ならそれは取り組み易くない
事実9: あのスキップは取り組み易いが来校しない
事実10: もしこの巨大市場は座面であるなら「それは取り組み易くない」ということは事実だ
事実11: 「あのスキップは来校しなくて認知出来ない」ということは事実と異なる
事実12: この君子は認知出来る

仮説: この巨大市場は発掘現場だが取り組み易くない
1. 事実7から、推論1: "この巨大市場が座面だとすればそれは発掘現場であるしかつ取り組み易いということはない"が導かれる
2. 事実11と事実3から、推論2: "この巨大市場は座面である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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