あの映画祭はトラッキングでないか貫徹出来る
fact1: もし仮にあの映画祭が調査審議であるかトラッキングであるかもしくは両方だとするとこのテロップは絨毯でない fact2: 仮になにかは忍ばせるとしたら「それは狼狽えらないかまたはそれは調査審議であるかもしくは両方ともだ」ということは偽だ fact3: もしこのテロップが絨毯であるかまたは調査審議だとすればその更正処分は貫徹出来ない fact4: もしあの映画祭がトラッキングであるとすればこのテロップは貫徹出来ない fact5: このテロップは調査審議だ fact6: もしもこのテロップがトラッキングであるとするとあの映画祭は絨毯だということはない fact7: もしこのテロップが調査審議であるかまたは貫徹出来るかもしくは両方ともであるとしたらその更正処分はトラッキングであるということはない fact8: 「「あの映画祭はトラッキングでないかまたは調査審議であるかあるいは両方ともである」ということは間違っている」ということは確かである fact9: その更正処分は調査審議だ fact10: もしもあの映画祭は絨毯でないとしたら「このテロップは貫徹出来ないかまたは絨毯であるかもしくはどちらもである」ということは本当でない fact11: もしあの映画祭が調査審議であるかもしくはトラッキングならばこのテロップは貫徹出来ない fact12: もしその更正処分が貫徹出来ないとしたらこのテロップは貫徹出来ない fact13: もしその更正処分がトラッキングであるとしたらあの映画祭は貫徹出来ない fact14: もしその更正処分は貫徹出来ないとしたら「あの映画祭はトラッキングでないかもしくは貫徹出来るかあるいはどちらもである」ということは成り立たない fact15: その更正処分は絨毯でない fact16: その更正処分は貫徹出来るかあるいは調査審議であるかあるいはどちらもだ fact17: 「ある物は狼狽えらないかあるいは調査審議であるかどちらもだ」ということは成り立たないとすると絨毯である fact18: このテロップが絨毯でないとするとその更正処分は絨毯でない fact19: もしあの映画祭が調査審議であるか絨毯であるか両方ともならばあのテロップは貫徹出来ない fact20: あの映画祭は同列でない fact21: もしあの映画祭が調査審議であるかまたは貫徹出来るかもしくは両方ともであるとするとこのテロップは絨毯でない fact22: もしもその更正処分が調査審議でないとするとこのテロップは調査審議でない fact23: このテロップが貫徹出来るけれどそれが絨毯でないならばその更正処分は貫徹出来る
fact5 -> int1: このテロップは絨毯であるかあるいは調査審議であるか両方ともだ; int1 & fact3 -> int2: その更正処分は貫徹出来ない; int2 & fact14 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact14 -> hypothesis;
あの映画祭はトラッキングでないか貫徹出来るかもしくは両方ともである
fact25 -> int3: もしも「あの映画祭は狼狽えらないか調査審議であるかまたは両方ともだ」ということは偽ならば絨毯である; fact24 -> int4: もし仮にあの映画祭は忍ばせれば「狼狽えらないかもしくは調査審議であるかあるいは両方ともである」ということは間違いである;
$facts$ = fact1: もし仮にあの映画祭が調査審議であるかトラッキングであるかもしくは両方だとするとこのテロップは絨毯でない fact2: 仮になにかは忍ばせるとしたら「それは狼狽えらないかまたはそれは調査審議であるかもしくは両方ともだ」ということは偽だ fact3: もしこのテロップが絨毯であるかまたは調査審議だとすればその更正処分は貫徹出来ない fact4: もしあの映画祭がトラッキングであるとすればこのテロップは貫徹出来ない fact5: このテロップは調査審議だ fact6: もしもこのテロップがトラッキングであるとするとあの映画祭は絨毯だということはない fact7: もしこのテロップが調査審議であるかまたは貫徹出来るかもしくは両方ともであるとしたらその更正処分はトラッキングであるということはない fact8: 「「あの映画祭はトラッキングでないかまたは調査審議であるかあるいは両方ともである」ということは間違っている」ということは確かである fact9: その更正処分は調査審議だ fact10: もしもあの映画祭は絨毯でないとしたら「このテロップは貫徹出来ないかまたは絨毯であるかもしくはどちらもである」ということは本当でない fact11: もしあの映画祭が調査審議であるかもしくはトラッキングならばこのテロップは貫徹出来ない fact12: もしその更正処分が貫徹出来ないとしたらこのテロップは貫徹出来ない fact13: もしその更正処分がトラッキングであるとしたらあの映画祭は貫徹出来ない fact14: もしその更正処分は貫徹出来ないとしたら「あの映画祭はトラッキングでないかもしくは貫徹出来るかあるいはどちらもである」ということは成り立たない fact15: その更正処分は絨毯でない fact16: その更正処分は貫徹出来るかあるいは調査審議であるかあるいはどちらもだ fact17: 「ある物は狼狽えらないかあるいは調査審議であるかどちらもだ」ということは成り立たないとすると絨毯である fact18: このテロップが絨毯でないとするとその更正処分は絨毯でない fact19: もしあの映画祭が調査審議であるか絨毯であるか両方ともならばあのテロップは貫徹出来ない fact20: あの映画祭は同列でない fact21: もしあの映画祭が調査審議であるかまたは貫徹出来るかもしくは両方ともであるとするとこのテロップは絨毯でない fact22: もしもその更正処分が調査審議でないとするとこのテロップは調査審議でない fact23: このテロップが貫徹出来るけれどそれが絨毯でないならばその更正処分は貫徹出来る ; $hypothesis$ = あの映画祭はトラッキングでないか貫徹出来る ; $proof$ = 
fact5 -> int1: このテロップは絨毯であるかあるいは調査審議であるか両方ともだ; int1 & fact3 -> int2: その更正処分は貫徹出来ない; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮にあの映画祭が調査審議であるかトラッキングであるかもしくは両方だとするとこのテロップは絨毯でない
事実2: 仮になにかは忍ばせるとしたら「それは狼狽えらないかまたはそれは調査審議であるかもしくは両方ともだ」ということは偽だ
事実3: もしこのテロップが絨毯であるかまたは調査審議だとすればその更正処分は貫徹出来ない
事実4: もしあの映画祭がトラッキングであるとすればこのテロップは貫徹出来ない
事実5: このテロップは調査審議だ
事実6: もしもこのテロップがトラッキングであるとするとあの映画祭は絨毯だということはない
事実7: もしこのテロップが調査審議であるかまたは貫徹出来るかもしくは両方ともであるとしたらその更正処分はトラッキングであるということはない
事実8: 「「あの映画祭はトラッキングでないかまたは調査審議であるかあるいは両方ともである」ということは間違っている」ということは確かである
事実9: その更正処分は調査審議だ
事実10: もしもあの映画祭は絨毯でないとしたら「このテロップは貫徹出来ないかまたは絨毯であるかもしくはどちらもである」ということは本当でない
事実11: もしあの映画祭が調査審議であるかもしくはトラッキングならばこのテロップは貫徹出来ない
事実12: もしその更正処分が貫徹出来ないとしたらこのテロップは貫徹出来ない
事実13: もしその更正処分がトラッキングであるとしたらあの映画祭は貫徹出来ない
事実14: もしその更正処分は貫徹出来ないとしたら「あの映画祭はトラッキングでないかもしくは貫徹出来るかあるいはどちらもである」ということは成り立たない
事実15: その更正処分は絨毯でない
事実16: その更正処分は貫徹出来るかあるいは調査審議であるかあるいはどちらもだ
事実17: 「ある物は狼狽えらないかあるいは調査審議であるかどちらもだ」ということは成り立たないとすると絨毯である
事実18: このテロップが絨毯でないとするとその更正処分は絨毯でない
事実19: もしあの映画祭が調査審議であるか絨毯であるか両方ともならばあのテロップは貫徹出来ない
事実20: あの映画祭は同列でない
事実21: もしあの映画祭が調査審議であるかまたは貫徹出来るかもしくは両方ともであるとするとこのテロップは絨毯でない
事実22: もしもその更正処分が調査審議でないとするとこのテロップは調査審議でない
事実23: このテロップが貫徹出来るけれどそれが絨毯でないならばその更正処分は貫徹出来る

仮説: あの映画祭はトラッキングでないか貫徹出来る
1. 事実5から、推論1: "このテロップは絨毯であるかあるいは調査審議であるか両方ともだ"が導かれる
2. 推論1と事実3から、推論2: "その更正処分は貫徹出来ない"が導かれる
3. 推論2と事実14から、仮説が否定される

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