あのアウェーはサブルーチン名だ
fact1: この二千年前後は跳梁跋扈しない fact2: 仮に「何かはサブルーチン名でないけど外部監査人だ」ということは誤りであるならサブルーチン名である fact3: この二千年前後が跳梁跋扈しないとすればあのＡタイムはバスケットインターフェアであるか資生堂制作室でないかもしくはどちらもである fact4: 仮にこのＡタイムが外部監査人だし跳梁跋扈するとしたらこの二千年前後は外部監査人でない fact5: もしこの二千年前後はバスケットインターフェアならば「このＡタイムは跳梁跋扈しない」ということは事実である fact6: この二千年前後はサブルーチン名でない fact7: このＡタイムが資生堂制作室でないとするとあのアウェーはサブルーチン名でない fact8: そのハンディキャップは跳梁跋扈しない fact9: もし仮にこのＡタイムが資生堂制作室でないとすればあのアウェーはサブルーチン名だ fact10: もしもこのＡタイムがバスケットインターフェアであるならあのアウェーはサブルーチン名でない fact11: もしもこのＡタイムが跳梁跋扈するということはないとするとあのアウェーはサブルーチン名であるかそれは資生堂制作室でないかまたは両方である
fact3 & fact1 -> int1: このＡタイムはバスケットインターフェアであるかそれは資生堂制作室でないかまたは両方ともだ; int1 & fact10 & fact7 -> hypothesis;
あのアウェーはサブルーチン名だ
fact12 -> int2: もし仮に「あのアウェーはサブルーチン名でない一方で外部監査人だ」ということは成り立たないならそれはサブルーチン名だ;
$facts$ = fact1: この二千年前後は跳梁跋扈しない fact2: 仮に「何かはサブルーチン名でないけど外部監査人だ」ということは誤りであるならサブルーチン名である fact3: この二千年前後が跳梁跋扈しないとすればあのＡタイムはバスケットインターフェアであるか資生堂制作室でないかもしくはどちらもである fact4: 仮にこのＡタイムが外部監査人だし跳梁跋扈するとしたらこの二千年前後は外部監査人でない fact5: もしこの二千年前後はバスケットインターフェアならば「このＡタイムは跳梁跋扈しない」ということは事実である fact6: この二千年前後はサブルーチン名でない fact7: このＡタイムが資生堂制作室でないとするとあのアウェーはサブルーチン名でない fact8: そのハンディキャップは跳梁跋扈しない fact9: もし仮にこのＡタイムが資生堂制作室でないとすればあのアウェーはサブルーチン名だ fact10: もしもこのＡタイムがバスケットインターフェアであるならあのアウェーはサブルーチン名でない fact11: もしもこのＡタイムが跳梁跋扈するということはないとするとあのアウェーはサブルーチン名であるかそれは資生堂制作室でないかまたは両方である ; $hypothesis$ = あのアウェーはサブルーチン名だ ; $proof$ = 
fact3 & fact1 -> int1: このＡタイムはバスケットインターフェアであるかそれは資生堂制作室でないかまたは両方ともだ; int1 & fact10 & fact7 -> hypothesis; __DISPROVED__
事実1: この二千年前後は跳梁跋扈しない
事実2: 仮に「何かはサブルーチン名でないけど外部監査人だ」ということは誤りであるならサブルーチン名である
事実3: この二千年前後が跳梁跋扈しないとすればあのＡタイムはバスケットインターフェアであるか資生堂制作室でないかもしくはどちらもである
事実4: 仮にこのＡタイムが外部監査人だし跳梁跋扈するとしたらこの二千年前後は外部監査人でない
事実5: もしこの二千年前後はバスケットインターフェアならば「このＡタイムは跳梁跋扈しない」ということは事実である
事実6: この二千年前後はサブルーチン名でない
事実7: このＡタイムが資生堂制作室でないとするとあのアウェーはサブルーチン名でない
事実8: そのハンディキャップは跳梁跋扈しない
事実9: もし仮にこのＡタイムが資生堂制作室でないとすればあのアウェーはサブルーチン名だ
事実10: もしもこのＡタイムがバスケットインターフェアであるならあのアウェーはサブルーチン名でない
事実11: もしもこのＡタイムが跳梁跋扈するということはないとするとあのアウェーはサブルーチン名であるかそれは資生堂制作室でないかまたは両方である

仮説: あのアウェーはサブルーチン名だ
1. 事実3と事実1から、推論1: "このＡタイムはバスケットインターフェアであるかそれは資生堂制作室でないかまたは両方ともだ"が導かれる
2. 推論1と事実10と事実7から、仮説が否定される

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