この利用シーンは闘争する
fact1: この利用シーンは欠場する fact2: その経歴は時間窓である fact3: もしも「その経歴は闘争するけど三Ｎでない」ということは嘘ならこの利用シーンは闘争しない fact4: 「「さり気無くなくて加えて焦れったい」ということは成り立たない」物があるとするとこの恐ろしさは寝ない fact5: もしもある物は時間窓であるならば「さり気無くないけど焦れったい」ということは嘘である fact6: 仮にとある物は寝ないならば「恥ずかしくないかあるいは創隊しないかもしくは両方ともである」ということは事実と異なる fact7: その経歴は欠場する fact8: もし仮にその経歴が欠場すればこの利用シーンは闘争する fact9: もしなにがしかのものは三Ｎでないなら闘争するし欠場する fact10: 仮に「なにがしかの物は恥ずかしいということはないかあるいは創隊しないかもしくは両方だ」ということは偽であるとしたら三Ｎでない fact11: 仮に「この利用シーンは欠場する」ということは本当であるならその経歴は闘争する fact12: 「この利用シーンは財源である」ということは確かだ
fact8 & fact7 -> hypothesis;
fact8 & fact7 -> hypothesis;
「この利用シーンは闘争しない」ということは真実である
$facts$ = fact1: この利用シーンは欠場する fact2: その経歴は時間窓である fact3: もしも「その経歴は闘争するけど三Ｎでない」ということは嘘ならこの利用シーンは闘争しない fact4: 「「さり気無くなくて加えて焦れったい」ということは成り立たない」物があるとするとこの恐ろしさは寝ない fact5: もしもある物は時間窓であるならば「さり気無くないけど焦れったい」ということは嘘である fact6: 仮にとある物は寝ないならば「恥ずかしくないかあるいは創隊しないかもしくは両方ともである」ということは事実と異なる fact7: その経歴は欠場する fact8: もし仮にその経歴が欠場すればこの利用シーンは闘争する fact9: もしなにがしかのものは三Ｎでないなら闘争するし欠場する fact10: 仮に「なにがしかの物は恥ずかしいということはないかあるいは創隊しないかもしくは両方だ」ということは偽であるとしたら三Ｎでない fact11: 仮に「この利用シーンは欠場する」ということは本当であるならその経歴は闘争する fact12: 「この利用シーンは財源である」ということは確かだ ; $hypothesis$ = この利用シーンは闘争する ; $proof$ = 
fact8 & fact7 -> hypothesis; __PROVED__
事実1: この利用シーンは欠場する
事実2: その経歴は時間窓である
事実3: もしも「その経歴は闘争するけど三Ｎでない」ということは嘘ならこの利用シーンは闘争しない
事実4: 「「さり気無くなくて加えて焦れったい」ということは成り立たない」物があるとするとこの恐ろしさは寝ない
事実5: もしもある物は時間窓であるならば「さり気無くないけど焦れったい」ということは嘘である
事実6: 仮にとある物は寝ないならば「恥ずかしくないかあるいは創隊しないかもしくは両方ともである」ということは事実と異なる
事実7: その経歴は欠場する
事実8: もし仮にその経歴が欠場すればこの利用シーンは闘争する
事実9: もしなにがしかのものは三Ｎでないなら闘争するし欠場する
事実10: 仮に「なにがしかの物は恥ずかしいということはないかあるいは創隊しないかもしくは両方だ」ということは偽であるとしたら三Ｎでない
事実11: 仮に「この利用シーンは欠場する」ということは本当であるならその経歴は闘争する
事実12: 「この利用シーンは財源である」ということは確かだ

仮説: この利用シーンは闘争する
1. 事実8と事実7から、仮説が導かれる

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