「その実行能力は見舞わないし覆工コンクリートでない」ということは成り立たない
fact1: 「「その実行能力はむさくなくてその上それは見舞うということはない」ということは正しい」ということは誤りである fact2: 確認し易いものは見舞うということはなくておまけに覆工コンクリートでない fact3: 「それは通じ易くないし次ヘッダ番号フィールドでない」ということは偽でないというものはない fact4: それは見舞わないし更に覆工コンクリートだという物はない fact5: 「その実行能力は見舞うがしかし覆工コンクリートでない」ということは誤っている fact6: 「この第二スタジオは見舞わないし加えて割れ目ちゃんでない」ということは偽である fact7: それは行き着くということはないしその上前提しないというものはない fact8: 見舞うけど覆工コンクリートでないというものはない fact9: 焼けないしそれにそれは思しくないという物はない fact10: それは見舞わなくておまけに覆工コンクリートであるということはないというものはない fact11: 「その実行能力は見舞わないしまたそれは外国軍でない」ということは成り立たない
fact10 -> hypothesis;
fact10 -> hypothesis;
その実行能力は見舞わなくてまた覆工コンクリートでない
fact12 -> int1: もしも「その実行能力は確認し易い」ということは真実ならばそれは見舞わなくて更に覆工コンクリートでない;
$facts$ = fact1: 「「その実行能力はむさくなくてその上それは見舞うということはない」ということは正しい」ということは誤りである fact2: 確認し易いものは見舞うということはなくておまけに覆工コンクリートでない fact3: 「それは通じ易くないし次ヘッダ番号フィールドでない」ということは偽でないというものはない fact4: それは見舞わないし更に覆工コンクリートだという物はない fact5: 「その実行能力は見舞うがしかし覆工コンクリートでない」ということは誤っている fact6: 「この第二スタジオは見舞わないし加えて割れ目ちゃんでない」ということは偽である fact7: それは行き着くということはないしその上前提しないというものはない fact8: 見舞うけど覆工コンクリートでないというものはない fact9: 焼けないしそれにそれは思しくないという物はない fact10: それは見舞わなくておまけに覆工コンクリートであるということはないというものはない fact11: 「その実行能力は見舞わないしまたそれは外国軍でない」ということは成り立たない ; $hypothesis$ = 「その実行能力は見舞わないし覆工コンクリートでない」ということは成り立たない ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「「その実行能力はむさくなくてその上それは見舞うということはない」ということは正しい」ということは誤りである
事実2: 確認し易いものは見舞うということはなくておまけに覆工コンクリートでない
事実3: 「それは通じ易くないし次ヘッダ番号フィールドでない」ということは偽でないというものはない
事実4: それは見舞わないし更に覆工コンクリートだという物はない
事実5: 「その実行能力は見舞うがしかし覆工コンクリートでない」ということは誤っている
事実6: 「この第二スタジオは見舞わないし加えて割れ目ちゃんでない」ということは偽である
事実7: それは行き着くということはないしその上前提しないというものはない
事実8: 見舞うけど覆工コンクリートでないというものはない
事実9: 焼けないしそれにそれは思しくないという物はない
事実10: それは見舞わなくておまけに覆工コンクリートであるということはないというものはない
事実11: 「その実行能力は見舞わないしまたそれは外国軍でない」ということは成り立たない

仮説: 「その実行能力は見舞わないし覆工コンクリートでない」ということは成り立たない
1. 事実10から、仮説が導かれる

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