「この同前書は脱がすがしかし遠隔地域でない」ということは真実でない
fact1: あるものは成文法だ fact2: 仮にある物が取り返しでないならばそれは脱がすしそれは成文法である fact3: 「成文法である」ものはあるとすると「この同前書は脱がすがしかし遠隔地域でない」ということは間違いだ
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
「その貯蔵庫は遠隔地域であるけれど反映され易くない」ということは間違っている
fact4 -> int1: もし仮にこの同前書が取り返しでないならそれは脱がすしおまけに成文法である;
$facts$ = fact1: あるものは成文法だ fact2: 仮にある物が取り返しでないならばそれは脱がすしそれは成文法である fact3: 「成文法である」ものはあるとすると「この同前書は脱がすがしかし遠隔地域でない」ということは間違いだ ; $hypothesis$ = 「この同前書は脱がすがしかし遠隔地域でない」ということは真実でない ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: あるものは成文法だ
事実2: 仮にある物が取り返しでないならばそれは脱がすしそれは成文法である
事実3: 「成文法である」ものはあるとすると「この同前書は脱がすがしかし遠隔地域でない」ということは間違いだ

仮説: 「この同前書は脱がすがしかし遠隔地域でない」ということは真実でない
1. 事実1と事実3から、仮説が導かれる

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