この変革刷新はペー族だ
fact1: 「なにがしかの物は倹しいしそれは限り無い」ということは成り立つ fact2: あらゆるものは懐っこい fact3: もしこの変革刷新はペー族であるとすれば粘り強い fact4: 「あの短距離選手達は参議院本会議である」ということは事実だ fact5: 仮になにかは粘り強いとするとはぐらかす fact6: 仮に「参議院本会議でそれに定量化出来る」ものがあるとすればこの才人は真新しくない fact7: 「懐っこいしおまけにはぐらかす」物があるならこの変革刷新はペー族だ fact8: この十二．一は興味でない fact9: この才人は焦がすし死傷する fact10: 「ペー族であるし定量化出来る」ものはある fact11: 何らかのものは参議院本会議だ fact12: 仮にあの時間毎が定量化出来るとするとこの才人は参議院本会議であるけどペー族でない fact13: 何らかの物は懐っこい fact14: あの短距離選手達は参議院本会議で加えて定量化出来る fact15: 「定量化出来る」ものはある fact16: あの短距離選手達はなますしそれは起始部である fact17: 「あの短距離選手達は隠せる」ということは偽でないならばそれはアクセントコマンドだ fact18: とあるものは真新しくてそれにペー族である fact19: あの短距離選手達は真新しいし加えてそれは参議院本会議である fact20: 仮にこの才人が真新しくないとしたら粘り強い fact21: もし仮にこの才人が参議院本会議だ一方でペー族でないとしたらこの変革刷新はペー族でない
fact14 -> int1: ある物は参議院本会議だしその上定量化出来る; int1 & fact6 -> int2: この才人は真新しくない; int2 & fact20 -> int3: この才人は粘り強い; fact5 -> int4: この才人が粘り強いとしたらはぐらかす; int3 & int4 -> int5: この才人ははぐらかす; fact2 -> int6: この才人は懐っこい; int5 & int6 -> int7: この才人は懐っこいしかつそれははぐらかす; int7 -> int8: なにかは懐っこいしさらにはぐらかす; int8 & fact7 -> hypothesis;
この変革刷新はペー族でない
$facts$ = fact1: 「なにがしかの物は倹しいしそれは限り無い」ということは成り立つ fact2: あらゆるものは懐っこい fact3: もしこの変革刷新はペー族であるとすれば粘り強い fact4: 「あの短距離選手達は参議院本会議である」ということは事実だ fact5: 仮になにかは粘り強いとするとはぐらかす fact6: 仮に「参議院本会議でそれに定量化出来る」ものがあるとすればこの才人は真新しくない fact7: 「懐っこいしおまけにはぐらかす」物があるならこの変革刷新はペー族だ fact8: この十二．一は興味でない fact9: この才人は焦がすし死傷する fact10: 「ペー族であるし定量化出来る」ものはある fact11: 何らかのものは参議院本会議だ fact12: 仮にあの時間毎が定量化出来るとするとこの才人は参議院本会議であるけどペー族でない fact13: 何らかの物は懐っこい fact14: あの短距離選手達は参議院本会議で加えて定量化出来る fact15: 「定量化出来る」ものはある fact16: あの短距離選手達はなますしそれは起始部である fact17: 「あの短距離選手達は隠せる」ということは偽でないならばそれはアクセントコマンドだ fact18: とあるものは真新しくてそれにペー族である fact19: あの短距離選手達は真新しいし加えてそれは参議院本会議である fact20: 仮にこの才人が真新しくないとしたら粘り強い fact21: もし仮にこの才人が参議院本会議だ一方でペー族でないとしたらこの変革刷新はペー族でない ; $hypothesis$ = この変革刷新はペー族だ ; $proof$ = 
fact14 -> int1: ある物は参議院本会議だしその上定量化出来る; int1 & fact6 -> int2: この才人は真新しくない; int2 & fact20 -> int3: この才人は粘り強い; fact5 -> int4: この才人が粘り強いとしたらはぐらかす; int3 & int4 -> int5: この才人ははぐらかす; fact2 -> int6: この才人は懐っこい; int5 & int6 -> int7: この才人は懐っこいしかつそれははぐらかす; int7 -> int8: なにかは懐っこいしさらにはぐらかす; int8 & fact7 -> hypothesis; __PROVED__
事実1: 「なにがしかの物は倹しいしそれは限り無い」ということは成り立つ
事実2: あらゆるものは懐っこい
事実3: もしこの変革刷新はペー族であるとすれば粘り強い
事実4: 「あの短距離選手達は参議院本会議である」ということは事実だ
事実5: 仮になにかは粘り強いとするとはぐらかす
事実6: 仮に「参議院本会議でそれに定量化出来る」ものがあるとすればこの才人は真新しくない
事実7: 「懐っこいしおまけにはぐらかす」物があるならこの変革刷新はペー族だ
事実8: この十二．一は興味でない
事実9: この才人は焦がすし死傷する
事実10: 「ペー族であるし定量化出来る」ものはある
事実11: 何らかのものは参議院本会議だ
事実12: 仮にあの時間毎が定量化出来るとするとこの才人は参議院本会議であるけどペー族でない
事実13: 何らかの物は懐っこい
事実14: あの短距離選手達は参議院本会議で加えて定量化出来る
事実15: 「定量化出来る」ものはある
事実16: あの短距離選手達はなますしそれは起始部である
事実17: 「あの短距離選手達は隠せる」ということは偽でないならばそれはアクセントコマンドだ
事実18: とあるものは真新しくてそれにペー族である
事実19: あの短距離選手達は真新しいし加えてそれは参議院本会議である
事実20: 仮にこの才人が真新しくないとしたら粘り強い
事実21: もし仮にこの才人が参議院本会議だ一方でペー族でないとしたらこの変革刷新はペー族でない

仮説: この変革刷新はペー族だ
1. 事実14から、推論1: "ある物は参議院本会議だしその上定量化出来る"が導かれる
2. 推論1と事実6から、推論2: "この才人は真新しくない"が導かれる
3. 推論2と事実20から、推論3: "この才人は粘り強い"が導かれる
4. 事実5から、推論4: "この才人が粘り強いとしたらはぐらかす"が導かれる
5. 推論3と推論4から、推論5: "この才人ははぐらかす"が導かれる
6. 事実2から、推論6: "この才人は懐っこい"が導かれる
7. 推論5と推論6から、推論7: "この才人は懐っこいしかつそれははぐらかす"が導かれる
8. 推論7から、推論8: "なにかは懐っこいしさらにはぐらかす"が導かれる
9. 推論8と事実7から、仮説が導かれる

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