「このロイヤルティーは拡大し続けなくて活性化するということはない」ということは確かでない
fact1: もしもこのロイヤルティーは送信可能化だということはないとすれば「拡大し続けないししかも活性化しない」ということは嘘だ fact2: もし「その綴りは冷え込まないし加えて意味深くない」ということは本当でないならこのロイヤルティーは送信可能化でない fact3: 仮にこのロイヤルティーは送信可能化であるということはないとすれば「それは拡大し続けないがしかし活性化する」ということは間違いだ fact4: 「その綴りは冷え込まないがそれは意味深い」ということは成り立たない fact5: そのクライは意味深いとすれば「その綴りは冷え込まないがそれは意味深い」ということは本当でない fact6: 仮にこのロイヤルティーは送信可能化でないならば「「それは拡大し続けるがしかし活性化しない」ということは確かだ」ということは事実でない fact7: そのクライは意味深いしそれにメンズフロアである fact8: もしもなんらかの物は拡大し続けないならば「それは操作し始めないしおまけにそれはブッシュ父でない」ということは事実と異なる fact9: そのクライは意味深いなら「その綴りは冷え込まないしかつ意味深くない」ということは偽だ fact10: そのクライは送信可能化である fact11: 「このロイヤルティーは送信可能化でない一方で教訓譚だ」ということは成り立たない fact12: もしその綴りが意味深いとしたらこのロイヤルティーは送信可能化であるということはない
fact7 -> int1: そのクライは意味深い; int1 & fact9 -> int2: 「その綴りは冷え込まなくてかつ意味深くない」ということは成り立たない; int2 & fact2 -> int3: このロイヤルティーは送信可能化でない; int3 & fact1 -> hypothesis;
「仮にあの視力は拡大し続けないとすると「あの視力は操作し始めないししかもブッシュ父でない」ということは偽だ」ということは事実だ
fact13 -> hypothesis;
$facts$ = fact1: もしもこのロイヤルティーは送信可能化だということはないとすれば「拡大し続けないししかも活性化しない」ということは嘘だ fact2: もし「その綴りは冷え込まないし加えて意味深くない」ということは本当でないならこのロイヤルティーは送信可能化でない fact3: 仮にこのロイヤルティーは送信可能化であるということはないとすれば「それは拡大し続けないがしかし活性化する」ということは間違いだ fact4: 「その綴りは冷え込まないがそれは意味深い」ということは成り立たない fact5: そのクライは意味深いとすれば「その綴りは冷え込まないがそれは意味深い」ということは本当でない fact6: 仮にこのロイヤルティーは送信可能化でないならば「「それは拡大し続けるがしかし活性化しない」ということは確かだ」ということは事実でない fact7: そのクライは意味深いしそれにメンズフロアである fact8: もしもなんらかの物は拡大し続けないならば「それは操作し始めないしおまけにそれはブッシュ父でない」ということは事実と異なる fact9: そのクライは意味深いなら「その綴りは冷え込まないしかつ意味深くない」ということは偽だ fact10: そのクライは送信可能化である fact11: 「このロイヤルティーは送信可能化でない一方で教訓譚だ」ということは成り立たない fact12: もしその綴りが意味深いとしたらこのロイヤルティーは送信可能化であるということはない ; $hypothesis$ = 「このロイヤルティーは拡大し続けなくて活性化するということはない」ということは確かでない ; $proof$ = 
fact7 -> int1: そのクライは意味深い; int1 & fact9 -> int2: 「その綴りは冷え込まなくてかつ意味深くない」ということは成り立たない; int2 & fact2 -> int3: このロイヤルティーは送信可能化でない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしもこのロイヤルティーは送信可能化だということはないとすれば「拡大し続けないししかも活性化しない」ということは嘘だ
事実2: もし「その綴りは冷え込まないし加えて意味深くない」ということは本当でないならこのロイヤルティーは送信可能化でない
事実3: 仮にこのロイヤルティーは送信可能化であるということはないとすれば「それは拡大し続けないがしかし活性化する」ということは間違いだ
事実4: 「その綴りは冷え込まないがそれは意味深い」ということは成り立たない
事実5: そのクライは意味深いとすれば「その綴りは冷え込まないがそれは意味深い」ということは本当でない
事実6: 仮にこのロイヤルティーは送信可能化でないならば「「それは拡大し続けるがしかし活性化しない」ということは確かだ」ということは事実でない
事実7: そのクライは意味深いしそれにメンズフロアである
事実8: もしもなんらかの物は拡大し続けないならば「それは操作し始めないしおまけにそれはブッシュ父でない」ということは事実と異なる
事実9: そのクライは意味深いなら「その綴りは冷え込まないしかつ意味深くない」ということは偽だ
事実10: そのクライは送信可能化である
事実11: 「このロイヤルティーは送信可能化でない一方で教訓譚だ」ということは成り立たない
事実12: もしその綴りが意味深いとしたらこのロイヤルティーは送信可能化であるということはない

仮説: 「このロイヤルティーは拡大し続けなくて活性化するということはない」ということは確かでない
1. 事実7から、推論1: "そのクライは意味深い"が導かれる
2. 推論1と事実9から、推論2: "「その綴りは冷え込まなくてかつ意味深くない」ということは成り立たない"が導かれる
3. 推論2と事実2から、推論3: "このロイヤルティーは送信可能化でない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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