あの課税標準等は起き難くない
fact1: その欠陥はハッピー・エンドだ fact2: あの課税標準等は投げ打つということはない fact3: もしもある物が長ったらしくないならばそのタペストリーは投げ打つしまた慟哭する fact4: 仮に「何かは慟哭しないけれど長ったらしい」ということは事実と異なるならそれは慟哭する fact5: その佐々木質問は引火しない一方で戦く fact6: もしもその欠陥が慟哭するとすればその佐々木質問は長ったらしい fact7: もし仮に何らかの物はハッピー・エンドだとすると「起き難くないし加えて登録しない」ということは成り立つということはない fact8: 仮にその欠陥が慟哭するとするとその佐々木質問は慟哭する fact9: その欠陥が起き難いとすればその佐々木質問は起き難い fact10: その欠陥は割り切りだ fact11: その欠陥は来辛くないがしかしハッピー・エンドだとするとそれは登録する fact12: 仮に何らかの物がハッピー・エンドだということはないとすればそれは登録しない一方で来辛い fact13: その佐々木質問は登録する fact14: もし仮になんらかのものが投げ打つし加えて慟哭するなら来辛くない fact15: もしその欠陥は割り切りだとすれば「それは貫徹するけれど生まれ難くない」ということは正しくない fact16: その佐々木質問は慟哭する fact17: その欠陥は来辛くないけどハッピー・エンドである fact18: もしも「その欠陥は貫徹するが生まれ難いということはない」ということは事実と異なるとしたらその佐々木質問は拭い難い fact19: その佐々木質問は投げ打つししかもそれは慟哭する fact20: もしある物は登録するということはないとすると「慟哭しなくてしかも長ったらしい」ということは間違いだ fact21: もしその佐々木質問が投げ打たないか起き難くないならばあの課税標準等は起き難い fact22: その佐々木質問はハッピー・エンドである fact23: 仮にその欠陥が長ったらしいしかつ登録するとしたらあの課税標準等は起き難くない fact24: 拭い難い物はハッピー・エンドである fact25: その佐々木質問が投げ打つとすればあの欠陥は長ったらしい
fact19 -> int1: その佐々木質問は投げ打つ; int1 & fact25 -> int2: その欠陥は長ったらしい; fact11 & fact17 -> int3: その欠陥は登録する; int2 & int3 -> int4: その欠陥は長ったらしいししかも登録する; int4 & fact23 -> hypothesis;
あの課税標準等は起き難い
fact27 -> int5: 仮に「その欠陥は慟哭しないけど長ったらしい」ということは成り立たないならばそれは慟哭する; fact29 -> int6: 仮にその欠陥は登録しないとしたら「慟哭しないしかつ長ったらしい」ということは成り立たない; fact30 -> int7: もし仮にその欠陥はハッピー・エンドだということはないとしたら「それは登録しないしかつそれは来辛い」ということは真実だ;
$facts$ = fact1: その欠陥はハッピー・エンドだ fact2: あの課税標準等は投げ打つということはない fact3: もしもある物が長ったらしくないならばそのタペストリーは投げ打つしまた慟哭する fact4: 仮に「何かは慟哭しないけれど長ったらしい」ということは事実と異なるならそれは慟哭する fact5: その佐々木質問は引火しない一方で戦く fact6: もしもその欠陥が慟哭するとすればその佐々木質問は長ったらしい fact7: もし仮に何らかの物はハッピー・エンドだとすると「起き難くないし加えて登録しない」ということは成り立つということはない fact8: 仮にその欠陥が慟哭するとするとその佐々木質問は慟哭する fact9: その欠陥が起き難いとすればその佐々木質問は起き難い fact10: その欠陥は割り切りだ fact11: その欠陥は来辛くないがしかしハッピー・エンドだとするとそれは登録する fact12: 仮に何らかの物がハッピー・エンドだということはないとすればそれは登録しない一方で来辛い fact13: その佐々木質問は登録する fact14: もし仮になんらかのものが投げ打つし加えて慟哭するなら来辛くない fact15: もしその欠陥は割り切りだとすれば「それは貫徹するけれど生まれ難くない」ということは正しくない fact16: その佐々木質問は慟哭する fact17: その欠陥は来辛くないけどハッピー・エンドである fact18: もしも「その欠陥は貫徹するが生まれ難いということはない」ということは事実と異なるとしたらその佐々木質問は拭い難い fact19: その佐々木質問は投げ打つししかもそれは慟哭する fact20: もしある物は登録するということはないとすると「慟哭しなくてしかも長ったらしい」ということは間違いだ fact21: もしその佐々木質問が投げ打たないか起き難くないならばあの課税標準等は起き難い fact22: その佐々木質問はハッピー・エンドである fact23: 仮にその欠陥が長ったらしいしかつ登録するとしたらあの課税標準等は起き難くない fact24: 拭い難い物はハッピー・エンドである fact25: その佐々木質問が投げ打つとすればあの欠陥は長ったらしい ; $hypothesis$ = あの課税標準等は起き難くない ; $proof$ = 
fact19 -> int1: その佐々木質問は投げ打つ; int1 & fact25 -> int2: その欠陥は長ったらしい; fact11 & fact17 -> int3: その欠陥は登録する; int2 & int3 -> int4: その欠陥は長ったらしいししかも登録する; int4 & fact23 -> hypothesis; __PROVED__
事実1: その欠陥はハッピー・エンドだ
事実2: あの課税標準等は投げ打つということはない
事実3: もしもある物が長ったらしくないならばそのタペストリーは投げ打つしまた慟哭する
事実4: 仮に「何かは慟哭しないけれど長ったらしい」ということは事実と異なるならそれは慟哭する
事実5: その佐々木質問は引火しない一方で戦く
事実6: もしもその欠陥が慟哭するとすればその佐々木質問は長ったらしい
事実7: もし仮に何らかの物はハッピー・エンドだとすると「起き難くないし加えて登録しない」ということは成り立つということはない
事実8: 仮にその欠陥が慟哭するとするとその佐々木質問は慟哭する
事実9: その欠陥が起き難いとすればその佐々木質問は起き難い
事実10: その欠陥は割り切りだ
事実11: その欠陥は来辛くないがしかしハッピー・エンドだとするとそれは登録する
事実12: 仮に何らかの物がハッピー・エンドだということはないとすればそれは登録しない一方で来辛い
事実13: その佐々木質問は登録する
事実14: もし仮になんらかのものが投げ打つし加えて慟哭するなら来辛くない
事実15: もしその欠陥は割り切りだとすれば「それは貫徹するけれど生まれ難くない」ということは正しくない
事実16: その佐々木質問は慟哭する
事実17: その欠陥は来辛くないけどハッピー・エンドである
事実18: もしも「その欠陥は貫徹するが生まれ難いということはない」ということは事実と異なるとしたらその佐々木質問は拭い難い
事実19: その佐々木質問は投げ打つししかもそれは慟哭する
事実20: もしある物は登録するということはないとすると「慟哭しなくてしかも長ったらしい」ということは間違いだ
事実21: もしその佐々木質問が投げ打たないか起き難くないならばあの課税標準等は起き難い
事実22: その佐々木質問はハッピー・エンドである
事実23: 仮にその欠陥が長ったらしいしかつ登録するとしたらあの課税標準等は起き難くない
事実24: 拭い難い物はハッピー・エンドである
事実25: その佐々木質問が投げ打つとすればあの欠陥は長ったらしい

仮説: あの課税標準等は起き難くない
1. 事実19から、推論1: "その佐々木質問は投げ打つ"が導かれる
2. 推論1と事実25から、推論2: "その欠陥は長ったらしい"が導かれる
3. 事実11と事実17から、推論3: "その欠陥は登録する"が導かれる
4. 推論2と推論3から、推論4: "その欠陥は長ったらしいししかも登録する"が導かれる
5. 推論4と事実23から、仮説が導かれる

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