その同級生は御本心でないしおまけにオペレーションしない
fact1: この約百人は封じ込めない fact2: 全ては分離し易くてそれにそれは封じ込めない fact3: この約百人が倍近くでないとすれば事件全体であるし申し渡す fact4: 仮にとある物は分離し易くて更に封じ込めるなら影絵である fact5: もしもこの約百人は分離し易いし更に封じ込めるなら影絵である fact6: 全ては封じ込めない fact7: その同級生は御本心でない fact8: 「この約百人は倍近くでない」ということは真実である fact9: 仮にこの約百人が影絵であるしそれは事件全体であるなら「その同級生はオペレーションしない」ということは本当だ fact10: もし仮にあるものが分離し易いけれど封じ込めないならば「影絵でない」ということは間違いだ
fact10 -> int1: もし仮にこの約百人は分離し易いがしかし封じ込めないとしたら「それは影絵だ」ということは本当である; fact2 -> int2: この約百人は分離し易いがしかし封じ込めない; int1 & int2 -> int3: この約百人は影絵だ; fact3 & fact8 -> int4: この約百人は事件全体だしその上申し渡す; int4 -> int5: この約百人は事件全体である; int3 & int5 -> int6: この約百人は影絵であるしさらに事件全体である; int6 & fact9 -> int7: その同級生はオペレーションしない; int7 & fact7 -> hypothesis;
$facts$ = fact1: この約百人は封じ込めない fact2: 全ては分離し易くてそれにそれは封じ込めない fact3: この約百人が倍近くでないとすれば事件全体であるし申し渡す fact4: 仮にとある物は分離し易くて更に封じ込めるなら影絵である fact5: もしもこの約百人は分離し易いし更に封じ込めるなら影絵である fact6: 全ては封じ込めない fact7: その同級生は御本心でない fact8: 「この約百人は倍近くでない」ということは真実である fact9: 仮にこの約百人が影絵であるしそれは事件全体であるなら「その同級生はオペレーションしない」ということは本当だ fact10: もし仮にあるものが分離し易いけれど封じ込めないならば「影絵でない」ということは間違いだ ; $hypothesis$ = その同級生は御本心でないしおまけにオペレーションしない ; $proof$ = 
fact10 -> int1: もし仮にこの約百人は分離し易いがしかし封じ込めないとしたら「それは影絵だ」ということは本当である; fact2 -> int2: この約百人は分離し易いがしかし封じ込めない; int1 & int2 -> int3: この約百人は影絵だ; fact3 & fact8 -> int4: この約百人は事件全体だしその上申し渡す; int4 -> int5: この約百人は事件全体である; int3 & int5 -> int6: この約百人は影絵であるしさらに事件全体である; int6 & fact9 -> int7: その同級生はオペレーションしない; int7 & fact7 -> hypothesis; __PROVED__
事実1: この約百人は封じ込めない
事実2: 全ては分離し易くてそれにそれは封じ込めない
事実3: この約百人が倍近くでないとすれば事件全体であるし申し渡す
事実4: 仮にとある物は分離し易くて更に封じ込めるなら影絵である
事実5: もしもこの約百人は分離し易いし更に封じ込めるなら影絵である
事実6: 全ては封じ込めない
事実7: その同級生は御本心でない
事実8: 「この約百人は倍近くでない」ということは真実である
事実9: 仮にこの約百人が影絵であるしそれは事件全体であるなら「その同級生はオペレーションしない」ということは本当だ
事実10: もし仮にあるものが分離し易いけれど封じ込めないならば「影絵でない」ということは間違いだ

仮説: その同級生は御本心でないしおまけにオペレーションしない
1. 事実10から、推論1: "もし仮にこの約百人は分離し易いがしかし封じ込めないとしたら「それは影絵だ」ということは本当である"が導かれる
2. 事実2から、推論2: "この約百人は分離し易いがしかし封じ込めない"が導かれる
3. 推論1と推論2から、推論3: "この約百人は影絵だ"が導かれる
4. 事実3と事実8から、推論4: "この約百人は事件全体だしその上申し渡す"が導かれる
5. 推論4から、推論5: "この約百人は事件全体である"が導かれる
6. 推論3と推論5から、推論6: "この約百人は影絵であるしさらに事件全体である"が導かれる
7. 推論6と事実9から、推論7: "その同級生はオペレーションしない"が導かれる
8. 推論7と事実7から、仮説が導かれる

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