その作品名はＶ字形でない
fact1: 仮にその作品名がＶ字形だとするとあの線維束攣縮は成り掛かる fact2: もしあのヘッダーファイルが照り付けるとするとそれは外し易くない fact3: その基本特性は複数枚でないとすれば「あのヘッダーファイルは複数枚でない」ということは成り立つ fact4: あのヘッダーファイルは複数枚であるということはない fact5: もしその作品名はＶ字形であるとすると「あの線維束攣縮は成り掛かるけどそれは思い合うということはない」ということは事実だ fact6: この生産途中は照り付ける fact7: 仮にあのヘッダーファイルは失格しないなら「それは掛け易くて更に外し易い」ということは成り立たない fact8: あの線維束攣縮は成り掛かる fact9: もしもあのヘッダーファイルが複数枚だしそれが侘しいならばそれは失格するということはない fact10: あのヘッダーファイルは失格するということはないならば「掛け易くて外し易くない」ということは嘘だ fact11: 「あのヘッダーファイルは掛け易いし外し易い」ということは成り立たない fact12: もし仮にその基本特性が複数枚であるということはないとするとあのヘッダーファイルは複数枚でないけれど侘しい fact13: もし仮にあのヘッダーファイルが照り付けるなら掛け易いがしかし外し易くない fact14: あのヘッダーファイルは照り付ける fact15: もし「なにがしかのものはＶ字形だということはなくて失格しない」ということは間違いであるとしたらＶ字形である fact16: あのヘッダーファイルは外し易くない fact17: もし何らかの物が複数枚でないけどそれが侘しいなら失格しない fact18: もしもあの線維束攣縮が成り掛かるが思い合わないとするとその基本特性は複数枚でない fact19: もしもなにがしかの物が複数枚でまたそれが侘しいとしたら失格しない
void -> assump1: 以下のように仮定する。その作品名はＶ字形である; fact5 & assump1 -> int1: あの線維束攣縮は成り掛かるけど思い合わない; int1 & fact18 -> int2: 「その基本特性は複数枚でない」ということは真実だ; int2 & fact12 -> int3: あのヘッダーファイルは複数枚でないが侘しい; fact17 -> int4: もしあのヘッダーファイルが複数枚であるということはないけどそれが侘しいとするとそれは失格するということはない; int3 & int4 -> int5: あのヘッダーファイルは失格しない; int5 & fact10 -> int6: 「あのヘッダーファイルは掛け易いけれどそれは外し易くない」ということは成り立たない; fact13 & fact14 -> int7: あのヘッダーファイルは掛け易いがしかしそれは外し易くない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その作品名はＶ字形だ
fact20 -> int9: もし「その作品名はＶ字形でなくておまけに失格しない」ということは事実であるということはないとするとＶ字形だ;
$facts$ = fact1: 仮にその作品名がＶ字形だとするとあの線維束攣縮は成り掛かる fact2: もしあのヘッダーファイルが照り付けるとするとそれは外し易くない fact3: その基本特性は複数枚でないとすれば「あのヘッダーファイルは複数枚でない」ということは成り立つ fact4: あのヘッダーファイルは複数枚であるということはない fact5: もしその作品名はＶ字形であるとすると「あの線維束攣縮は成り掛かるけどそれは思い合うということはない」ということは事実だ fact6: この生産途中は照り付ける fact7: 仮にあのヘッダーファイルは失格しないなら「それは掛け易くて更に外し易い」ということは成り立たない fact8: あの線維束攣縮は成り掛かる fact9: もしもあのヘッダーファイルが複数枚だしそれが侘しいならばそれは失格するということはない fact10: あのヘッダーファイルは失格するということはないならば「掛け易くて外し易くない」ということは嘘だ fact11: 「あのヘッダーファイルは掛け易いし外し易い」ということは成り立たない fact12: もし仮にその基本特性が複数枚であるということはないとするとあのヘッダーファイルは複数枚でないけれど侘しい fact13: もし仮にあのヘッダーファイルが照り付けるなら掛け易いがしかし外し易くない fact14: あのヘッダーファイルは照り付ける fact15: もし「なにがしかのものはＶ字形だということはなくて失格しない」ということは間違いであるとしたらＶ字形である fact16: あのヘッダーファイルは外し易くない fact17: もし何らかの物が複数枚でないけどそれが侘しいなら失格しない fact18: もしもあの線維束攣縮が成り掛かるが思い合わないとするとその基本特性は複数枚でない fact19: もしもなにがしかの物が複数枚でまたそれが侘しいとしたら失格しない ; $hypothesis$ = その作品名はＶ字形でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その作品名はＶ字形である; fact5 & assump1 -> int1: あの線維束攣縮は成り掛かるけど思い合わない; int1 & fact18 -> int2: 「その基本特性は複数枚でない」ということは真実だ; int2 & fact12 -> int3: あのヘッダーファイルは複数枚でないが侘しい; fact17 -> int4: もしあのヘッダーファイルが複数枚であるということはないけどそれが侘しいとするとそれは失格するということはない; int3 & int4 -> int5: あのヘッダーファイルは失格しない; int5 & fact10 -> int6: 「あのヘッダーファイルは掛け易いけれどそれは外し易くない」ということは成り立たない; fact13 & fact14 -> int7: あのヘッダーファイルは掛け易いがしかしそれは外し易くない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 仮にその作品名がＶ字形だとするとあの線維束攣縮は成り掛かる
事実2: もしあのヘッダーファイルが照り付けるとするとそれは外し易くない
事実3: その基本特性は複数枚でないとすれば「あのヘッダーファイルは複数枚でない」ということは成り立つ
事実4: あのヘッダーファイルは複数枚であるということはない
事実5: もしその作品名はＶ字形であるとすると「あの線維束攣縮は成り掛かるけどそれは思い合うということはない」ということは事実だ
事実6: この生産途中は照り付ける
事実7: 仮にあのヘッダーファイルは失格しないなら「それは掛け易くて更に外し易い」ということは成り立たない
事実8: あの線維束攣縮は成り掛かる
事実9: もしもあのヘッダーファイルが複数枚だしそれが侘しいならばそれは失格するということはない
事実10: あのヘッダーファイルは失格するということはないならば「掛け易くて外し易くない」ということは嘘だ
事実11: 「あのヘッダーファイルは掛け易いし外し易い」ということは成り立たない
事実12: もし仮にその基本特性が複数枚であるということはないとするとあのヘッダーファイルは複数枚でないけれど侘しい
事実13: もし仮にあのヘッダーファイルが照り付けるなら掛け易いがしかし外し易くない
事実14: あのヘッダーファイルは照り付ける
事実15: もし「なにがしかのものはＶ字形だということはなくて失格しない」ということは間違いであるとしたらＶ字形である
事実16: あのヘッダーファイルは外し易くない
事実17: もし何らかの物が複数枚でないけどそれが侘しいなら失格しない
事実18: もしもあの線維束攣縮が成り掛かるが思い合わないとするとその基本特性は複数枚でない
事実19: もしもなにがしかの物が複数枚でまたそれが侘しいとしたら失格しない

仮説: その作品名はＶ字形でない
1. 仮定1: 以下のように仮定する。その作品名はＶ字形である
2. 事実5と仮定1から、推論1: "あの線維束攣縮は成り掛かるけど思い合わない"が導かれる
3. 推論1と事実18から、推論2: "「その基本特性は複数枚でない」ということは真実だ"が導かれる
4. 推論2と事実12から、推論3: "あのヘッダーファイルは複数枚でないが侘しい"が導かれる
5. 事実17から、推論4: "もしあのヘッダーファイルが複数枚であるということはないけどそれが侘しいとするとそれは失格するということはない"が導かれる
6. 推論3と推論4から、推論5: "あのヘッダーファイルは失格しない"が導かれる
7. 推論5と事実10から、推論6: "「あのヘッダーファイルは掛け易いけれどそれは外し易くない」ということは成り立たない"が導かれる
8. 事実13と事実14から、推論7: "あのヘッダーファイルは掛け易いがしかしそれは外し易くない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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