あの碑文・文芸アカデミー会員は内容物である
fact1: もしもこの端株が恭しくないしそれが黒しないとしたらあの流通・取り引き慣行ガイドラインは満足出来ない fact2: もし仮にこの端株が内容物ならあの碑文・文芸アカデミー会員は内容物だ fact3: 仮にそのアメリカ流が相互直通しないならばそれは益無ししそれは恭しい fact4: この端株は恭しくてそれは益無し fact5: 仮にあの流通・取り引き慣行ガイドラインが黒しないとすればそのアメリカ流は相互直通しない fact6: 仮にそのアメリカ流が黒しということはないならあの流通・取り引き慣行ガイドラインは黒しないしおまけに満足出来ない fact7: この端株は満足出来る fact8: この端株は恭しい fact9: 「心置き無い」ものはある fact10: もし仮に「なにがしかの物は心置き無くない」ということは正しいならば「この端株は相互直通する」ということは成り立つ fact11: とある物は心置き無くない fact12: あの流通・取り引き慣行ガイドラインは黒しない fact13: もしもあの流通・取り引き慣行ガイドラインが黒し一方で満足出来るということはないとしたらあの碑文・文芸アカデミー会員は内容物でない fact14: もしもあの流通・取り引き慣行ガイドラインが黒しないしそれにそれが満足出来ないとしたらあの碑文・文芸アカデミー会員は内容物でない fact15: 「もし仮にこの端株が益無しししかもそれが相互直通するとしたらそのアメリカ流は黒しない」ということは事実である fact16: そのアメリカ流は内容物であるし宗教画である fact17: もしもそのアメリカ流が黒しということはないならばあの流通・取り引き慣行ガイドラインは黒しない
fact4 -> int1: 「この端株は益無し」ということは事実である; fact10 & fact11 -> int2: この端株は相互直通する; int1 & int2 -> int3: この端株は益無ししおまけに相互直通する; int3 & fact15 -> int4: そのアメリカ流は黒しない; int4 & fact6 -> int5: あの流通・取り引き慣行ガイドラインは黒しないし加えて満足出来ない; int5 & fact14 -> hypothesis;
あの碑文・文芸アカデミー会員は内容物である
$facts$ = fact1: もしもこの端株が恭しくないしそれが黒しないとしたらあの流通・取り引き慣行ガイドラインは満足出来ない fact2: もし仮にこの端株が内容物ならあの碑文・文芸アカデミー会員は内容物だ fact3: 仮にそのアメリカ流が相互直通しないならばそれは益無ししそれは恭しい fact4: この端株は恭しくてそれは益無し fact5: 仮にあの流通・取り引き慣行ガイドラインが黒しないとすればそのアメリカ流は相互直通しない fact6: 仮にそのアメリカ流が黒しということはないならあの流通・取り引き慣行ガイドラインは黒しないしおまけに満足出来ない fact7: この端株は満足出来る fact8: この端株は恭しい fact9: 「心置き無い」ものはある fact10: もし仮に「なにがしかの物は心置き無くない」ということは正しいならば「この端株は相互直通する」ということは成り立つ fact11: とある物は心置き無くない fact12: あの流通・取り引き慣行ガイドラインは黒しない fact13: もしもあの流通・取り引き慣行ガイドラインが黒し一方で満足出来るということはないとしたらあの碑文・文芸アカデミー会員は内容物でない fact14: もしもあの流通・取り引き慣行ガイドラインが黒しないしそれにそれが満足出来ないとしたらあの碑文・文芸アカデミー会員は内容物でない fact15: 「もし仮にこの端株が益無しししかもそれが相互直通するとしたらそのアメリカ流は黒しない」ということは事実である fact16: そのアメリカ流は内容物であるし宗教画である fact17: もしもそのアメリカ流が黒しということはないならばあの流通・取り引き慣行ガイドラインは黒しない ; $hypothesis$ = あの碑文・文芸アカデミー会員は内容物である ; $proof$ = 
fact4 -> int1: 「この端株は益無し」ということは事実である; fact10 & fact11 -> int2: この端株は相互直通する; int1 & int2 -> int3: この端株は益無ししおまけに相互直通する; int3 & fact15 -> int4: そのアメリカ流は黒しない; int4 & fact6 -> int5: あの流通・取り引き慣行ガイドラインは黒しないし加えて満足出来ない; int5 & fact14 -> hypothesis; __DISPROVED__
事実1: もしもこの端株が恭しくないしそれが黒しないとしたらあの流通・取り引き慣行ガイドラインは満足出来ない
事実2: もし仮にこの端株が内容物ならあの碑文・文芸アカデミー会員は内容物だ
事実3: 仮にそのアメリカ流が相互直通しないならばそれは益無ししそれは恭しい
事実4: この端株は恭しくてそれは益無し
事実5: 仮にあの流通・取り引き慣行ガイドラインが黒しないとすればそのアメリカ流は相互直通しない
事実6: 仮にそのアメリカ流が黒しということはないならあの流通・取り引き慣行ガイドラインは黒しないしおまけに満足出来ない
事実7: この端株は満足出来る
事実8: この端株は恭しい
事実9: 「心置き無い」ものはある
事実10: もし仮に「なにがしかの物は心置き無くない」ということは正しいならば「この端株は相互直通する」ということは成り立つ
事実11: とある物は心置き無くない
事実12: あの流通・取り引き慣行ガイドラインは黒しない
事実13: もしもあの流通・取り引き慣行ガイドラインが黒し一方で満足出来るということはないとしたらあの碑文・文芸アカデミー会員は内容物でない
事実14: もしもあの流通・取り引き慣行ガイドラインが黒しないしそれにそれが満足出来ないとしたらあの碑文・文芸アカデミー会員は内容物でない
事実15: 「もし仮にこの端株が益無しししかもそれが相互直通するとしたらそのアメリカ流は黒しない」ということは事実である
事実16: そのアメリカ流は内容物であるし宗教画である
事実17: もしもそのアメリカ流が黒しということはないならばあの流通・取り引き慣行ガイドラインは黒しない

仮説: あの碑文・文芸アカデミー会員は内容物である
1. 事実4から、推論1: "「この端株は益無し」ということは事実である"が導かれる
2. 事実10と事実11から、推論2: "この端株は相互直通する"が導かれる
3. 推論1と推論2から、推論3: "この端株は益無ししおまけに相互直通する"が導かれる
4. 推論3と事実15から、推論4: "そのアメリカ流は黒しない"が導かれる
5. 推論4と事実6から、推論5: "あの流通・取り引き慣行ガイドラインは黒しないし加えて満足出来ない"が導かれる
6. 推論5と事実14から、仮説が否定される

よって、仮説が否定されました。