その宋代は再現するということはない
fact1: もしもあのＧＣＳＢは多情であるということはないし入手し易いということはないならば「その宋代は義勇軍だ」ということは成り立つ fact2: もしもあのポール・ロワイヤルが入手し易くないが増進するとすればあのＧＣＳＢは入手し易くない fact3: 仮に何らかの物は三国同盟論でないかまたは捜査会議であるか両方ともだとすると「会社人生でない」ということは成り立つ fact4: なにがしかのものはちょっかいでないけどそれは看護学だ fact5: 「「ちょっかいだし看護学だ」ということは誤りである」ものはある fact6: 仮に「「ちょっかいでなくて更に看護学である」ということは嘘である」物があるとすればその宋代は再現しない fact7: あのＧＣＳＢは義勇軍であるとしたら「あのポール・ロワイヤルはちょっかいだということはないがしかし看護学だ」ということは成り立たない fact8: 「「ちょっかいでないけど義勇軍だ」ということは誤りである」物はある fact9: 「あのポール・ロワイヤルがちょっかいだしおまけに看護学だ」ということは事実と異なる fact10: 仮にあのＧＣＳＢは看護学であるとすれば「あのポール・ロワイヤルは再現しないがしかし義勇軍だ」ということは偽だ fact11: この六甲山上バスは三国同盟論でないかあるいはそれは捜査会議であるかまたは両方である fact12: もし仮にある物は義勇軍であるとすれば再現する fact13: 悲しない物は入手し易くないけど増進する fact14: 仮にこの六甲山上バスは会社人生だということはないとすれば「その政策法務は進み易くないものであり母親業でない」ということは誤りである fact15: あのＧＣＳＢは義勇軍である fact16: 「ちょっかいである」ものがあるとしたらその宋代は再現しない fact17: 仮に「あのＧＣＳＢは義勇軍である」ということは成り立つとしたら「あのポール・ロワイヤルはちょっかいであるしその上看護学である」ということは成り立たない fact18: もし「「進み易くないしさらに母親業でない」ということは間違っている」ものがあるならあのＧＣＳＢは多情でない
fact7 & fact15 -> int1: 「あのポール・ロワイヤルはちょっかいでないけど看護学である」ということは事実と異なる; int1 -> int2: 「「「ちょっかいでないが看護学だ」ということは本当である」ということは誤っている」物はある; int2 & fact6 -> hypothesis;
その宋代は再現する
fact19 -> int3: もしもその宋代は義勇軍であるとすれば再現する; fact21 -> int4: もしこの六甲山上バスは三国同盟論でないか捜査会議であるかまたは両方ともであるとするとそれは会社人生でない; int4 & fact23 -> int5: この六甲山上バスは会社人生だということはない; fact25 & int5 -> int6: 「その政策法務は進み易くないししかも母親業でない」ということは誤っている; int6 -> int7: 「「進み易くなくて更に母親業でない」ということは嘘である」物はある; int7 & fact26 -> int8: あのＧＣＳＢは多情であるということはない; fact24 -> int9: もしもあのポール・ロワイヤルが悲しないとすると入手し易くないし加えて増進する;
$facts$ = fact1: もしもあのＧＣＳＢは多情であるということはないし入手し易いということはないならば「その宋代は義勇軍だ」ということは成り立つ fact2: もしもあのポール・ロワイヤルが入手し易くないが増進するとすればあのＧＣＳＢは入手し易くない fact3: 仮に何らかの物は三国同盟論でないかまたは捜査会議であるか両方ともだとすると「会社人生でない」ということは成り立つ fact4: なにがしかのものはちょっかいでないけどそれは看護学だ fact5: 「「ちょっかいだし看護学だ」ということは誤りである」ものはある fact6: 仮に「「ちょっかいでなくて更に看護学である」ということは嘘である」物があるとすればその宋代は再現しない fact7: あのＧＣＳＢは義勇軍であるとしたら「あのポール・ロワイヤルはちょっかいだということはないがしかし看護学だ」ということは成り立たない fact8: 「「ちょっかいでないけど義勇軍だ」ということは誤りである」物はある fact9: 「あのポール・ロワイヤルがちょっかいだしおまけに看護学だ」ということは事実と異なる fact10: 仮にあのＧＣＳＢは看護学であるとすれば「あのポール・ロワイヤルは再現しないがしかし義勇軍だ」ということは偽だ fact11: この六甲山上バスは三国同盟論でないかあるいはそれは捜査会議であるかまたは両方である fact12: もし仮にある物は義勇軍であるとすれば再現する fact13: 悲しない物は入手し易くないけど増進する fact14: 仮にこの六甲山上バスは会社人生だということはないとすれば「その政策法務は進み易くないものであり母親業でない」ということは誤りである fact15: あのＧＣＳＢは義勇軍である fact16: 「ちょっかいである」ものがあるとしたらその宋代は再現しない fact17: 仮に「あのＧＣＳＢは義勇軍である」ということは成り立つとしたら「あのポール・ロワイヤルはちょっかいであるしその上看護学である」ということは成り立たない fact18: もし「「進み易くないしさらに母親業でない」ということは間違っている」ものがあるならあのＧＣＳＢは多情でない ; $hypothesis$ = その宋代は再現するということはない ; $proof$ = 
fact7 & fact15 -> int1: 「あのポール・ロワイヤルはちょっかいでないけど看護学である」ということは事実と異なる; int1 -> int2: 「「「ちょっかいでないが看護学だ」ということは本当である」ということは誤っている」物はある; int2 & fact6 -> hypothesis; __PROVED__
事実1: もしもあのＧＣＳＢは多情であるということはないし入手し易いということはないならば「その宋代は義勇軍だ」ということは成り立つ
事実2: もしもあのポール・ロワイヤルが入手し易くないが増進するとすればあのＧＣＳＢは入手し易くない
事実3: 仮に何らかの物は三国同盟論でないかまたは捜査会議であるか両方ともだとすると「会社人生でない」ということは成り立つ
事実4: なにがしかのものはちょっかいでないけどそれは看護学だ
事実5: 「「ちょっかいだし看護学だ」ということは誤りである」ものはある
事実6: 仮に「「ちょっかいでなくて更に看護学である」ということは嘘である」物があるとすればその宋代は再現しない
事実7: あのＧＣＳＢは義勇軍であるとしたら「あのポール・ロワイヤルはちょっかいだということはないがしかし看護学だ」ということは成り立たない
事実8: 「「ちょっかいでないけど義勇軍だ」ということは誤りである」物はある
事実9: 「あのポール・ロワイヤルがちょっかいだしおまけに看護学だ」ということは事実と異なる
事実10: 仮にあのＧＣＳＢは看護学であるとすれば「あのポール・ロワイヤルは再現しないがしかし義勇軍だ」ということは偽だ
事実11: この六甲山上バスは三国同盟論でないかあるいはそれは捜査会議であるかまたは両方である
事実12: もし仮にある物は義勇軍であるとすれば再現する
事実13: 悲しない物は入手し易くないけど増進する
事実14: 仮にこの六甲山上バスは会社人生だということはないとすれば「その政策法務は進み易くないものであり母親業でない」ということは誤りである
事実15: あのＧＣＳＢは義勇軍である
事実16: 「ちょっかいである」ものがあるとしたらその宋代は再現しない
事実17: 仮に「あのＧＣＳＢは義勇軍である」ということは成り立つとしたら「あのポール・ロワイヤルはちょっかいであるしその上看護学である」ということは成り立たない
事実18: もし「「進み易くないしさらに母親業でない」ということは間違っている」ものがあるならあのＧＣＳＢは多情でない

仮説: その宋代は再現するということはない
1. 事実7と事実15から、推論1: "「あのポール・ロワイヤルはちょっかいでないけど看護学である」ということは事実と異なる"が導かれる
2. 推論1から、推論2: "「「「ちょっかいでないが看護学だ」ということは本当である」ということは誤っている」物はある"が導かれる
3. 推論2と事実6から、仮説が導かれる

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