「もし仮に普通人であるなら会議だがしかし世でない」ものはある
fact1: 人恋しい物は会議であるがしかし世だということはない fact2: その数千人が普通人だとすればそれは人恋しい fact3: もし仮にその数千人は人恋しいならば「それは会議である」ということは事実だ fact4: 「「あの夜分は出血量でないが人恋しい」ということは成り立たないとすればその数千人は人恋しいということはない」ということは本当だ fact5: その数千人は悲しめる fact6: 「もし仮に説明し易いなら突っ張らない」物はある fact7: 「その大陸地殻は世でない」ということは事実だ fact8: もしこのボイスレコーダーが得であるならばそれはスイッチしなくておまけにそれは普通人でない fact9: 「無理無いならば「思考方法だ」ということは本当な」物はある fact10: その数千人は潜る fact11: 精密は潜る一方で説明し易くない fact12: 仮にその数千人が緑茶購入価格なら漏れであるけど確立・整備しない fact13: 「世界な」ものはある fact14: もしもその数千人が会議でなくて世でないとするとこのボイスレコーダーは世である fact15: 「漕ぎ出すとすれば悲しめるし更に監視し易い」ものはある fact16: 「仮に末恐ろしいならば列座するししかも軽し」ものはある fact17: 鋭いものは脆いということはない fact18: 「「出血量だ」ということは事実である」物はある
void -> assump1: 以下のように仮定する。「その数千人は普通人だ」ということは成り立つ; fact2 & assump1 -> int1: その数千人は人恋しい; fact1 -> int2: 仮にその数千人が人恋しいならば会議であるし加えて世でない; int1 & int2 -> int3: その数千人は会議であるけれどそれは世だということはない; [assump1] & int3 -> int4: 仮にその数千人が普通人ならそれは会議でそれは世でない; int4 -> hypothesis;
このボイスレコーダーは世だけどスイッチしない
$facts$ = fact1: 人恋しい物は会議であるがしかし世だということはない fact2: その数千人が普通人だとすればそれは人恋しい fact3: もし仮にその数千人は人恋しいならば「それは会議である」ということは事実だ fact4: 「「あの夜分は出血量でないが人恋しい」ということは成り立たないとすればその数千人は人恋しいということはない」ということは本当だ fact5: その数千人は悲しめる fact6: 「もし仮に説明し易いなら突っ張らない」物はある fact7: 「その大陸地殻は世でない」ということは事実だ fact8: もしこのボイスレコーダーが得であるならばそれはスイッチしなくておまけにそれは普通人でない fact9: 「無理無いならば「思考方法だ」ということは本当な」物はある fact10: その数千人は潜る fact11: 精密は潜る一方で説明し易くない fact12: 仮にその数千人が緑茶購入価格なら漏れであるけど確立・整備しない fact13: 「世界な」ものはある fact14: もしもその数千人が会議でなくて世でないとするとこのボイスレコーダーは世である fact15: 「漕ぎ出すとすれば悲しめるし更に監視し易い」ものはある fact16: 「仮に末恐ろしいならば列座するししかも軽し」ものはある fact17: 鋭いものは脆いということはない fact18: 「「出血量だ」ということは事実である」物はある ; $hypothesis$ = 「もし仮に普通人であるなら会議だがしかし世でない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「その数千人は普通人だ」ということは成り立つ; fact2 & assump1 -> int1: その数千人は人恋しい; fact1 -> int2: 仮にその数千人が人恋しいならば会議であるし加えて世でない; int1 & int2 -> int3: その数千人は会議であるけれどそれは世だということはない; [assump1] & int3 -> int4: 仮にその数千人が普通人ならそれは会議でそれは世でない; int4 -> hypothesis; __PROVED__
事実1: 人恋しい物は会議であるがしかし世だということはない
事実2: その数千人が普通人だとすればそれは人恋しい
事実3: もし仮にその数千人は人恋しいならば「それは会議である」ということは事実だ
事実4: 「「あの夜分は出血量でないが人恋しい」ということは成り立たないとすればその数千人は人恋しいということはない」ということは本当だ
事実5: その数千人は悲しめる
事実6: 「もし仮に説明し易いなら突っ張らない」物はある
事実7: 「その大陸地殻は世でない」ということは事実だ
事実8: もしこのボイスレコーダーが得であるならばそれはスイッチしなくておまけにそれは普通人でない
事実9: 「無理無いならば「思考方法だ」ということは本当な」物はある
事実10: その数千人は潜る
事実11: 精密は潜る一方で説明し易くない
事実12: 仮にその数千人が緑茶購入価格なら漏れであるけど確立・整備しない
事実13: 「世界な」ものはある
事実14: もしもその数千人が会議でなくて世でないとするとこのボイスレコーダーは世である
事実15: 「漕ぎ出すとすれば悲しめるし更に監視し易い」ものはある
事実16: 「仮に末恐ろしいならば列座するししかも軽し」ものはある
事実17: 鋭いものは脆いということはない
事実18: 「「出血量だ」ということは事実である」物はある

仮説: 「もし仮に普通人であるなら会議だがしかし世でない」ものはある
1. 仮定1: 以下のように仮定する。「その数千人は普通人だ」ということは成り立つ
2. 事実2と仮定1から、推論1: "その数千人は人恋しい"が導かれる
3. 事実1から、推論2: "仮にその数千人が人恋しいならば会議であるし加えて世でない"が導かれる
4. 推論1と推論2から、推論3: "その数千人は会議であるけれどそれは世だということはない"が導かれる
5. [仮定1]と推論3から、推論4: "仮にその数千人が普通人ならそれは会議でそれは世でない"が導かれる
6. 推論4から、仮説が導かれる

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