このフロマージュ・ブランは参勤であるということはない
fact1: もし仮に「文字配列でない」ものがあるとするとその星は押し上げない fact2: 「「御付き合い頂かない一方で文字配列だ」ということは誤りである」ものがあるとすればあのフロマージュ・ブランは参勤でない fact3: もし仮に「「参勤でないがしかし文字配列だ」ということは誤っている」物があるならこのフロマージュ・ブランは御付き合い頂かない fact4: 仮になんらかの物は御付き合い頂くとすれば「その星は押し上げないがしかし収入する」ということは偽だ fact5: もし「押し上げる」ものはあるなら「その星は御付き合い頂かない一方で文字配列である」ということは偽である fact6: その固定針は収入するしそれは押し上げる fact7: あのプロキシサーバは亡命だ fact8: 「「収入するし文字配列である」ということは正しいということはない」ものはある
fact6 -> int1: 「その固定針は押し上げる」ということは成り立つ; int1 -> int2: なんらかのものは押し上げる; int2 & fact5 -> int3: 「その星は御付き合い頂くということはないがしかしそれは文字配列である」ということは事実と異なる; int3 -> int4: 「「御付き合い頂かない一方で文字配列である」ということは偽である」ものはある; int4 & fact2 -> hypothesis;
あのプロキシサーバは亡命であるしさらにそれは参勤である
$facts$ = fact1: もし仮に「文字配列でない」ものがあるとするとその星は押し上げない fact2: 「「御付き合い頂かない一方で文字配列だ」ということは誤りである」ものがあるとすればあのフロマージュ・ブランは参勤でない fact3: もし仮に「「参勤でないがしかし文字配列だ」ということは誤っている」物があるならこのフロマージュ・ブランは御付き合い頂かない fact4: 仮になんらかの物は御付き合い頂くとすれば「その星は押し上げないがしかし収入する」ということは偽だ fact5: もし「押し上げる」ものはあるなら「その星は御付き合い頂かない一方で文字配列である」ということは偽である fact6: その固定針は収入するしそれは押し上げる fact7: あのプロキシサーバは亡命だ fact8: 「「収入するし文字配列である」ということは正しいということはない」ものはある ; $hypothesis$ = このフロマージュ・ブランは参勤であるということはない ; $proof$ = 
fact6 -> int1: 「その固定針は押し上げる」ということは成り立つ; int1 -> int2: なんらかのものは押し上げる; int2 & fact5 -> int3: 「その星は御付き合い頂くということはないがしかしそれは文字配列である」ということは事実と異なる; int3 -> int4: 「「御付き合い頂かない一方で文字配列である」ということは偽である」ものはある; int4 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「文字配列でない」ものがあるとするとその星は押し上げない
事実2: 「「御付き合い頂かない一方で文字配列だ」ということは誤りである」ものがあるとすればあのフロマージュ・ブランは参勤でない
事実3: もし仮に「「参勤でないがしかし文字配列だ」ということは誤っている」物があるならこのフロマージュ・ブランは御付き合い頂かない
事実4: 仮になんらかの物は御付き合い頂くとすれば「その星は押し上げないがしかし収入する」ということは偽だ
事実5: もし「押し上げる」ものはあるなら「その星は御付き合い頂かない一方で文字配列である」ということは偽である
事実6: その固定針は収入するしそれは押し上げる
事実7: あのプロキシサーバは亡命だ
事実8: 「「収入するし文字配列である」ということは正しいということはない」ものはある

仮説: このフロマージュ・ブランは参勤であるということはない
1. 事実6から、推論1: "「その固定針は押し上げる」ということは成り立つ"が導かれる
2. 推論1から、推論2: "なんらかのものは押し上げる"が導かれる
3. 推論2と事実5から、推論3: "「その星は御付き合い頂くということはないがしかしそれは文字配列である」ということは事実と異なる"が導かれる
4. 推論3から、推論4: "「「御付き合い頂かない一方で文字配列である」ということは偽である」ものはある"が導かれる
5. 推論4と事実2から、仮説が導かれる

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