その被写体は接頭語だ
fact1: あの参戦は引っ張り込まない fact2: この小中学は持ち込めるししかも骨髄バンクである fact3: もし「持ち込めるがしかし引っ張り込まない」物があるならその被写体は接頭語でない fact4: この小中学は引っ張り込まない
fact2 -> int1: この小中学は持ち込める; int1 & fact4 -> int2: この小中学は持ち込めるが引っ張り込まない; int2 -> int3: 「持ち込める一方で引っ張り込まない」物はある; int3 & fact3 -> hypothesis;
$facts$ = fact1: あの参戦は引っ張り込まない fact2: この小中学は持ち込めるししかも骨髄バンクである fact3: もし「持ち込めるがしかし引っ張り込まない」物があるならその被写体は接頭語でない fact4: この小中学は引っ張り込まない ; $hypothesis$ = その被写体は接頭語だ ; $proof$ = 
fact2 -> int1: この小中学は持ち込める; int1 & fact4 -> int2: この小中学は持ち込めるが引っ張り込まない; int2 -> int3: 「持ち込める一方で引っ張り込まない」物はある; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: あの参戦は引っ張り込まない
事実2: この小中学は持ち込めるししかも骨髄バンクである
事実3: もし「持ち込めるがしかし引っ張り込まない」物があるならその被写体は接頭語でない
事実4: この小中学は引っ張り込まない

仮説: その被写体は接頭語だ
1. 事実2から、推論1: "この小中学は持ち込める"が導かれる
2. 推論1と事実4から、推論2: "この小中学は持ち込めるが引っ張り込まない"が導かれる
3. 推論2から、推論3: "「持ち込める一方で引っ張り込まない」物はある"が導かれる
4. 推論3と事実3から、仮説が否定される

よって、仮説が否定されました。