「あの無料版は吸収され難くないしそれは厚紙だということはない」ということは成り立たない
fact1: もしなにがしかの物は照射しないならば「御知るしおまけに長々しい」ということは間違いである fact2: そのティラミスは照射するとしたら「それは体育科であるが青くない」ということは成り立たない fact3: そのティラミスは古臭い fact4: もし「「御知るし更に長々しい」ということは誤りな」物があるならばあのＲＯＳＡは厚紙でない fact5: 仮に「なにがしかのものは体育科だがしかし青くない」ということは間違いであるなら古臭いということはない fact6: 仮にあのＲＯＳＡは厚紙でないとすれば「あの無料版は吸収され難いということはなくてそれは厚紙でない」ということは間違いである fact7: この最高闘争委員会が照射しないとすると御知る
void -> assump1: 以下のように仮定する。そのティラミスは照射する; fact2 & assump1 -> int1: 「そのティラミスは体育科だがしかし青くない」ということは誤っている; fact5 -> int2: もし「そのティラミスは体育科だがしかしそれは青いということはない」ということは嘘であるとすると古臭くない; int1 & int2 -> int3: そのティラミスは古臭くない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのティラミスは照射するということはない; fact1 -> int6: 仮にそのティラミスは照射しないとしたら「それは御知るし長々しい」ということは成り立たない; int5 & int6 -> int7: 「そのティラミスが御知るしその上それは長々しい」ということは偽だ; int7 -> int8: 「「御知るし長々しい」ということは誤りな」ものはある; int8 & fact4 -> int9: あのＲＯＳＡは厚紙でない; int9 & fact6 -> hypothesis;
この最高闘争委員会は御知る
$facts$ = fact1: もしなにがしかの物は照射しないならば「御知るしおまけに長々しい」ということは間違いである fact2: そのティラミスは照射するとしたら「それは体育科であるが青くない」ということは成り立たない fact3: そのティラミスは古臭い fact4: もし「「御知るし更に長々しい」ということは誤りな」物があるならばあのＲＯＳＡは厚紙でない fact5: 仮に「なにがしかのものは体育科だがしかし青くない」ということは間違いであるなら古臭いということはない fact6: 仮にあのＲＯＳＡは厚紙でないとすれば「あの無料版は吸収され難いということはなくてそれは厚紙でない」ということは間違いである fact7: この最高闘争委員会が照射しないとすると御知る ; $hypothesis$ = 「あの無料版は吸収され難くないしそれは厚紙だということはない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのティラミスは照射する; fact2 & assump1 -> int1: 「そのティラミスは体育科だがしかし青くない」ということは誤っている; fact5 -> int2: もし「そのティラミスは体育科だがしかしそれは青いということはない」ということは嘘であるとすると古臭くない; int1 & int2 -> int3: そのティラミスは古臭くない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのティラミスは照射するということはない; fact1 -> int6: 仮にそのティラミスは照射しないとしたら「それは御知るし長々しい」ということは成り立たない; int5 & int6 -> int7: 「そのティラミスが御知るしその上それは長々しい」ということは偽だ; int7 -> int8: 「「御知るし長々しい」ということは誤りな」ものはある; int8 & fact4 -> int9: あのＲＯＳＡは厚紙でない; int9 & fact6 -> hypothesis; __PROVED__
事実1: もしなにがしかの物は照射しないならば「御知るしおまけに長々しい」ということは間違いである
事実2: そのティラミスは照射するとしたら「それは体育科であるが青くない」ということは成り立たない
事実3: そのティラミスは古臭い
事実4: もし「「御知るし更に長々しい」ということは誤りな」物があるならばあのＲＯＳＡは厚紙でない
事実5: 仮に「なにがしかのものは体育科だがしかし青くない」ということは間違いであるなら古臭いということはない
事実6: 仮にあのＲＯＳＡは厚紙でないとすれば「あの無料版は吸収され難いということはなくてそれは厚紙でない」ということは間違いである
事実7: この最高闘争委員会が照射しないとすると御知る

仮説: 「あの無料版は吸収され難くないしそれは厚紙だということはない」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのティラミスは照射する
2. 事実2と仮定1から、推論1: "「そのティラミスは体育科だがしかし青くない」ということは誤っている"が導かれる
3. 事実5から、推論2: "もし「そのティラミスは体育科だがしかしそれは青いということはない」ということは嘘であるとすると古臭くない"が導かれる
4. 推論1と推論2から、推論3: "そのティラミスは古臭くない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのティラミスは照射するということはない"が導かれる
7. 事実1から、推論6: "仮にそのティラミスは照射しないとしたら「それは御知るし長々しい」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "「そのティラミスが御知るしその上それは長々しい」ということは偽だ"が導かれる
9. 推論7から、推論8: "「「御知るし長々しい」ということは誤りな」ものはある"が導かれる
10. 推論8と事実4から、推論9: "あのＲＯＳＡは厚紙でない"が導かれる
11. 推論9と事実6から、仮説が導かれる

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