「もしも「面目無くないし晴々しいということはない」ということは成り立たないとすると魅了しない」物はある
fact1: もし仮に「あのオリエンテーションは面目無くないしまた晴々しかない」ということは成り立たないとしたら魅了しない fact2: 「もし仮にＢＧＨだとすれば生き辛いということはない」物はある fact3: 「仮に山口大口費であるならば紅色でない」物はある fact4: 「もし其れ以前でないしまたウインナであるということはないならば来易くない」ものはある fact5: 仮に「何らかのものは格好良くなくて更に話し易くない」ということは成り立たないとすれば早しない fact6: 「もし懐っこくないし加えてキリスト教絵画でないなら「京都らしくない」ということは成り立つ」物はある fact7: 仮に「この注射薬有りは如何にしないし魅了しない」ということは成り立たないとしたらそれは公開しない fact8: 「もし阿弥陀寺陵であるとすると中新世だということはない」物はある fact9: もし「あのオリエンテーションは尻込みしなくて加えてそれは面目無くない」ということは間違っているとするとそれは話し易いということはない
fact1 -> hypothesis;
「そのシックは格好良くないしそれに話し易くない」ということは誤っているとすると早しない
fact10 -> hypothesis;
$facts$ = fact1: もし仮に「あのオリエンテーションは面目無くないしまた晴々しかない」ということは成り立たないとしたら魅了しない fact2: 「もし仮にＢＧＨだとすれば生き辛いということはない」物はある fact3: 「仮に山口大口費であるならば紅色でない」物はある fact4: 「もし其れ以前でないしまたウインナであるということはないならば来易くない」ものはある fact5: 仮に「何らかのものは格好良くなくて更に話し易くない」ということは成り立たないとすれば早しない fact6: 「もし懐っこくないし加えてキリスト教絵画でないなら「京都らしくない」ということは成り立つ」物はある fact7: 仮に「この注射薬有りは如何にしないし魅了しない」ということは成り立たないとしたらそれは公開しない fact8: 「もし阿弥陀寺陵であるとすると中新世だということはない」物はある fact9: もし「あのオリエンテーションは尻込みしなくて加えてそれは面目無くない」ということは間違っているとするとそれは話し易いということはない ; $hypothesis$ = 「もしも「面目無くないし晴々しいということはない」ということは成り立たないとすると魅了しない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮に「あのオリエンテーションは面目無くないしまた晴々しかない」ということは成り立たないとしたら魅了しない
事実2: 「もし仮にＢＧＨだとすれば生き辛いということはない」物はある
事実3: 「仮に山口大口費であるならば紅色でない」物はある
事実4: 「もし其れ以前でないしまたウインナであるということはないならば来易くない」ものはある
事実5: 仮に「何らかのものは格好良くなくて更に話し易くない」ということは成り立たないとすれば早しない
事実6: 「もし懐っこくないし加えてキリスト教絵画でないなら「京都らしくない」ということは成り立つ」物はある
事実7: 仮に「この注射薬有りは如何にしないし魅了しない」ということは成り立たないとしたらそれは公開しない
事実8: 「もし阿弥陀寺陵であるとすると中新世だということはない」物はある
事実9: もし「あのオリエンテーションは尻込みしなくて加えてそれは面目無くない」ということは間違っているとするとそれは話し易いということはない

仮説: 「もしも「面目無くないし晴々しいということはない」ということは成り立たないとすると魅了しない」物はある
1. 事実1から、仮説が導かれる

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