その初形は予防・改善するがエスケープシーケンスでない
fact1: もし「がなる」ものがあるとするとその初形は予防・改善する fact2: とあるものは落ち難い fact3: 「「がなる」ということは真実な」ものはある fact4: 「「がなる」ということは間違っていない」ものがあるならばあの初形は予防・改善する一方でエスケープシーケンスでない fact5: もしなにかはがなるとしたら「「それは予防・改善するし加えてエスケープシーケンスでない」ということは本当である」ということは成り立たない fact6: もし仮にとあるものは現われ難いなら「それは抜き去るけどがならない」ということは本当でない fact7: この東海岸が排水すればこの共産軍は皇族方だ fact8: 「ドールハウスでない一方で邪魔立てする」ものはある fact9: 「予防・改善する」物はある fact10: もしも「口喧しくない」物があるとするとこの東海岸は排水するししかも呼び鈴である fact11: その初形は予防・改善する fact12: 「なにかはドールハウスでないがしかし邪魔立てする」ということは間違っていないとすればこの生殖細胞は口喧しくない fact13: もしこの共産軍が皇族方であるとしたらそのアレゴリーは現われ難い
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
「その初形は予防・改善するけどエスケープシーケンスでない」ということは正しいということはない
fact16 -> int1: もしその初形はがなるとすれば「予防・改善するしかつそれはエスケープシーケンスでない」ということは成り立たない; fact19 -> int2: そのアレゴリーは現われ難いとすれば「抜き去るがしかしがならない」ということは偽だ; fact14 & fact17 -> int3: この生殖細胞は口喧しいということはない; int3 -> int4: 口喧しくない物はある; int4 & fact18 -> int5: この東海岸は排水するし加えて呼び鈴である; int5 -> int6: この東海岸は排水する; fact20 & int6 -> int7: この共産軍は皇族方である; fact15 & int7 -> int8: そのアレゴリーは現われ難い; int2 & int8 -> int9: 「そのアレゴリーは抜き去るけどがならない」ということは誤りだ; int9 -> int10: 「「抜き去るし加えてがならない」ということは事実と異なる」ものはある;
$facts$ = fact1: もし「がなる」ものがあるとするとその初形は予防・改善する fact2: とあるものは落ち難い fact3: 「「がなる」ということは真実な」ものはある fact4: 「「がなる」ということは間違っていない」ものがあるならばあの初形は予防・改善する一方でエスケープシーケンスでない fact5: もしなにかはがなるとしたら「「それは予防・改善するし加えてエスケープシーケンスでない」ということは本当である」ということは成り立たない fact6: もし仮にとあるものは現われ難いなら「それは抜き去るけどがならない」ということは本当でない fact7: この東海岸が排水すればこの共産軍は皇族方だ fact8: 「ドールハウスでない一方で邪魔立てする」ものはある fact9: 「予防・改善する」物はある fact10: もしも「口喧しくない」物があるとするとこの東海岸は排水するししかも呼び鈴である fact11: その初形は予防・改善する fact12: 「なにかはドールハウスでないがしかし邪魔立てする」ということは間違っていないとすればこの生殖細胞は口喧しくない fact13: もしこの共産軍が皇族方であるとしたらそのアレゴリーは現われ難い ; $hypothesis$ = その初形は予防・改善するがエスケープシーケンスでない ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: もし「がなる」ものがあるとするとその初形は予防・改善する
事実2: とあるものは落ち難い
事実3: 「「がなる」ということは真実な」ものはある
事実4: 「「がなる」ということは間違っていない」ものがあるならばあの初形は予防・改善する一方でエスケープシーケンスでない
事実5: もしなにかはがなるとしたら「「それは予防・改善するし加えてエスケープシーケンスでない」ということは本当である」ということは成り立たない
事実6: もし仮にとあるものは現われ難いなら「それは抜き去るけどがならない」ということは本当でない
事実7: この東海岸が排水すればこの共産軍は皇族方だ
事実8: 「ドールハウスでない一方で邪魔立てする」ものはある
事実9: 「予防・改善する」物はある
事実10: もしも「口喧しくない」物があるとするとこの東海岸は排水するししかも呼び鈴である
事実11: その初形は予防・改善する
事実12: 「なにかはドールハウスでないがしかし邪魔立てする」ということは間違っていないとすればこの生殖細胞は口喧しくない
事実13: もしこの共産軍が皇族方であるとしたらそのアレゴリーは現われ難い

仮説: その初形は予防・改善するがエスケープシーケンスでない
1. 事実3と事実4から、仮説が導かれる

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