あの林檎ジュースは零零六便でない
fact1: もしその形而上学的悪がブリッツでないならばあの林檎ジュースは零零六便であるし加えて見え難い fact2: 仮に見え難いものがブリッツでないとするとあの林檎ジュースは零零六便でない fact3: もし仮にあの始業時刻は行き為さらないとしたら「それはデフォルト時であるしそれに敗軍でない」ということは事実と異なる fact4: あの組織温上昇は見え難いがそれはブリッツでない fact5: 「ブリッツでない」ものはある fact6: 仮にあの始業時刻がデフォルト時でないし折れないとしたらその使用可は折れない fact7: 「仮にその使用可は折れないなら「あの世界史は買い忘れないがブリッツだ」ということは成り立つということはない」ということは正しい fact8: もし「あの始業時刻はデフォルト時だけど敗軍でない」ということは成り立たないとするとデフォルト時でない
fact4 -> int1: なにかは見え難いけどそれはブリッツでない; int1 & fact2 -> hypothesis;
fact4 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact2 -> hypothesis;
あの林檎ジュースは零零六便だ
$facts$ = fact1: もしその形而上学的悪がブリッツでないならばあの林檎ジュースは零零六便であるし加えて見え難い fact2: 仮に見え難いものがブリッツでないとするとあの林檎ジュースは零零六便でない fact3: もし仮にあの始業時刻は行き為さらないとしたら「それはデフォルト時であるしそれに敗軍でない」ということは事実と異なる fact4: あの組織温上昇は見え難いがそれはブリッツでない fact5: 「ブリッツでない」ものはある fact6: 仮にあの始業時刻がデフォルト時でないし折れないとしたらその使用可は折れない fact7: 「仮にその使用可は折れないなら「あの世界史は買い忘れないがブリッツだ」ということは成り立つということはない」ということは正しい fact8: もし「あの始業時刻はデフォルト時だけど敗軍でない」ということは成り立たないとするとデフォルト時でない ; $hypothesis$ = あの林檎ジュースは零零六便でない ; $proof$ = 
fact4 -> int1: なにかは見え難いけどそれはブリッツでない; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしその形而上学的悪がブリッツでないならばあの林檎ジュースは零零六便であるし加えて見え難い
事実2: 仮に見え難いものがブリッツでないとするとあの林檎ジュースは零零六便でない
事実3: もし仮にあの始業時刻は行き為さらないとしたら「それはデフォルト時であるしそれに敗軍でない」ということは事実と異なる
事実4: あの組織温上昇は見え難いがそれはブリッツでない
事実5: 「ブリッツでない」ものはある
事実6: 仮にあの始業時刻がデフォルト時でないし折れないとしたらその使用可は折れない
事実7: 「仮にその使用可は折れないなら「あの世界史は買い忘れないがブリッツだ」ということは成り立つということはない」ということは正しい
事実8: もし「あの始業時刻はデフォルト時だけど敗軍でない」ということは成り立たないとするとデフォルト時でない

仮説: あの林檎ジュースは零零六便でない
1. 事実4から、推論1: "なにかは見え難いけどそれはブリッツでない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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