「もしも「古し」ということは成り立つとすれば興奮し過ぎるし招き易くない」ものはある
fact1: とある物は古しなら「興奮し過ぎないしまた招き易い」ということは真実でない fact2: 仮になんらかの物は祇園祭りでないならばそれは興奮し過ぎるということはなくてしかも招き易くない fact3: 「もし古しとすると興奮し過ぎる」ものはある fact4: この司教達は犯し難い fact5: もしもこの司教達が古しならばそれは興奮し過ぎる fact6: あの出題数は古し fact7: 「「仮に古しとすると招き易いということはない」物はある」ということは真実である fact8: 「もし仮に「この司教達は胚盤胞移植でないが招き易い」ということは事実と異なるとすればこの司教達は招き易くない」ということは確かだ fact9: この司教達は祇園祭りだ fact10: 仮に「この司教達はアメカジでない」ということは真実であるとすると「このアクセス解析データは次位だということはなくてしかも御饅頭でない」ということは成り立たない fact11: 「このアクセス解析データは次位でなくて御饅頭であるということはない」ということは事実と異なるとすると祇園祭りでない fact12: 「この司教達は胚盤胞移植でないけれどそれは招き易い」ということは成り立たない fact13: 仮になにかは販売開始であるとするとそれはアメカジでない fact14: もし仮に「あるものは興奮し過ぎない」ということは成り立つとすれば古しし胚盤胞移植だ fact15: 「胚盤胞移植だとしたら「古し」ということは確かである」物はある fact16: 「「古し」ということは嘘でないなら興奮し過ぎるし招き易い」ものはある fact17: 「「もし仮に捕まえるとすれば生い立ちでない」ものはある」ということは事実だ
void -> assump1: 以下のように仮定する。この司教達は古し; fact5 & assump1 -> int1: この司教達は興奮し過ぎる; fact12 & fact8 -> int2: この司教達は招き易くない; int1 & int2 -> int3: この司教達は興奮し過ぎるが招き易くない; [assump1] & int3 -> int4: この司教達が古しなら興奮し過ぎるが招き易くない; int4 -> hypothesis;
このアクセス解析データは胚盤胞移植である
fact18 -> int5: もし仮にこのアクセス解析データが興奮し過ぎないとすると古しししかも胚盤胞移植だ; fact21 -> int6: もし「このアクセス解析データは祇園祭りである」ということは成り立つということはないとしたら興奮し過ぎなくてそれは招き易いということはない; fact19 -> int7: 仮にこの司教達が販売開始だとするとアメカジでない;
$facts$ = fact1: とある物は古しなら「興奮し過ぎないしまた招き易い」ということは真実でない fact2: 仮になんらかの物は祇園祭りでないならばそれは興奮し過ぎるということはなくてしかも招き易くない fact3: 「もし古しとすると興奮し過ぎる」ものはある fact4: この司教達は犯し難い fact5: もしもこの司教達が古しならばそれは興奮し過ぎる fact6: あの出題数は古し fact7: 「「仮に古しとすると招き易いということはない」物はある」ということは真実である fact8: 「もし仮に「この司教達は胚盤胞移植でないが招き易い」ということは事実と異なるとすればこの司教達は招き易くない」ということは確かだ fact9: この司教達は祇園祭りだ fact10: 仮に「この司教達はアメカジでない」ということは真実であるとすると「このアクセス解析データは次位だということはなくてしかも御饅頭でない」ということは成り立たない fact11: 「このアクセス解析データは次位でなくて御饅頭であるということはない」ということは事実と異なるとすると祇園祭りでない fact12: 「この司教達は胚盤胞移植でないけれどそれは招き易い」ということは成り立たない fact13: 仮になにかは販売開始であるとするとそれはアメカジでない fact14: もし仮に「あるものは興奮し過ぎない」ということは成り立つとすれば古しし胚盤胞移植だ fact15: 「胚盤胞移植だとしたら「古し」ということは確かである」物はある fact16: 「「古し」ということは嘘でないなら興奮し過ぎるし招き易い」ものはある fact17: 「「もし仮に捕まえるとすれば生い立ちでない」ものはある」ということは事実だ ; $hypothesis$ = 「もしも「古し」ということは成り立つとすれば興奮し過ぎるし招き易くない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この司教達は古し; fact5 & assump1 -> int1: この司教達は興奮し過ぎる; fact12 & fact8 -> 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: 「「もし仮に捕まえるとすれば生い立ちでない」ものはある」ということは事実だ

仮説: 「もしも「古し」ということは成り立つとすれば興奮し過ぎるし招き易くない」ものはある
1. 仮定1: 以下のように仮定する。この司教達は古し
2. 事実5と仮定1から、推論1: "この司教達は興奮し過ぎる"が導かれる
3. 事実12と事実8から、推論2: "この司教達は招き易くない"が導かれる
4. 推論1と推論2から、推論3: "この司教達は興奮し過ぎるが招き易くない"が導かれる
5. [仮定1]と推論3から、推論4: "この司教達が古しなら興奮し過ぎるが招き易くない"が導かれる
6. 推論4から、仮説が導かれる

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