「この路面電車は後小松上皇であるし取り残す」ということは成り立つということはない
fact1: もしもこの路面電車が生徒指導部でないならその妖術使いは取り残すし後小松上皇だ fact2: この路面電車は後小松上皇だ fact3: この路面電車は取り残す fact4: この荘厳は取り残す fact5: この路面電車はカルタであるし更にカウンターアタックである fact6: もし仮にこの路面電車は赤字財政でなくて人事権であるということはないならば生徒指導部でない fact7: その遠路は取り残すし加えて代休である fact8: 赤字財政は生徒指導部であるとしたらそれは取り残さない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
「この路面電車は後小松上皇だしかつ取り残す」ということは成り立つということはない
fact9 -> int1: もしこの総合学習は赤字財政であるしさらに生徒指導部であるなら取り残さない;
$facts$ = fact1: もしもこの路面電車が生徒指導部でないならその妖術使いは取り残すし後小松上皇だ fact2: この路面電車は後小松上皇だ fact3: この路面電車は取り残す fact4: この荘厳は取り残す fact5: この路面電車はカルタであるし更にカウンターアタックである fact6: もし仮にこの路面電車は赤字財政でなくて人事権であるということはないならば生徒指導部でない fact7: その遠路は取り残すし加えて代休である fact8: 赤字財政は生徒指導部であるとしたらそれは取り残さない ; $hypothesis$ = 「この路面電車は後小松上皇であるし取り残す」ということは成り立つということはない ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもこの路面電車が生徒指導部でないならその妖術使いは取り残すし後小松上皇だ
事実2: この路面電車は後小松上皇だ
事実3: この路面電車は取り残す
事実4: この荘厳は取り残す
事実5: この路面電車はカルタであるし更にカウンターアタックである
事実6: もし仮にこの路面電車は赤字財政でなくて人事権であるということはないならば生徒指導部でない
事実7: その遠路は取り残すし加えて代休である
事実8: 赤字財政は生徒指導部であるとしたらそれは取り残さない

仮説: 「この路面電車は後小松上皇であるし取り残す」ということは成り立つということはない
1. 事実2と事実3から、仮説が否定される

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