あの地図データは天城側である
fact1: もしも「あの名画はスキャンするがそれは柄部でない」ということは正しくないとしたらこの引っ込み思案は柄部である fact2: もし「見られ易くないし加えてビタミン類でない」物があるならあの画筆は天城側だ fact3: もし仮に「見られ易くない」ものはあるなら「あの画筆は特定都市鉄道整備準備金制度であるし天城側だ」ということは成り立つということはない fact4: 仮に「なにがしかのものは望ましくらないがしかし挙銃である」ということは成り立たないとしたら網元でない fact5: 柄部は見られ易くない fact6: 見られ易い物はビタミン類である fact7: 仮にこの引っ込み思案が特定都市鉄道整備準備金制度であるとするとあの地図データは天城側だ fact8: あの画筆はこさえないし気怠くらない fact9: あの画筆は見られ易いということはない fact10: あの地図データは特定都市鉄道整備準備金制度である fact11: 「悔しいけれどビタミン類でない」物はあるなら「この引っ込み思案は特定都市鉄道整備準備金制度だ」ということは確かだ fact12: 「あの名画は望ましくらないけれどそれは挙銃だ」ということは成り立たない fact13: もし仮に悔しくないものはビタミン類なら「この引っ込み思案は特定都市鉄道整備準備金制度である」ということは事実だ fact14: もし仮になにがしかの物は網元でないならば「スキャンするしそれに柄部でない」ということは本当でない fact15: 仮にあの画筆が見られ易くないとするとそれは悔しくないしそれにビタミン類でない fact16: もし何らかの物は悔しくなくてかつビタミン類だということはないとしたら「この引っ込み思案は特定都市鉄道整備準備金制度である」ということは確かだ
fact15 & fact9 -> int1: あの画筆は悔しいということはないしかつそれはビタミン類だということはない; int1 -> int2: 「悔しくなくてその上ビタミン類でない」ものはある; int2 & fact16 -> int3: この引っ込み思案は特定都市鉄道整備準備金制度だ; int3 & fact7 -> hypothesis;
この手品はビタミン類である
fact17 -> int4: もし仮にこの手品が見られ易いならビタミン類である;
$facts$ = fact1: もしも「あの名画はスキャンするがそれは柄部でない」ということは正しくないとしたらこの引っ込み思案は柄部である fact2: もし「見られ易くないし加えてビタミン類でない」物があるならあの画筆は天城側だ fact3: もし仮に「見られ易くない」ものはあるなら「あの画筆は特定都市鉄道整備準備金制度であるし天城側だ」ということは成り立つということはない fact4: 仮に「なにがしかのものは望ましくらないがしかし挙銃である」ということは成り立たないとしたら網元でない fact5: 柄部は見られ易くない fact6: 見られ易い物はビタミン類である fact7: 仮にこの引っ込み思案が特定都市鉄道整備準備金制度であるとするとあの地図データは天城側だ fact8: あの画筆はこさえないし気怠くらない fact9: あの画筆は見られ易いということはない fact10: あの地図データは特定都市鉄道整備準備金制度である fact11: 「悔しいけれどビタミン類でない」物はあるなら「この引っ込み思案は特定都市鉄道整備準備金制度だ」ということは確かだ fact12: 「あの名画は望ましくらないけれどそれは挙銃だ」ということは成り立たない fact13: もし仮に悔しくないものはビタミン類なら「この引っ込み思案は特定都市鉄道整備準備金制度である」ということは事実だ fact14: もし仮になにがしかの物は網元でないならば「スキャンするしそれに柄部でない」ということは本当でない fact15: 仮にあの画筆が見られ易くないとするとそれは悔しくないしそれにビタミン類でない fact16: もし何らかの物は悔しくなくてかつビタミン類だということはないとしたら「この引っ込み思案は特定都市鉄道整備準備金制度である」ということは確かだ ; $hypothesis$ = あの地図データは天城側である ; $proof$ = 
fact15 & fact9 -> int1: あの画筆は悔しいということはないしかつそれはビタミン類だということはない; int1 -> int2: 「悔しくなくてその上ビタミン類でない」ものはある; int2 & fact16 -> int3: この引っ込み思案は特定都市鉄道整備準備金制度だ; int3 & fact7 -> hypothesis; __PROVED__
事実1: もしも「あの名画はスキャンするがそれは柄部でない」ということは正しくないとしたらこの引っ込み思案は柄部である
事実2: もし「見られ易くないし加えてビタミン類でない」物があるならあの画筆は天城側だ
事実3: もし仮に「見られ易くない」ものはあるなら「あの画筆は特定都市鉄道整備準備金制度であるし天城側だ」ということは成り立つということはない
事実4: 仮に「なにがしかのものは望ましくらないがしかし挙銃である」ということは成り立たないとしたら網元でない
事実5: 柄部は見られ易くない
事実6: 見られ易い物はビタミン類である
事実7: 仮にこの引っ込み思案が特定都市鉄道整備準備金制度であるとするとあの地図データは天城側だ
事実8: あの画筆はこさえないし気怠くらない
事実9: あの画筆は見られ易いということはない
事実10: あの地図データは特定都市鉄道整備準備金制度である
事実11: 「悔しいけれどビタミン類でない」物はあるなら「この引っ込み思案は特定都市鉄道整備準備金制度だ」ということは確かだ
事実12: 「あの名画は望ましくらないけれどそれは挙銃だ」ということは成り立たない
事実13: もし仮に悔しくないものはビタミン類なら「この引っ込み思案は特定都市鉄道整備準備金制度である」ということは事実だ
事実14: もし仮になにがしかの物は網元でないならば「スキャンするしそれに柄部でない」ということは本当でない
事実15: 仮にあの画筆が見られ易くないとするとそれは悔しくないしそれにビタミン類でない
事実16: もし何らかの物は悔しくなくてかつビタミン類だということはないとしたら「この引っ込み思案は特定都市鉄道整備準備金制度である」ということは確かだ

仮説: あの地図データは天城側である
1. 事実15と事実9から、推論1: "あの画筆は悔しいということはないしかつそれはビタミン類だということはない"が導かれる
2. 推論1から、推論2: "「悔しくなくてその上ビタミン類でない」ものはある"が導かれる
3. 推論2と事実16から、推論3: "この引っ込み思案は特定都市鉄道整備準備金制度だ"が導かれる
4. 推論3と事実7から、仮説が導かれる

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