その当校は採点する
fact1: もしもあの限定条件が採点しないとするとその当校は採点するということはない fact2: もしなんらかのものが欧米間でないならばあの限定条件は巻末付録である fact3: 仮にその総合授業が巻末付録であるということはないとするとあの主檣は当たり出さない fact4: あの親権者変更は五教科でないなら「「あの主檣は巻末付録であるしそれに気負う」ということは成り立つ」ということは嘘だ fact5: その総合授業は五教科である fact6: あの限定条件は投票する fact7: 「「当たり出すがしかし招き易くない」ということは間違っている」物があればその当校は採点する fact8: あの限定条件は欧米間である fact9: もし仮にある物は文化遺産であるということはないとしたら「「当たり出すがしかし招き易くない」ということは成り立つ」ということは偽である fact10: 「「その当校は気負うけれど採点しない」ということは成り立たない」ということは成り立つ fact11: もしも「あの主檣は巻末付録であるしまた気負う」ということは事実と異なるとすると「その総合授業は文化遺産であるということはない」ということは成り立つ fact12: あの限定条件は投票するし更に欧米間だとすると「あの親権者変更は五教科でない」ということは確かだ fact13: あの主檣は文化遺産だ
fact6 & fact8 -> int1: あの限定条件は投票するし欧米間である; int1 & fact12 -> int2: あの親権者変更は五教科でない; int2 & fact4 -> int3: 「あの主檣は巻末付録であるし更に気負う」ということは嘘だ; int3 & fact11 -> int4: その総合授業は文化遺産でない; fact9 -> int5: その総合授業は文化遺産でないなら「それは当たり出すし招き易くない」ということは成り立たない; int4 & int5 -> int6: 「その総合授業は当たり出すけれど招き易くない」ということは間違っている; int6 -> int7: 「「当たり出すけど招き易くない」ということは偽である」ものはある; int7 & fact7 -> hypothesis;
「その当校は採点しない」ということは真実だ
$facts$ = fact1: もしもあの限定条件が採点しないとするとその当校は採点するということはない fact2: もしなんらかのものが欧米間でないならばあの限定条件は巻末付録である fact3: 仮にその総合授業が巻末付録であるということはないとするとあの主檣は当たり出さない fact4: あの親権者変更は五教科でないなら「「あの主檣は巻末付録であるしそれに気負う」ということは成り立つ」ということは嘘だ fact5: その総合授業は五教科である fact6: あの限定条件は投票する fact7: 「「当たり出すがしかし招き易くない」ということは間違っている」物があればその当校は採点する fact8: あの限定条件は欧米間である fact9: もし仮にある物は文化遺産であるということはないとしたら「「当たり出すがしかし招き易くない」ということは成り立つ」ということは偽である fact10: 「「その当校は気負うけれど採点しない」ということは成り立たない」ということは成り立つ fact11: もしも「あの主檣は巻末付録であるしまた気負う」ということは事実と異なるとすると「その総合授業は文化遺産であるということはない」ということは成り立つ fact12: あの限定条件は投票するし更に欧米間だとすると「あの親権者変更は五教科でない」ということは確かだ fact13: あの主檣は文化遺産だ ; $hypothesis$ = その当校は採点する ; $proof$ = 
fact6 & fact8 -> int1: あの限定条件は投票するし欧米間である; int1 & fact12 -> int2: あの親権者変更は五教科でない; int2 & fact4 -> int3: 「あの主檣は巻末付録であるし更に気負う」ということは嘘だ; int3 & fact11 -> int4: その総合授業は文化遺産でない; fact9 -> int5: その総合授業は文化遺産でないなら「それは当たり出すし招き易くない」ということは成り立たない; int4 & int5 -> int6: 「その総合授業は当たり出すけれど招き易くない」ということは間違っている; int6 -> int7: 「「当たり出すけど招き易くない」ということは偽である」ものはある; int7 & fact7 -> hypothesis; __PROVED__
事実1: もしもあの限定条件が採点しないとするとその当校は採点するということはない
事実2: もしなんらかのものが欧米間でないならばあの限定条件は巻末付録である
事実3: 仮にその総合授業が巻末付録であるということはないとするとあの主檣は当たり出さない
事実4: あの親権者変更は五教科でないなら「「あの主檣は巻末付録であるしそれに気負う」ということは成り立つ」ということは嘘だ
事実5: その総合授業は五教科である
事実6: あの限定条件は投票する
事実7: 「「当たり出すがしかし招き易くない」ということは間違っている」物があればその当校は採点する
事実8: あの限定条件は欧米間である
事実9: もし仮にある物は文化遺産であるということはないとしたら「「当たり出すがしかし招き易くない」ということは成り立つ」ということは偽である
事実10: 「「その当校は気負うけれど採点しない」ということは成り立たない」ということは成り立つ
事実11: もしも「あの主檣は巻末付録であるしまた気負う」ということは事実と異なるとすると「その総合授業は文化遺産であるということはない」ということは成り立つ
事実12: あの限定条件は投票するし更に欧米間だとすると「あの親権者変更は五教科でない」ということは確かだ
事実13: あの主檣は文化遺産だ

仮説: その当校は採点する
1. 事実6と事実8から、推論1: "あの限定条件は投票するし欧米間である"が導かれる
2. 推論1と事実12から、推論2: "あの親権者変更は五教科でない"が導かれる
3. 推論2と事実4から、推論3: "「あの主檣は巻末付録であるし更に気負う」ということは嘘だ"が導かれる
4. 推論3と事実11から、推論4: "その総合授業は文化遺産でない"が導かれる
5. 事実9から、推論5: "その総合授業は文化遺産でないなら「それは当たり出すし招き易くない」ということは成り立たない"が導かれる
6. 推論4と推論5から、推論6: "「その総合授業は当たり出すけれど招き易くない」ということは間違っている"が導かれる
7. 推論6から、推論7: "「「当たり出すけど招き易くない」ということは偽である」ものはある"が導かれる
8. 推論7と事実7から、仮説が導かれる

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