この第一平和市場は引き寄せるけど倉富勇三郎日記でない
fact1: もし仮にあの募残が倉富勇三郎日記でないとすればこの第一平和市場は引き寄せるが倉富勇三郎日記だということはない fact2: あの大分前は現われ易くない fact3: もしあの重ね塗りが外し易いとしたらあの大分前は現われ易い fact4: あの大分前は引き寄せる fact5: もしあの募残が通気であるとしたらあの重ね塗りは外し易い fact6: もしもあの重ね塗りが倉富勇三郎日記ならそれは牧畜業者である fact7: もしもあの募残が倉富勇三郎日記なら通気だ
void -> assump1: 以下のように仮定する。あの募残は倉富勇三郎日記だ; fact7 & assump1 -> int1: あの募残は通気である; int1 & fact5 -> int2: 「あの重ね塗りは外し易い」ということは成り立つ; int2 & fact3 -> int3: あの大分前は現われ易い; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの募残は倉富勇三郎日記でない; int5 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあの募残が倉富勇三郎日記でないとすればこの第一平和市場は引き寄せるが倉富勇三郎日記だということはない fact2: あの大分前は現われ易くない fact3: もしあの重ね塗りが外し易いとしたらあの大分前は現われ易い fact4: あの大分前は引き寄せる fact5: もしあの募残が通気であるとしたらあの重ね塗りは外し易い fact6: もしもあの重ね塗りが倉富勇三郎日記ならそれは牧畜業者である fact7: もしもあの募残が倉富勇三郎日記なら通気だ ; $hypothesis$ = この第一平和市場は引き寄せるけど倉富勇三郎日記でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの募残は倉富勇三郎日記だ; fact7 & assump1 -> int1: あの募残は通気である; int1 & fact5 -> int2: 「あの重ね塗りは外し易い」ということは成り立つ; int2 & fact3 -> int3: あの大分前は現われ易い; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの募残は倉富勇三郎日記でない; int5 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの募残が倉富勇三郎日記でないとすればこの第一平和市場は引き寄せるが倉富勇三郎日記だということはない
事実2: あの大分前は現われ易くない
事実3: もしあの重ね塗りが外し易いとしたらあの大分前は現われ易い
事実4: あの大分前は引き寄せる
事実5: もしあの募残が通気であるとしたらあの重ね塗りは外し易い
事実6: もしもあの重ね塗りが倉富勇三郎日記ならそれは牧畜業者である
事実7: もしもあの募残が倉富勇三郎日記なら通気だ

仮説: この第一平和市場は引き寄せるけど倉富勇三郎日記でない
1. 仮定1: 以下のように仮定する。あの募残は倉富勇三郎日記だ
2. 事実7と仮定1から、推論1: "あの募残は通気である"が導かれる
3. 推論1と事実5から、推論2: "「あの重ね塗りは外し易い」ということは成り立つ"が導かれる
4. 推論2と事実3から、推論3: "あの大分前は現われ易い"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの募残は倉富勇三郎日記でない"が導かれる
7. 推論5と事実1から、仮説が導かれる

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