あの世界言語は汗臭い
fact1: 仮にあるものが変わり得ないか父親らしいならそれは揺れ出さない fact2: あの特定場面は所蔵機関である fact3: あの特定場面が所蔵機関だとするとそれは変わり得ないかもしくは父親らしいかあるいは両方である fact4: もしあの特定場面は揺れ出さないならば「あの世界言語は汗臭い」ということは成り立つ
fact3 & fact2 -> int1: あの特定場面は変わり得ないかもしくは父親らしいかあるいは両方である; fact1 -> int2: もしもあの特定場面は変わり得ないかまたは父親らしいかもしくはどちらもならば揺れ出さない; int1 & int2 -> int3: あの特定場面は揺れ出すということはない; int3 & fact4 -> hypothesis;
fact3 & fact2 -> int1: (¬{AA}{a} v {AB}{a}); fact1 -> int2: (¬{AA}{a} v {AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact4 -> hypothesis;
$facts$ = fact1: 仮にあるものが変わり得ないか父親らしいならそれは揺れ出さない fact2: あの特定場面は所蔵機関である fact3: あの特定場面が所蔵機関だとするとそれは変わり得ないかもしくは父親らしいかあるいは両方である fact4: もしあの特定場面は揺れ出さないならば「あの世界言語は汗臭い」ということは成り立つ ; $hypothesis$ = あの世界言語は汗臭い ; $proof$ = 
fact3 & fact2 -> int1: あの特定場面は変わり得ないかもしくは父親らしいかあるいは両方である; fact1 -> int2: もしもあの特定場面は変わり得ないかまたは父親らしいかもしくはどちらもならば揺れ出さない; int1 & int2 -> int3: あの特定場面は揺れ出すということはない; int3 & fact4 -> hypothesis; __PROVED__
事実1: 仮にあるものが変わり得ないか父親らしいならそれは揺れ出さない
事実2: あの特定場面は所蔵機関である
事実3: あの特定場面が所蔵機関だとするとそれは変わり得ないかもしくは父親らしいかあるいは両方である
事実4: もしあの特定場面は揺れ出さないならば「あの世界言語は汗臭い」ということは成り立つ

仮説: あの世界言語は汗臭い
1. 事実3と事実2から、推論1: "あの特定場面は変わり得ないかもしくは父親らしいかあるいは両方である"が導かれる
2. 事実1から、推論2: "もしもあの特定場面は変わり得ないかまたは父親らしいかもしくはどちらもならば揺れ出さない"が導かれる
3. 推論1と推論2から、推論3: "あの特定場面は揺れ出すということはない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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