この前評判は感じ捲るということはない
fact1: もしあの情報官室が具現するとするとこの虜囚はコバルトだ fact2: 「その三学部は発言権だ」ということは成り立つ fact3: もし仮にこの虜囚がコバルトであるとすればこのアカデミーは店格だ fact4: もし仮にその三学部が発言権ならその消毒液は第一頚椎であるか丸くない fact5: もしその三学部がコバルトでないとするとこの任務遂行は具現するしおまけに発言権だ fact6: もしもこのアカデミーは店格であるとしたら「この前評判は感じ捲る」ということは確かである fact7: もし仮にその消毒液が第一頚椎であるか丸くないかあるいはどちらもだとすればあの情報官室は具現する
fact4 & fact2 -> int1: その消毒液は第一頚椎であるかまたは丸くないかどちらもだ; int1 & fact7 -> int2: 「あの情報官室は具現する」ということは真実である; int2 & fact1 -> int3: この虜囚はコバルトである; int3 & fact3 -> int4: このアカデミーは店格である; int4 & fact6 -> hypothesis;
この任務遂行は具現する
$facts$ = fact1: もしあの情報官室が具現するとするとこの虜囚はコバルトだ fact2: 「その三学部は発言権だ」ということは成り立つ fact3: もし仮にこの虜囚がコバルトであるとすればこのアカデミーは店格だ fact4: もし仮にその三学部が発言権ならその消毒液は第一頚椎であるか丸くない fact5: もしその三学部がコバルトでないとするとこの任務遂行は具現するしおまけに発言権だ fact6: もしもこのアカデミーは店格であるとしたら「この前評判は感じ捲る」ということは確かである fact7: もし仮にその消毒液が第一頚椎であるか丸くないかあるいはどちらもだとすればあの情報官室は具現する ; $hypothesis$ = この前評判は感じ捲るということはない ; $proof$ = 
fact4 & fact2 -> int1: その消毒液は第一頚椎であるかまたは丸くないかどちらもだ; int1 & fact7 -> int2: 「あの情報官室は具現する」ということは真実である; int2 & fact1 -> int3: この虜囚はコバルトである; int3 & fact3 -> int4: このアカデミーは店格である; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: もしあの情報官室が具現するとするとこの虜囚はコバルトだ
事実2: 「その三学部は発言権だ」ということは成り立つ
事実3: もし仮にこの虜囚がコバルトであるとすればこのアカデミーは店格だ
事実4: もし仮にその三学部が発言権ならその消毒液は第一頚椎であるか丸くない
事実5: もしその三学部がコバルトでないとするとこの任務遂行は具現するしおまけに発言権だ
事実6: もしもこのアカデミーは店格であるとしたら「この前評判は感じ捲る」ということは確かである
事実7: もし仮にその消毒液が第一頚椎であるか丸くないかあるいはどちらもだとすればあの情報官室は具現する

仮説: この前評判は感じ捲るということはない
1. 事実4と事実2から、推論1: "その消毒液は第一頚椎であるかまたは丸くないかどちらもだ"が導かれる
2. 推論1と事実7から、推論2: "「あの情報官室は具現する」ということは真実である"が導かれる
3. 推論2と事実1から、推論3: "この虜囚はコバルトである"が導かれる
4. 推論3と事実3から、推論4: "このアカデミーは店格である"が導かれる
5. 推論4と事実6から、仮説が否定される

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