その奉公先は仕送りしない
fact1: もし仮にその奉公先はＣＩＥでなくて雑談しないならばそれは仕送りするということはない fact2: その奉公先はＣＩＥだということはない fact3: もしも「この節水は雑談するということはなくて仕送りしない」ということは真実でないとすればあの奉公先は仕送りする fact4: 仮に「あの公民は急死する」ということは正しいとすると「一学年であるかまたはそれは薩摩藩士でない」ということは誤りである fact5: 仮になんらかの物は薩摩藩士でないとしたら「「それは狙われ易いということはないしそれは仕送りする」ということは事実だ」ということは嘘である fact6: もし「「この節水は受け答えるかあるいはそれはＣＩＥでないかまたは両方である」ということは成り立たない」ということは本当ならばその奉公先は寒風である fact7: もし仮に「この節水は恥ずかしい」ということは誤っているとすればあの在庫状況は寒風でないしさらに受け答えない fact8: 仮にあの公民が恥ずかしいかもしくは受け答えないならばあの在庫状況は恥ずかしい fact9: 何かは雑談しないならそれは市制町村制だ fact10: あの公民は見掛けであるならば急死する fact11: もし仮にあの在庫状況が受け答えるということはないとするとこの節水は恥ずかしくないしまたそれはＣＩＥでない fact12: あの公民は見掛けだ fact13: 「あの在庫状況が市制町村制だとしたらあの在庫状況は寒風だ」ということは正しい fact14: 「「狙われ易くないしまた仕送りする」ということは間違いな」ものがあるとするとこの節水は仕送りしない fact15: もしその奉公先が寒風だとしたらその世話は雑談しないしそれは恥ずかしくない fact16: 「あの在庫状況は市制町村制である」ということは確かだ fact17: 仮にこの節水が恥ずかしくないとするとあの在庫状況は受け答えない fact18: もし「あの公民は一学年であるかあるいは薩摩藩士でないかあるいはどちらもだ」ということは成り立つということはないならばあの在庫状況は薩摩藩士だということはない fact19: もし仮にその奉公先が雑談するとすればあの節水は恥ずかしくない
void -> assump1: 以下のように仮定する。「「その奉公先は雑談するということはない」ということは成り立つ」ということは確かでない; fact19 & assump1 -> int1: この節水は恥ずかしくない; int1 & fact7 -> int2: あの在庫状況は寒風でなくてしかも受け答えない; int2 -> int3: あの在庫状況は寒風でない; fact13 & fact16 -> int4: 「あの在庫状況は寒風である」ということは間違いでない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その奉公先は雑談しない; int6 & fact2 -> int7: その奉公先はＣＩＥでないしおまけに雑談しない; int7 & fact1 -> hypothesis;
その世話は市制町村制だ
fact23 -> int8: もし「その世話は雑談しない」ということは間違いだということはないとしたら市制町村制である; fact27 -> int9: もしもあの在庫状況は薩摩藩士だということはないなら「それは狙われ易くないが仕送りする」ということは事実と異なる; fact22 & fact21 -> int10: あの公民は急死する; fact25 & int10 -> int11: 「あの公民は一学年であるかあるいは薩摩藩士でないかあるいはどちらもである」ということは間違いだ; fact26 & int11 -> int12: あの在庫状況は薩摩藩士でない; int9 & int12 -> int13: 「あの在庫状況は狙われ易くないけれどそれは仕送りする」ということは誤りである; int13 -> int14: 「「狙われ易くないけど仕送りする」ということは誤りな」物はある; int14 & fact28 -> int15: この節水は仕送りしない;
$facts$ = fact1: もし仮にその奉公先はＣＩＥでなくて雑談しないならばそれは仕送りするということはない fact2: その奉公先はＣＩＥだということはない fact3: もしも「この節水は雑談するということはなくて仕送りしない」ということは真実でないとすればあの奉公先は仕送りする fact4: 仮に「あの公民は急死する」ということは正しいとすると「一学年であるかまたはそれは薩摩藩士でない」ということは誤りである fact5: 仮になんらかの物は薩摩藩士でないとしたら「「それは狙われ易いということはないしそれは仕送りする」ということは事実だ」ということは嘘である fact6: もし「「この節水は受け答えるかあるいはそれはＣＩＥでないかまたは両方である」ということは成り立たない」ということは本当ならばその奉公先は寒風である fact7: もし仮に「この節水は恥ずかしい」ということは誤っているとすればあの在庫状況は寒風でないしさらに受け答えない fact8: 仮にあの公民が恥ずかしいかもしくは受け答えないならばあの在庫状況は恥ずかしい fact9: 何かは雑談しないならそれは市制町村制だ fact10: あの公民は見掛けであるならば急死する fact11: もし仮にあの在庫状況が受け答えるということはないとするとこの節水は恥ずかしくないしまたそれはＣＩＥでない fact12: あの公民は見掛けだ fact13: 「あの在庫状況が市制町村制だとしたらあの在庫状況は寒風だ」ということは正しい fact14: 「「狙われ易くないしまた仕送りする」ということは間違いな」ものがあるとするとこの節水は仕送りしない fact15: もしその奉公先が寒風だとしたらその世話は雑談しないしそれは恥ずかしくない fact16: 「あの在庫状況は市制町村制である」ということは確かだ fact17: 仮にこの節水が恥ずかしくないとするとあの在庫状況は受け答えない fact18: もし「あの公民は一学年であるかあるいは薩摩藩士でないかあるいはどちらもだ」ということは成り立つということはないならばあの在庫状況は薩摩藩士だということはない fact19: もし仮にその奉公先が雑談するとすればあの節水は恥ずかしくない ; $hypothesis$ = その奉公先は仕送りしない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その奉公先は雑談するということはない」ということは成り立つ」ということは確かでない; fact19 & assump1 -> int1: この節水は恥ずかしくない; int1 & fact7 -> int2: あの在庫状況は寒風でなくてしかも受け答えない; int2 -> int3: あの在庫状況は寒風でない; fact13 & fact16 -> int4: 「あの在庫状況は寒風である」ということは間違いでない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その奉公先は雑談しない; int6 & fact2 -> int7: その奉公先はＣＩＥでないしおまけに雑談しない; int7 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にその奉公先はＣＩＥでなくて雑談しないならばそれは仕送りするということはない
事実2: その奉公先はＣＩＥだということはない
事実3: もしも「この節水は雑談するということはなくて仕送りしない」ということは真実でないとすればあの奉公先は仕送りする
事実4: 仮に「あの公民は急死する」ということは正しいとすると「一学年であるかまたはそれは薩摩藩士でない」ということは誤りである
事実5: 仮になんらかの物は薩摩藩士でないとしたら「「それは狙われ易いということはないしそれは仕送りする」ということは事実だ」ということは嘘である
事実6: もし「「この節水は受け答えるかあるいはそれはＣＩＥでないかまたは両方である」ということは成り立たない」ということは本当ならばその奉公先は寒風である
事実7: もし仮に「この節水は恥ずかしい」ということは誤っているとすればあの在庫状況は寒風でないしさらに受け答えない
事実8: 仮にあの公民が恥ずかしいかもしくは受け答えないならばあの在庫状況は恥ずかしい
事実9: 何かは雑談しないならそれは市制町村制だ
事実10: あの公民は見掛けであるならば急死する
事実11: もし仮にあの在庫状況が受け答えるということはないとするとこの節水は恥ずかしくないしまたそれはＣＩＥでない
事実12: あの公民は見掛けだ
事実13: 「あの在庫状況が市制町村制だとしたらあの在庫状況は寒風だ」ということは正しい
事実14: 「「狙われ易くないしまた仕送りする」ということは間違いな」ものがあるとするとこの節水は仕送りしない
事実15: もしその奉公先が寒風だとしたらその世話は雑談しないしそれは恥ずかしくない
事実16: 「あの在庫状況は市制町村制である」ということは確かだ
事実17: 仮にこの節水が恥ずかしくないとするとあの在庫状況は受け答えない
事実18: もし「あの公民は一学年であるかあるいは薩摩藩士でないかあるいはどちらもだ」ということは成り立つということはないならばあの在庫状況は薩摩藩士だということはない
事実19: もし仮にその奉公先が雑談するとすればあの節水は恥ずかしくない

仮説: その奉公先は仕送りしない
1. 仮定1: 以下のように仮定する。「「その奉公先は雑談するということはない」ということは成り立つ」ということは確かでない
2. 事実19と仮定1から、推論1: "この節水は恥ずかしくない"が導かれる
3. 推論1と事実7から、推論2: "あの在庫状況は寒風でなくてしかも受け答えない"が導かれる
4. 推論2から、推論3: "あの在庫状況は寒風でない"が導かれる
5. 事実13と事実16から、推論4: "「あの在庫状況は寒風である」ということは間違いでない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その奉公先は雑談しない"が導かれる
8. 推論6と事実2から、推論7: "その奉公先はＣＩＥでないしおまけに雑談しない"が導かれる
9. 推論7と事実1から、仮説が導かれる

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