あの時候はさん付けだ
fact1: あの学校格差は投入だ fact2: もしあの学校格差は投入であるなら「この画面構成は通い始めるけどそれは叙述しない」ということは成り立たない fact3: もし何らかの物が教え合わないとすればそれは投入であるしさらに裏書き譲渡する fact4: もしなんらかのものは投入であるとすればさん付けである fact5: もし「「通い始めるし叙述するということはない」ということは成り立つということはない」物があるとしたらあの時候はさん付けでない
fact2 & fact1 -> int1: 「この画面構成は通い始めるが叙述するということはない」ということは成り立つということはない; int1 -> int2: 「「「通い始めるが叙述しない」ということは本当だ」ということは誤りな」物はある; int2 & fact5 -> hypothesis;
fact2 & fact1 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact5 -> hypothesis;
あの時候はさん付けだ
fact7 -> int3: あの時候は投入であるとするとさん付けである; fact6 -> int4: 仮にあの時候が教え合わないなら投入だし裏書き譲渡する;
$facts$ = fact1: あの学校格差は投入だ fact2: もしあの学校格差は投入であるなら「この画面構成は通い始めるけどそれは叙述しない」ということは成り立たない fact3: もし何らかの物が教え合わないとすればそれは投入であるしさらに裏書き譲渡する fact4: もしなんらかのものは投入であるとすればさん付けである fact5: もし「「通い始めるし叙述するということはない」ということは成り立つということはない」物があるとしたらあの時候はさん付けでない ; $hypothesis$ = あの時候はさん付けだ ; $proof$ = 
fact2 & fact1 -> int1: 「この画面構成は通い始めるが叙述するということはない」ということは成り立つということはない; int1 -> int2: 「「「通い始めるが叙述しない」ということは本当だ」ということは誤りな」物はある; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: あの学校格差は投入だ
事実2: もしあの学校格差は投入であるなら「この画面構成は通い始めるけどそれは叙述しない」ということは成り立たない
事実3: もし何らかの物が教え合わないとすればそれは投入であるしさらに裏書き譲渡する
事実4: もしなんらかのものは投入であるとすればさん付けである
事実5: もし「「通い始めるし叙述するということはない」ということは成り立つということはない」物があるとしたらあの時候はさん付けでない

仮説: あの時候はさん付けだ
1. 事実2と事実1から、推論1: "「この画面構成は通い始めるが叙述するということはない」ということは成り立つということはない"が導かれる
2. 推論1から、推論2: "「「「通い始めるが叙述しない」ということは本当だ」ということは誤りな」物はある"が導かれる
3. 推論2と事実5から、仮説が否定される

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