「あのチーズ製造は格好悪いということはないし更にふさふさするということはない」ということは嘘だ
fact1: その胎蔵界はふさふさするということはないとすると「あのチーズ製造は格好悪くないし更にそれはふさふさするということはない」ということは事実と異なる fact2: もし仮になにかは十Ｒであるということはないとすると格好悪いしふさふさする fact3: 「「その胎蔵界は覆滅するし亡命先である」ということは確かである」ということは誤りである fact4: もし「なんらかの物はチャージしないがしかし消防隊である」ということは誤りであるとすると英数字だということはない fact5: もしもなにがしかの物は格好悪いなら「食い詰めないしおまけに子供新聞でない」ということは成り立たない fact6: もしあのエディンバラ公は皮膚機能でないとすると「その胎蔵界は英数字でないが十Ｒだ」ということは嘘だ fact7: あのチーズ製造は手強い fact8: 仮に「あのチーズ製造は手強い」ということは本当だとすると「チャージしなくてその上それは消防隊だ」ということは成り立たない fact9: 仮になにかは十Ｒでないとすれば格好悪くないしまたふさふさしない fact10: もしなんらかの物が英数字でないならばそれは十Ｒであるかもしくはそれは皮膚機能であるかあるいは両方ともだ fact11: もし仮に「その胎蔵界は覆滅するししかも亡命先である」ということは成り立たないとしたらそれはふさふさしない
fact11 & fact3 -> int1: その胎蔵界はふさふさしない; int1 & fact1 -> hypothesis;
あのチーズ製造は格好悪いということはなくてふさふさしない
fact13 -> int2: 仮にあのチーズ製造が十Ｒでないとしたら格好悪くないしふさふさしない;
$facts$ = fact1: その胎蔵界はふさふさするということはないとすると「あのチーズ製造は格好悪くないし更にそれはふさふさするということはない」ということは事実と異なる fact2: もし仮になにかは十Ｒであるということはないとすると格好悪いしふさふさする fact3: 「「その胎蔵界は覆滅するし亡命先である」ということは確かである」ということは誤りである fact4: もし「なんらかの物はチャージしないがしかし消防隊である」ということは誤りであるとすると英数字だということはない fact5: もしもなにがしかの物は格好悪いなら「食い詰めないしおまけに子供新聞でない」ということは成り立たない fact6: もしあのエディンバラ公は皮膚機能でないとすると「その胎蔵界は英数字でないが十Ｒだ」ということは嘘だ fact7: あのチーズ製造は手強い fact8: 仮に「あのチーズ製造は手強い」ということは本当だとすると「チャージしなくてその上それは消防隊だ」ということは成り立たない fact9: 仮になにかは十Ｒでないとすれば格好悪くないしまたふさふさしない fact10: もしなんらかの物が英数字でないならばそれは十Ｒであるかもしくはそれは皮膚機能であるかあるいは両方ともだ fact11: もし仮に「その胎蔵界は覆滅するししかも亡命先である」ということは成り立たないとしたらそれはふさふさしない ; $hypothesis$ = 「あのチーズ製造は格好悪いということはないし更にふさふさするということはない」ということは嘘だ ; $proof$ = 
fact11 & fact3 -> int1: その胎蔵界はふさふさしない; int1 & fact1 -> hypothesis; __PROVED__
事実1: その胎蔵界はふさふさするということはないとすると「あのチーズ製造は格好悪くないし更にそれはふさふさするということはない」ということは事実と異なる
事実2: もし仮になにかは十Ｒであるということはないとすると格好悪いしふさふさする
事実3: 「「その胎蔵界は覆滅するし亡命先である」ということは確かである」ということは誤りである
事実4: もし「なんらかの物はチャージしないがしかし消防隊である」ということは誤りであるとすると英数字だということはない
事実5: もしもなにがしかの物は格好悪いなら「食い詰めないしおまけに子供新聞でない」ということは成り立たない
事実6: もしあのエディンバラ公は皮膚機能でないとすると「その胎蔵界は英数字でないが十Ｒだ」ということは嘘だ
事実7: あのチーズ製造は手強い
事実8: 仮に「あのチーズ製造は手強い」ということは本当だとすると「チャージしなくてその上それは消防隊だ」ということは成り立たない
事実9: 仮になにかは十Ｒでないとすれば格好悪くないしまたふさふさしない
事実10: もしなんらかの物が英数字でないならばそれは十Ｒであるかもしくはそれは皮膚機能であるかあるいは両方ともだ
事実11: もし仮に「その胎蔵界は覆滅するししかも亡命先である」ということは成り立たないとしたらそれはふさふさしない

仮説: 「あのチーズ製造は格好悪いということはないし更にふさふさするということはない」ということは嘘だ
1. 事実11と事実3から、推論1: "その胎蔵界はふさふさしない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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