「もし仮にその受験科目が宇宙線でないとするとこの制御方式は邪魔臭い」ということは嘘だ
fact1: もしその受験科目が狭苦しくてそれが焼け出すとするとこの制御方式は邪魔臭い fact2: その受験科目は狭苦しくないが焼け出すとしたら「この制御方式は邪魔臭い」ということは本当だ fact3: この制御方式が邪魔臭いということはない一方で狭苦しいとしたらその受験科目は宇宙線である fact4: その受験科目が宇宙線でないとしたら狭苦しくないしさらに焼け出す fact5: あの石油基地は焼け出す fact6: もし仮に「とある物は邪魔臭くないがしかし狭苦しい」ということは成り立たないとすればそれは狭苦しくない fact7: その受験科目が宇宙線でないとすると狭苦しくないしさらにそれは邪魔臭い fact8: その受験科目は狭苦しくない fact9: もしもその受験科目が宇宙線であるとすればあの制御方式は邪魔臭い fact10: もしその受験科目が宇宙線でないとすればそれは狭苦しくない fact11: もしその受験科目は宇宙線だとすれば「その通行地役権は邪魔臭いということはない一方で狭苦しい」ということは成り立たない fact12: もし仮にその受験科目が宇宙線ならば狭苦しくないけど焼け出す
void -> assump1: 以下のように仮定する。その受験科目は宇宙線でない; fact4 & assump1 -> int1: その受験科目は狭苦しくないがしかし焼け出す; int1 & fact2 -> int2: この制御方式は邪魔臭い; [assump1] & int2 -> hypothesis;
その通行地役権は狭苦しくない
fact13 -> int3: 「その通行地役権は邪魔臭くないけれどそれは狭苦しい」ということは成り立たないならば狭苦しくない;
$facts$ = fact1: もしその受験科目が狭苦しくてそれが焼け出すとするとこの制御方式は邪魔臭い fact2: その受験科目は狭苦しくないが焼け出すとしたら「この制御方式は邪魔臭い」ということは本当だ fact3: この制御方式が邪魔臭いということはない一方で狭苦しいとしたらその受験科目は宇宙線である fact4: その受験科目が宇宙線でないとしたら狭苦しくないしさらに焼け出す fact5: あの石油基地は焼け出す fact6: もし仮に「とある物は邪魔臭くないがしかし狭苦しい」ということは成り立たないとすればそれは狭苦しくない fact7: その受験科目が宇宙線でないとすると狭苦しくないしさらにそれは邪魔臭い fact8: その受験科目は狭苦しくない fact9: もしもその受験科目が宇宙線であるとすればあの制御方式は邪魔臭い fact10: もしその受験科目が宇宙線でないとすればそれは狭苦しくない fact11: もしその受験科目は宇宙線だとすれば「その通行地役権は邪魔臭いということはない一方で狭苦しい」ということは成り立たない fact12: もし仮にその受験科目が宇宙線ならば狭苦しくないけど焼け出す ; $hypothesis$ = 「もし仮にその受験科目が宇宙線でないとするとこの制御方式は邪魔臭い」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その受験科目は宇宙線でない; fact4 & assump1 -> int1: その受験科目は狭苦しくないがしかし焼け出す; int1 & fact2 -> int2: この制御方式は邪魔臭い; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしその受験科目が狭苦しくてそれが焼け出すとするとこの制御方式は邪魔臭い
事実2: その受験科目は狭苦しくないが焼け出すとしたら「この制御方式は邪魔臭い」ということは本当だ
事実3: この制御方式が邪魔臭いということはない一方で狭苦しいとしたらその受験科目は宇宙線である
事実4: その受験科目が宇宙線でないとしたら狭苦しくないしさらに焼け出す
事実5: あの石油基地は焼け出す
事実6: もし仮に「とある物は邪魔臭くないがしかし狭苦しい」ということは成り立たないとすればそれは狭苦しくない
事実7: その受験科目が宇宙線でないとすると狭苦しくないしさらにそれは邪魔臭い
事実8: その受験科目は狭苦しくない
事実9: もしもその受験科目が宇宙線であるとすればあの制御方式は邪魔臭い
事実10: もしその受験科目が宇宙線でないとすればそれは狭苦しくない
事実11: もしその受験科目は宇宙線だとすれば「その通行地役権は邪魔臭いということはない一方で狭苦しい」ということは成り立たない
事実12: もし仮にその受験科目が宇宙線ならば狭苦しくないけど焼け出す

仮説: 「もし仮にその受験科目が宇宙線でないとするとこの制御方式は邪魔臭い」ということは嘘だ
1. 仮定1: 以下のように仮定する。その受験科目は宇宙線でない
2. 事実4と仮定1から、推論1: "その受験科目は狭苦しくないがしかし焼け出す"が導かれる
3. 推論1と事実2から、推論2: "この制御方式は邪魔臭い"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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