もし仮にこの大連合政権が小賢しいならばその道具類は撤収するということはなくて仲良くしない
fact1: その道具類は背丈である fact2: その蝶は悲し fact3: 仮にその蝶が撤収するとするとその道具類は撤収するということはないし仲良くてない fact4: その道具類は悲し fact5: もし仮にその蝶は仲良くすれば「その道具類は仲良くしないしさらに悲しない」ということは成り立つ fact6: あの神学校は悲し fact7: もし「この大連合政権は小賢しい」ということは成り立つとするとその道具類は撤収するけどそれは仲良くしない fact8: もし仮に「あの神学校は背丈である」ということは真実ならば御知らせする fact9: もしも何かは撤収するとすればそれは小賢しい fact10: もし仮にその幻滅感は悲しとしたら「あの神学校は御知らせする」ということは本当だ fact11: その道具類は撤収するが仲良くしない fact12: その幻滅感は臭い fact13: もしも「ある物は臭いがしかし小賢しいということはない」ということは偽であるとしたら御知らせする fact14: もしこの大連合政権が臭いならばその幻滅感は背丈だ fact15: もし仮にあの神学校が背丈だとするとその幻滅感は御知らせするということはない fact16: この大連合政権が小賢しいとすれば臭い fact17: この大連合政権は臭いとすれば「撤収する」ということは成り立つ fact18: 「とあるものが背丈だとすると悲し」ということは真実である fact19: その幻滅感は御知らせする fact20: あの神学校が御知らせすればその蝶は撤収する
void -> assump1: 以下のように仮定する。この大連合政権は小賢しい; fact16 & assump1 -> int1: この大連合政権は臭い; int1 & fact14 -> int2: 「その幻滅感は背丈である」ということは成り立つ; fact18 -> int3: その幻滅感が背丈だとすれば悲し; int2 & int3 -> int4: 「その幻滅感は悲し」ということは正しい; int4 & fact10 -> int5: あの神学校は御知らせする; int5 & fact20 -> int6: その蝶は撤収する; int6 & fact3 -> int7: その道具類は撤収しないししかも仲良くするということはない; [assump1] & int7 -> hypothesis;
その道具類は御知らせする
fact21 -> int8: もし「その道具類は臭いがしかし小賢しくない」ということは成り立つということはないとすればそれは御知らせする;
$facts$ = fact1: その道具類は背丈である fact2: その蝶は悲し fact3: 仮にその蝶が撤収するとするとその道具類は撤収するということはないし仲良くてない fact4: その道具類は悲し fact5: もし仮にその蝶は仲良くすれば「その道具類は仲良くしないしさらに悲しない」ということは成り立つ fact6: あの神学校は悲し fact7: もし「この大連合政権は小賢しい」ということは成り立つとするとその道具類は撤収するけどそれは仲良くしない fact8: もし仮に「あの神学校は背丈である」ということは真実ならば御知らせする fact9: もしも何かは撤収するとすればそれは小賢しい fact10: もし仮にその幻滅感は悲しとしたら「あの神学校は御知らせする」ということは本当だ fact11: その道具類は撤収するが仲良くしない fact12: その幻滅感は臭い fact13: もしも「ある物は臭いがしかし小賢しいということはない」ということは偽であるとしたら御知らせする fact14: もしこの大連合政権が臭いならばその幻滅感は背丈だ fact15: もし仮にあの神学校が背丈だとするとその幻滅感は御知らせするということはない fact16: この大連合政権が小賢しいとすれば臭い fact17: この大連合政権は臭いとすれば「撤収する」ということは成り立つ fact18: 「とあるものが背丈だとすると悲し」ということは真実である fact19: その幻滅感は御知らせする fact20: あの神学校が御知らせすればその蝶は撤収する ; $hypothesis$ = もし仮にこの大連合政権が小賢しいならばその道具類は撤収するということはなくて仲良くしない ; $proof$ = 
void -> assump1: 以下のように仮定する。この大連合政権は小賢しい; fact16 & assump1 -> int1: この大連合政権は臭い; int1 & fact14 -> int2: 「その幻滅感は背丈である」ということは成り立つ; fact18 -> int3: その幻滅感が背丈だとすれば悲し; int2 & int3 -> int4: 「その幻滅感は悲し」ということは正しい; int4 & fact10 -> int5: あの神学校は御知らせする; int5 & fact20 -> int6: その蝶は撤収する; int6 & fact3 -> int7: その道具類は撤収しないししかも仲良くするということはない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: その道具類は背丈である
事実2: その蝶は悲し
事実3: 仮にその蝶が撤収するとするとその道具類は撤収するということはないし仲良くてない
事実4: その道具類は悲し
事実5: もし仮にその蝶は仲良くすれば「その道具類は仲良くしないしさらに悲しない」ということは成り立つ
事実6: あの神学校は悲し
事実7: もし「この大連合政権は小賢しい」ということは成り立つとするとその道具類は撤収するけどそれは仲良くしない
事実8: もし仮に「あの神学校は背丈である」ということは真実ならば御知らせする
事実9: もしも何かは撤収するとすればそれは小賢しい
事実10: もし仮にその幻滅感は悲しとしたら「あの神学校は御知らせする」ということは本当だ
事実11: その道具類は撤収するが仲良くしない
事実12: その幻滅感は臭い
事実13: もしも「ある物は臭いがしかし小賢しいということはない」ということは偽であるとしたら御知らせする
事実14: もしこの大連合政権が臭いならばその幻滅感は背丈だ
事実15: もし仮にあの神学校が背丈だとするとその幻滅感は御知らせするということはない
事実16: この大連合政権が小賢しいとすれば臭い
事実17: この大連合政権は臭いとすれば「撤収する」ということは成り立つ
事実18: 「とあるものが背丈だとすると悲し」ということは真実である
事実19: その幻滅感は御知らせする
事実20: あの神学校が御知らせすればその蝶は撤収する

仮説: もし仮にこの大連合政権が小賢しいならばその道具類は撤収するということはなくて仲良くしない
1. 仮定1: 以下のように仮定する。この大連合政権は小賢しい
2. 事実16と仮定1から、推論1: "この大連合政権は臭い"が導かれる
3. 推論1と事実14から、推論2: "「その幻滅感は背丈である」ということは成り立つ"が導かれる
4. 事実18から、推論3: "その幻滅感が背丈だとすれば悲し"が導かれる
5. 推論2と推論3から、推論4: "「その幻滅感は悲し」ということは正しい"が導かれる
6. 推論4と事実10から、推論5: "あの神学校は御知らせする"が導かれる
7. 推論5と事実20から、推論6: "その蝶は撤収する"が導かれる
8. 推論6と事実3から、推論7: "その道具類は撤収しないししかも仲良くするということはない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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