あの電子市場はカルテ開示である
fact1: そのパール感はカルテ開示だ fact2: 仮に「なにかは面白過ぎないししかも板でない」ということは成り立たないとすれば「板だ」ということは事実だ fact3: 「もしあの同質性は丸っこくないとすれば「その一ナトリウムは面白過ぎなくて更に板だということはない」ということは成り立たない」ということは成り立つ fact4: もし仮に「この造血はラケットでないしそれはカルテ開示でない」ということは成り立たないならばあの電子市場はカルテ開示でない fact5: もし仮に「その悪風はくどい」ということは確かだとすると「この造血はラケットでなくてカルテ開示でない」ということは成り立たない fact6: もしあの同質性は蒸れるけれど度外視しないとすればそれは丸っこくない fact7: あの電子市場はカルテ開示である fact8: もしも何らかのものが甘酸っぱくないならばそれは蒸れるがしかし度外視しない
fact7 -> hypothesis;
fact7 -> hypothesis;
あの電子市場はカルテ開示であるということはない
fact14 -> int1: もし「その一ナトリウムは面白過ぎるということはないし板でない」ということは成り立たないならそれは板だ; fact9 -> int2: 「もしもあの同質性が甘酸っぱくないならばあの同質性は蒸れるけれど度外視しない」ということは正しい;
$facts$ = fact1: そのパール感はカルテ開示だ fact2: 仮に「なにかは面白過ぎないししかも板でない」ということは成り立たないとすれば「板だ」ということは事実だ fact3: 「もしあの同質性は丸っこくないとすれば「その一ナトリウムは面白過ぎなくて更に板だということはない」ということは成り立たない」ということは成り立つ fact4: もし仮に「この造血はラケットでないしそれはカルテ開示でない」ということは成り立たないならばあの電子市場はカルテ開示でない fact5: もし仮に「その悪風はくどい」ということは確かだとすると「この造血はラケットでなくてカルテ開示でない」ということは成り立たない fact6: もしあの同質性は蒸れるけれど度外視しないとすればそれは丸っこくない fact7: あの電子市場はカルテ開示である fact8: もしも何らかのものが甘酸っぱくないならばそれは蒸れるがしかし度外視しない ; $hypothesis$ = あの電子市場はカルテ開示である ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: そのパール感はカルテ開示だ
事実2: 仮に「なにかは面白過ぎないししかも板でない」ということは成り立たないとすれば「板だ」ということは事実だ
事実3: 「もしあの同質性は丸っこくないとすれば「その一ナトリウムは面白過ぎなくて更に板だということはない」ということは成り立たない」ということは成り立つ
事実4: もし仮に「この造血はラケットでないしそれはカルテ開示でない」ということは成り立たないならばあの電子市場はカルテ開示でない
事実5: もし仮に「その悪風はくどい」ということは確かだとすると「この造血はラケットでなくてカルテ開示でない」ということは成り立たない
事実6: もしあの同質性は蒸れるけれど度外視しないとすればそれは丸っこくない
事実7: あの電子市場はカルテ開示である
事実8: もしも何らかのものが甘酸っぱくないならばそれは蒸れるがしかし度外視しない

仮説: あの電子市場はカルテ開示である
1. 事実7から、仮説が導かれる

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