あのレクイエムは茶色い
fact1: 「未公刊である」ものはある fact2: 「とあるものは重層するし三十六見附である」ということは成り立たないとしたら「それは重層しない」ということは事実である fact3: 「「なんらかのものは重層するし恭しい」ということは正しい」ということは成り立つならその私選弁護人は三十六見附でない fact4: 「あのガソリンは平衡関係であるししかも押さえ続ける」ということは誤っているとすると「あのレクイエムは恭しくない」ということは真実だ fact5: 「重層する」ものはある fact6: ある物が重層するし恭しいならあのガソリンは三十六見附だ fact7: 「あのレクイエムは重層する」ということは成り立つ fact8: その私選弁護人は未公刊でない fact9: この財源移譲は押さえ続ける fact10: あのレクイエムが重層しないなら幾例であるし未公刊だ fact11: 仮にあのガソリンは押さえ続けるなら「恭しい」ということは事実だ fact12: 仮に幾例が未公刊であるとしたらあのガソリンは重層する fact13: 幾例は茶色い fact14: もし仮にその私選弁護人が三十六見附であるということはないならあのレクイエムは茶色いということはない fact15: 「恭しい」物はある fact16: あのガソリンは押さえ続ける fact17: 「幾例だしそれに未公刊な」ものはある fact18: 「幾例である」ものはある
fact17 & fact12 -> int1: 「あのガソリンは重層する」ということは成り立つ; fact16 & fact11 -> int2: あのガソリンは恭しい; int1 & int2 -> int3: あのガソリンは重層するし更にそれは恭しい; int3 -> int4: 「重層するし恭しい」物はある; int4 & fact3 -> int5: その私選弁護人は三十六見附でない; int5 & fact14 -> hypothesis;
あのレクイエムは茶色い
fact22 -> int6: もし仮にあのレクイエムは幾例であるとすれば茶色い; fact19 -> int7: もし「あのレクイエムは重層するしさらに三十六見附だ」ということは間違っているとするとそれは重層しない;
$facts$ = fact1: 「未公刊である」ものはある fact2: 「とあるものは重層するし三十六見附である」ということは成り立たないとしたら「それは重層しない」ということは事実である fact3: 「「なんらかのものは重層するし恭しい」ということは正しい」ということは成り立つならその私選弁護人は三十六見附でない fact4: 「あのガソリンは平衡関係であるししかも押さえ続ける」ということは誤っているとすると「あのレクイエムは恭しくない」ということは真実だ fact5: 「重層する」ものはある fact6: ある物が重層するし恭しいならあのガソリンは三十六見附だ fact7: 「あのレクイエムは重層する」ということは成り立つ fact8: その私選弁護人は未公刊でない fact9: この財源移譲は押さえ続ける fact10: あのレクイエムが重層しないなら幾例であるし未公刊だ fact11: 仮にあのガソリンは押さえ続けるなら「恭しい」ということは事実だ fact12: 仮に幾例が未公刊であるとしたらあのガソリンは重層する fact13: 幾例は茶色い fact14: もし仮にその私選弁護人が三十六見附であるということはないならあのレクイエムは茶色いということはない fact15: 「恭しい」物はある fact16: あのガソリンは押さえ続ける fact17: 「幾例だしそれに未公刊な」ものはある fact18: 「幾例である」ものはある ; $hypothesis$ = あのレクイエムは茶色い ; $proof$ = 
fact17 & fact12 -> int1: 「あのガソリンは重層する」ということは成り立つ; fact16 & fact11 -> int2: あのガソリンは恭しい; int1 & int2 -> int3: あのガソリンは重層するし更にそれは恭しい; int3 -> int4: 「重層するし恭しい」物はある; int4 & fact3 -> int5: その私選弁護人は三十六見附でない; int5 & fact14 -> hypothesis; __DISPROVED__
事実1: 「未公刊である」ものはある
事実2: 「とあるものは重層するし三十六見附である」ということは成り立たないとしたら「それは重層しない」ということは事実である
事実3: 「「なんらかのものは重層するし恭しい」ということは正しい」ということは成り立つならその私選弁護人は三十六見附でない
事実4: 「あのガソリンは平衡関係であるししかも押さえ続ける」ということは誤っているとすると「あのレクイエムは恭しくない」ということは真実だ
事実5: 「重層する」ものはある
事実6: ある物が重層するし恭しいならあのガソリンは三十六見附だ
事実7: 「あのレクイエムは重層する」ということは成り立つ
事実8: その私選弁護人は未公刊でない
事実9: この財源移譲は押さえ続ける
事実10: あのレクイエムが重層しないなら幾例であるし未公刊だ
事実11: 仮にあのガソリンは押さえ続けるなら「恭しい」ということは事実だ
事実12: 仮に幾例が未公刊であるとしたらあのガソリンは重層する
事実13: 幾例は茶色い
事実14: もし仮にその私選弁護人が三十六見附であるということはないならあのレクイエムは茶色いということはない
事実15: 「恭しい」物はある
事実16: あのガソリンは押さえ続ける
事実17: 「幾例だしそれに未公刊な」ものはある
事実18: 「幾例である」ものはある

仮説: あのレクイエムは茶色い
1. 事実17と事実12から、推論1: "「あのガソリンは重層する」ということは成り立つ"が導かれる
2. 事実16と事実11から、推論2: "あのガソリンは恭しい"が導かれる
3. 推論1と推論2から、推論3: "あのガソリンは重層するし更にそれは恭しい"が導かれる
4. 推論3から、推論4: "「重層するし恭しい」物はある"が導かれる
5. 推論4と事実3から、推論5: "その私選弁護人は三十六見附でない"が導かれる
6. 推論5と事実14から、仮説が否定される

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