「あの太陽黒点は帳簿価額でない」ということは成り立つ
fact1: あの太陽黒点は震え出さない fact2: 「あの太陽黒点は震え出すがしかし見過ごし難くない」ということは間違いである fact3: 仮になにかは震え出さないし加えてそれが見過ごし難くないならそれは帳簿価額でない fact4: もし仮にこの白衣が見過ごし難い一方でそれが響き合うということはないとしたらそれは帳簿価額でない fact5: 仮に「「十二月以前だ」ということは間違いでない」ものはあるとしたら「この白衣は弾き易いということはないけどブランシールする」ということは間違いである fact6: この夕暮れ時はアンバーでない fact7: この白衣は響き合わない fact8: 仮に「そのスポーツ用品は下喉頭神経でなくて実験者でない」ということは偽であるとすればあの弟子旦那はパーミッションでない fact9: もし仮に「あの太陽黒点は帳簿価額でないし響き合わない」ということは成り立たないならこの白衣は震え出す fact10: もしもこの諜報員が把握し辛いということはないならそのスポーツ用品は平絹でない fact11: もし「この白衣は帳簿価額でなくてそれは震え出すということはない」ということは偽ならあの太陽黒点は響き合う fact12: 仮にあの太陽黒点が震え出すとしたらこの白衣は響き合う fact13: もし仮になんらかのものは平絹でないとしたら「それは下喉頭神経でないししかも実験者でない」ということは間違いである fact14: もしもこの夕暮れ時はアンバーでないとしたら「それは把握し辛くて女々しい」ということは事実と異なる fact15: 仮に「ある物は弾き易くないけれどブランシールする」ということは間違っているとしたらそれは帳簿価額である fact16: 「あの太陽黒点は震え出さなくてしかも見過ごし難くない」ということは嘘ならこの白衣は響き合う fact17: もしとある物はパーミッションでないとすると比較し難いしまた十二月以前である fact18: もしも「「把握し辛くてそれに女々しい」ということは誤っている」物があるとすればこの諜報員は把握し辛いということはない fact19: もし仮にこの白衣は帳簿価額だとしたら「あの太陽黒点は近世国家でないししかも響き合うということはない」ということは偽だ
void -> assump1: 以下のように仮定する。「あの太陽黒点は震え出さなくて見過ごし難くない」ということは成り立たない; fact16 & assump1 -> int1: この白衣は響き合う; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの太陽黒点は震え出さないしさらに見過ごし難くない; fact3 -> int4: あの太陽黒点は震え出さなくておまけに見過ごし難くないなら帳簿価額でない; int3 & int4 -> hypothesis;
「あの太陽黒点は近世国家でないしさらにそれは響き合わない」ということは成り立たない
fact23 -> int5: 仮に「この白衣は弾き易くないけれどブランシールする」ということは嘘ならそれは帳簿価額である; fact25 -> int6: その弟子旦那がパーミッションでないとしたらそれは比較し難いし更にそれは十二月以前だ; fact26 -> int7: もしそのスポーツ用品は平絹だということはないとすると「それは下喉頭神経だということはないしそれは実験者でない」ということは成り立たない; fact21 & fact20 -> int8: 「この夕暮れ時は把握し辛くてそれにそれは女々しい」ということは成り立たない; int8 -> int9: 「「把握し辛いしその上女々しい」ということは誤っている」物はある; int9 & fact24 -> int10: この諜報員は把握し辛くない; fact29 & int10 -> int11: そのスポーツ用品は平絹でない; int7 & int11 -> int12: 「「そのスポーツ用品は下喉頭神経でないしさらに実験者でない」ということは成り立たない」ということは成り立つ; fact27 & int12 -> int13: その弟子旦那はパーミッションであるということはない; int6 & int13 -> int14: その弟子旦那は比較し難くて十二月以前である; int14 -> int15: その弟子旦那は十二月以前である; int15 -> int16: 十二月以前はある; int16 & fact28 -> int17: 「この白衣は弾き易くないがしかしブランシールする」ということは成り立たない; int5 & int17 -> int18: この白衣は帳簿価額だ; fact22 & int18 -> hypothesis;
$facts$ = fact1: あの太陽黒点は震え出さない fact2: 「あの太陽黒点は震え出すがしかし見過ごし難くない」ということは間違いである fact3: 仮になにかは震え出さないし加えてそれが見過ごし難くないならそれは帳簿価額でない fact4: もし仮にこの白衣が見過ごし難い一方でそれが響き合うということはないとしたらそれは帳簿価額でない fact5: 仮に「「十二月以前だ」ということは間違いでない」ものはあるとしたら「この白衣は弾き易いということはないけどブランシールする」ということは間違いである fact6: この夕暮れ時はアンバーでない fact7: この白衣は響き合わない fact8: 仮に「そのスポーツ用品は下喉頭神経でなくて実験者でない」ということは偽であるとすればあの弟子旦那はパーミッションでない fact9: もし仮に「あの太陽黒点は帳簿価額でないし響き合わない」ということは成り立たないならこの白衣は震え出す fact10: もしもこの諜報員が把握し辛いということはないならそのスポーツ用品は平絹でない fact11: もし「この白衣は帳簿価額でなくてそれは震え出すということはない」ということは偽ならあの太陽黒点は響き合う fact12: 仮にあの太陽黒点が震え出すとしたらこの白衣は響き合う fact13: もし仮になんらかのものは平絹でないとしたら「それは下喉頭神経でないししかも実験者でない」ということは間違いである fact14: もしもこの夕暮れ時はアンバーでないとしたら「それは把握し辛くて女々しい」ということは事実と異なる fact15: 仮に「ある物は弾き易くないけれどブランシールする」ということは間違っているとしたらそれは帳簿価額である fact16: 「あの太陽黒点は震え出さなくてしかも見過ごし難くない」ということは嘘ならこの白衣は響き合う fact17: もしとある物はパーミッションでないとすると比較し難いしまた十二月以前である fact18: もしも「「把握し辛くてそれに女々しい」ということは誤っている」物があるとすればこの諜報員は把握し辛いということはない fact19: もし仮にこの白衣は帳簿価額だとしたら「あの太陽黒点は近世国家でないししかも響き合うということはない」ということは偽だ ; $hypothesis$ = 「あの太陽黒点は帳簿価額でない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの太陽黒点は震え出さなくて見過ごし難くない」ということは成り立たない; fact16 & assump1 -> int1: この白衣は響き合う; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの太陽黒点は震え出さないしさらに見過ごし難くない; fact3 -> int4: あの太陽黒点は震え出さなくておまけに見過ごし難くないなら帳簿価額でない; int3 & int4 -> hypothesis; __PROVED__
事実1: あの太陽黒点は震え出さない
事実2: 「あの太陽黒点は震え出すがしかし見過ごし難くない」ということは間違いである
事実3: 仮になにかは震え出さないし加えてそれが見過ごし難くないならそれは帳簿価額でない
事実4: もし仮にこの白衣が見過ごし難い一方でそれが響き合うということはないとしたらそれは帳簿価額でない
事実5: 仮に「「十二月以前だ」ということは間違いでない」ものはあるとしたら「この白衣は弾き易いということはないけどブランシールする」ということは間違いである
事実6: この夕暮れ時はアンバーでない
事実7: この白衣は響き合わない
事実8: 仮に「そのスポーツ用品は下喉頭神経でなくて実験者でない」ということは偽であるとすればあの弟子旦那はパーミッションでない
事実9: もし仮に「あの太陽黒点は帳簿価額でないし響き合わない」ということは成り立たないならこの白衣は震え出す
事実10: もしもこの諜報員が把握し辛いということはないならそのスポーツ用品は平絹でない
事実11: もし「この白衣は帳簿価額でなくてそれは震え出すということはない」ということは偽ならあの太陽黒点は響き合う
事実12: 仮にあの太陽黒点が震え出すとしたらこの白衣は響き合う
事実13: もし仮になんらかのものは平絹でないとしたら「それは下喉頭神経でないししかも実験者でない」ということは間違いである
事実14: もしもこの夕暮れ時はアンバーでないとしたら「それは把握し辛くて女々しい」ということは事実と異なる
事実15: 仮に「ある物は弾き易くないけれどブランシールする」ということは間違っているとしたらそれは帳簿価額である
事実16: 「あの太陽黒点は震え出さなくてしかも見過ごし難くない」ということは嘘ならこの白衣は響き合う
事実17: もしとある物はパーミッションでないとすると比較し難いしまた十二月以前である
事実18: もしも「「把握し辛くてそれに女々しい」ということは誤っている」物があるとすればこの諜報員は把握し辛いということはない
事実19: もし仮にこの白衣は帳簿価額だとしたら「あの太陽黒点は近世国家でないししかも響き合うということはない」ということは偽だ

仮説: 「あの太陽黒点は帳簿価額でない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの太陽黒点は震え出さなくて見過ごし難くない」ということは成り立たない
2. 事実16と仮定1から、推論1: "この白衣は響き合う"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの太陽黒点は震え出さないしさらに見過ごし難くない"が導かれる
5. 事実3から、推論4: "あの太陽黒点は震え出さなくておまけに見過ごし難くないなら帳簿価額でない"が導かれる
6. 推論3と推論4から、仮説が導かれる

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