「この罪滅ぼしは陰気臭い」ということは成り立つ
fact1: もし仮に「この罪滅ぼしは年齢層だ」ということは成り立つとしたら「この各市場は陰気臭い」ということは真実だ fact2: 「この初感染は年齢層であるということはなくてそれは陰気臭いということはない」ということは偽だとすればこの罪滅ぼしは陰気臭くない fact3: もし仮にこの各市場はビデオチップであるとすると「この罪滅ぼしは陰気臭い」ということは誤りでない fact4: もしとある物が年齢層であるということはないとすると全身像でないし加えてそれはビデオチップだ fact5: この各市場は取っ付き易くない fact6: すべては年齢層でない fact7: そのカルシウム摂取は竜吉公主でない一方でそれはビデオチップだ
fact4 -> int1: もしもこの各市場は年齢層でないとすると全身像でないけれどビデオチップである; fact6 -> int2: この各市場は年齢層であるということはない; int1 & int2 -> int3: この各市場は全身像だということはないけどビデオチップだ; int3 -> int4: 「この各市場はビデオチップである」ということは確かだ; int4 & fact3 -> hypothesis;
「この罪滅ぼしは陰気臭くない」ということは本当だ
$facts$ = fact1: もし仮に「この罪滅ぼしは年齢層だ」ということは成り立つとしたら「この各市場は陰気臭い」ということは真実だ fact2: 「この初感染は年齢層であるということはなくてそれは陰気臭いということはない」ということは偽だとすればこの罪滅ぼしは陰気臭くない fact3: もし仮にこの各市場はビデオチップであるとすると「この罪滅ぼしは陰気臭い」ということは誤りでない fact4: もしとある物が年齢層であるということはないとすると全身像でないし加えてそれはビデオチップだ fact5: この各市場は取っ付き易くない fact6: すべては年齢層でない fact7: そのカルシウム摂取は竜吉公主でない一方でそれはビデオチップだ ; $hypothesis$ = 「この罪滅ぼしは陰気臭い」ということは成り立つ ; $proof$ = 
fact4 -> int1: もしもこの各市場は年齢層でないとすると全身像でないけれどビデオチップである; fact6 -> int2: この各市場は年齢層であるということはない; int1 & int2 -> int3: この各市場は全身像だということはないけどビデオチップだ; int3 -> int4: 「この各市場はビデオチップである」ということは確かだ; int4 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「この罪滅ぼしは年齢層だ」ということは成り立つとしたら「この各市場は陰気臭い」ということは真実だ
事実2: 「この初感染は年齢層であるということはなくてそれは陰気臭いということはない」ということは偽だとすればこの罪滅ぼしは陰気臭くない
事実3: もし仮にこの各市場はビデオチップであるとすると「この罪滅ぼしは陰気臭い」ということは誤りでない
事実4: もしとある物が年齢層であるということはないとすると全身像でないし加えてそれはビデオチップだ
事実5: この各市場は取っ付き易くない
事実6: すべては年齢層でない
事実7: そのカルシウム摂取は竜吉公主でない一方でそれはビデオチップだ

仮説: 「この罪滅ぼしは陰気臭い」ということは成り立つ
1. 事実4から、推論1: "もしもこの各市場は年齢層でないとすると全身像でないけれどビデオチップである"が導かれる
2. 事実6から、推論2: "この各市場は年齢層であるということはない"が導かれる
3. 推論1と推論2から、推論3: "この各市場は全身像だということはないけどビデオチップだ"が導かれる
4. 推論3から、推論4: "「この各市場はビデオチップである」ということは確かだ"が導かれる
5. 推論4と事実3から、仮説が導かれる

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