あの覚え書きは広いけれどそれはうざくない
fact1: とあるものはうざいとしたら「それは広い」ということは事実だ fact2: 仮に「嘆くということはないがしかし二百床以上である」ものがあるならあの覚え書きは痩せ難くない fact3: 「嘆くし二百床以上である」ものはある fact4: もしも「この盤ゲームは二百床以上でない」ということは成り立たないとするとそれは広い fact5: あの明治・大正期は二百床以上でない fact6: もし仮にとあるものが期待出来るとしたらそれは独立・開業でなくて更に引き起こし兼ねる fact7: もし仮に「あの覚え書きは痩せ難くない」ということは成り立つとすると「それはうざくない」ということは確かである fact8: なにがしかの物は期待出来るなら「広くてそれはうざくない」ということは成り立たない fact9: もしこの教育条件が期待出来ないとすると痩せ難いしその上それは嘆くということはない fact10: この教育条件は期待出来る fact11: 「あの覚え書きは蚯蚓触手である」ということは事実だ fact12: むさくるしい物は嘆かない一方で二百床以上である fact13: あの覚え書きが痩せ難いということはないならばそれは広い一方でうざくない fact14: もしもとあるものが繰るとすればそれは呪わしい fact15: もし仮にとあるものが立て難いとしたら対円である fact16: 「救える」物はある fact17: 「この盤ゲームは二百床以上だ」ということは成り立つ fact18: この教育条件は期待出来るしそれは救える fact19: 「この教育条件はうざいがしかしうら若しない」ということは本当だ fact20: この盤ゲームは薬臭い fact21: もしこの教育条件が救えればこの盤ゲームはむさくるしい fact22: 「広いということはない」物はある
fact18 -> int1: この教育条件は救える; int1 & fact21 -> int2: この盤ゲームはむさくるしい; fact12 -> int3: この盤ゲームがむさくるしいとすると嘆くということはなくてそれは二百床以上である; int2 & int3 -> int4: この盤ゲームは嘆かないが二百床以上だ; int4 -> int5: 何かは嘆かないが二百床以上だ; int5 & fact2 -> int6: あの覚え書きは痩せ難いということはない; int6 & fact13 -> hypothesis;
「独立・開業だということはなくておまけに引き起こし兼ねる」物はある
fact23 -> int7: もし仮にこの教育条件が期待出来るとしたらそれは独立・開業でないが引き起こし兼ねる;
$facts$ = fact1: とあるものはうざいとしたら「それは広い」ということは事実だ fact2: 仮に「嘆くということはないがしかし二百床以上である」ものがあるならあの覚え書きは痩せ難くない fact3: 「嘆くし二百床以上である」ものはある fact4: もしも「この盤ゲームは二百床以上でない」ということは成り立たないとするとそれは広い fact5: あの明治・大正期は二百床以上でない fact6: もし仮にとあるものが期待出来るとしたらそれは独立・開業でなくて更に引き起こし兼ねる fact7: もし仮に「あの覚え書きは痩せ難くない」ということは成り立つとすると「それはうざくない」ということは確かである fact8: なにがしかの物は期待出来るなら「広くてそれはうざくない」ということは成り立たない fact9: もしこの教育条件が期待出来ないとすると痩せ難いしその上それは嘆くということはない fact10: この教育条件は期待出来る fact11: 「あの覚え書きは蚯蚓触手である」ということは事実だ fact12: むさくるしい物は嘆かない一方で二百床以上である fact13: あの覚え書きが痩せ難いということはないならばそれは広い一方でうざくない fact14: もしもとあるものが繰るとすればそれは呪わしい fact15: もし仮にとあるものが立て難いとしたら対円である fact16: 「救える」物はある fact17: 「この盤ゲームは二百床以上だ」ということは成り立つ fact18: この教育条件は期待出来るしそれは救える fact19: 「この教育条件はうざいがしかしうら若しない」ということは本当だ fact20: この盤ゲームは薬臭い fact21: もしこの教育条件が救えればこの盤ゲームはむさくるしい fact22: 「広いということはない」物はある ; $hypothesis$ = あの覚え書きは広いけれどそれはうざくない ; $proof$ = 
fact18 -> int1: この教育条件は救える; int1 & fact21 -> int2: この盤ゲームはむさくるしい; fact12 -> int3: この盤ゲームがむさくるしいとすると嘆くということはなくてそれは二百床以上である; int2 & int3 -> int4: この盤ゲームは嘆かないが二百床以上だ; int4 -> int5: 何かは嘆かないが二百床以上だ; int5 & fact2 -> int6: あの覚え書きは痩せ難いということはない; int6 & fact13 -> hypothesis; __PROVED__
事実1: とあるものはうざいとしたら「それは広い」ということは事実だ
事実2: 仮に「嘆くということはないがしかし二百床以上である」ものがあるならあの覚え書きは痩せ難くない
事実3: 「嘆くし二百床以上である」ものはある
事実4: もしも「この盤ゲームは二百床以上でない」ということは成り立たないとするとそれは広い
事実5: あの明治・大正期は二百床以上でない
事実6: もし仮にとあるものが期待出来るとしたらそれは独立・開業でなくて更に引き起こし兼ねる
事実7: もし仮に「あの覚え書きは痩せ難くない」ということは成り立つとすると「それはうざくない」ということは確かである
事実8: なにがしかの物は期待出来るなら「広くてそれはうざくない」ということは成り立たない
事実9: もしこの教育条件が期待出来ないとすると痩せ難いしその上それは嘆くということはない
事実10: この教育条件は期待出来る
事実11: 「あの覚え書きは蚯蚓触手である」ということは事実だ
事実12: むさくるしい物は嘆かない一方で二百床以上である
事実13: あの覚え書きが痩せ難いということはないならばそれは広い一方でうざくない
事実14: もしもとあるものが繰るとすればそれは呪わしい
事実15: もし仮にとあるものが立て難いとしたら対円である
事実16: 「救える」物はある
事実17: 「この盤ゲームは二百床以上だ」ということは成り立つ
事実18: この教育条件は期待出来るしそれは救える
事実19: 「この教育条件はうざいがしかしうら若しない」ということは本当だ
事実20: この盤ゲームは薬臭い
事実21: もしこの教育条件が救えればこの盤ゲームはむさくるしい
事実22: 「広いということはない」物はある

仮説: あの覚え書きは広いけれどそれはうざくない
1. 事実18から、推論1: "この教育条件は救える"が導かれる
2. 推論1と事実21から、推論2: "この盤ゲームはむさくるしい"が導かれる
3. 事実12から、推論3: "この盤ゲームがむさくるしいとすると嘆くということはなくてそれは二百床以上である"が導かれる
4. 推論2と推論3から、推論4: "この盤ゲームは嘆かないが二百床以上だ"が導かれる
5. 推論4から、推論5: "何かは嘆かないが二百床以上だ"が導かれる
6. 推論5と事実2から、推論6: "あの覚え書きは痩せ難いということはない"が導かれる
7. 推論6と事実13から、仮説が導かれる

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