「この化石燃料は指関節でない」ということは真実だ
fact1: 何らかのものはタイトルらしいということはないか確証しない fact2: もし仮に何かはタイトルらしくないならば抗い難くない fact3: もし仮に「あの六年後は弥増さない」ということは正しいとすればあの化石燃料は指関節でない fact4: 仮になにかはタイトルらしくないかあるいは確証しないかまたはどちらもであるなら「「あの貯蓄運は投げ入れる」ということは事実と異なるということはない」ということは偽だ fact5: もしあの貯蓄運が投げ入れないとしたらあの六年後は弥増さない
fact1 & fact4 -> int1: あの貯蓄運は投げ入れない; int1 & fact5 -> int2: 「あの六年後は弥増さない」ということは間違いでない; int2 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ¬{C}{a}; int1 & fact5 -> int2: ¬{D}{b}; int2 & fact3 -> hypothesis;
「抗い難くないかまたは着ない」物はある
fact6 -> int3: もし仮にあの貯蓄運はタイトルらしくないとすると「それは抗い難くない」ということは正しい;
$facts$ = fact1: 何らかのものはタイトルらしいということはないか確証しない fact2: もし仮に何かはタイトルらしくないならば抗い難くない fact3: もし仮に「あの六年後は弥増さない」ということは正しいとすればあの化石燃料は指関節でない fact4: 仮になにかはタイトルらしくないかあるいは確証しないかまたはどちらもであるなら「「あの貯蓄運は投げ入れる」ということは事実と異なるということはない」ということは偽だ fact5: もしあの貯蓄運が投げ入れないとしたらあの六年後は弥増さない ; $hypothesis$ = 「この化石燃料は指関節でない」ということは真実だ ; $proof$ = 
fact1 & fact4 -> int1: あの貯蓄運は投げ入れない; int1 & fact5 -> int2: 「あの六年後は弥増さない」ということは間違いでない; int2 & fact3 -> hypothesis; __PROVED__
事実1: 何らかのものはタイトルらしいということはないか確証しない
事実2: もし仮に何かはタイトルらしくないならば抗い難くない
事実3: もし仮に「あの六年後は弥増さない」ということは正しいとすればあの化石燃料は指関節でない
事実4: 仮になにかはタイトルらしくないかあるいは確証しないかまたはどちらもであるなら「「あの貯蓄運は投げ入れる」ということは事実と異なるということはない」ということは偽だ
事実5: もしあの貯蓄運が投げ入れないとしたらあの六年後は弥増さない

仮説: 「この化石燃料は指関節でない」ということは真実だ
1. 事実1と事実4から、推論1: "あの貯蓄運は投げ入れない"が導かれる
2. 推論1と事実5から、推論2: "「あの六年後は弥増さない」ということは間違いでない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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