「もし「老羊飼いだが酸化マグネシウムでない」ということは成り立たないとすると酸化し難くない」ものはある
fact1: もし仮に「あのＴＶバンデイランチスは老羊飼いだ一方で酸化マグネシウムでない」ということは嘘であるなら「それは酸化し難くない」ということは間違いでない fact2: 「もし「老羊飼いであるしかつ酸化マグネシウムだ」ということは誤りであるとすると酸化し難くない」ものはある fact3: もしも「あのＴＶバンデイランチスは老羊飼いだけれど酸化マグネシウムでない」ということは偽ならそれは酸化し難い fact4: あのＴＶバンデイランチスは老羊飼いであるがしかし酸化マグネシウムでないならばそれは酸化し難くない fact5: 「ある物は買い出しであるけどそれは老羊飼いでない」ということは成り立たないとするとそれは相国寺でない fact6: もし仮に「何らかの物は飽きっぽいがどでかくない」ということは偽ならばそれは侵入者であるということはない fact7: 「もし加熱しないなら「惜しみ無くない」ということは正しい」物はある
fact1 -> hypothesis;
もしも「あのＴＶバンデイランチスは買い出しだが老羊飼いだということはない」ということは成り立たないとしたらそれは相国寺でない
fact8 -> hypothesis;
$facts$ = fact1: もし仮に「あのＴＶバンデイランチスは老羊飼いだ一方で酸化マグネシウムでない」ということは嘘であるなら「それは酸化し難くない」ということは間違いでない fact2: 「もし「老羊飼いであるしかつ酸化マグネシウムだ」ということは誤りであるとすると酸化し難くない」ものはある fact3: もしも「あのＴＶバンデイランチスは老羊飼いだけれど酸化マグネシウムでない」ということは偽ならそれは酸化し難い fact4: あのＴＶバンデイランチスは老羊飼いであるがしかし酸化マグネシウムでないならばそれは酸化し難くない fact5: 「ある物は買い出しであるけどそれは老羊飼いでない」ということは成り立たないとするとそれは相国寺でない fact6: もし仮に「何らかの物は飽きっぽいがどでかくない」ということは偽ならばそれは侵入者であるということはない fact7: 「もし加熱しないなら「惜しみ無くない」ということは正しい」物はある ; $hypothesis$ = 「もし「老羊飼いだが酸化マグネシウムでない」ということは成り立たないとすると酸化し難くない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮に「あのＴＶバンデイランチスは老羊飼いだ一方で酸化マグネシウムでない」ということは嘘であるなら「それは酸化し難くない」ということは間違いでない
事実2: 「もし「老羊飼いであるしかつ酸化マグネシウムだ」ということは誤りであるとすると酸化し難くない」ものはある
事実3: もしも「あのＴＶバンデイランチスは老羊飼いだけれど酸化マグネシウムでない」ということは偽ならそれは酸化し難い
事実4: あのＴＶバンデイランチスは老羊飼いであるがしかし酸化マグネシウムでないならばそれは酸化し難くない
事実5: 「ある物は買い出しであるけどそれは老羊飼いでない」ということは成り立たないとするとそれは相国寺でない
事実6: もし仮に「何らかの物は飽きっぽいがどでかくない」ということは偽ならばそれは侵入者であるということはない
事実7: 「もし加熱しないなら「惜しみ無くない」ということは正しい」物はある

仮説: 「もし「老羊飼いだが酸化マグネシウムでない」ということは成り立たないとすると酸化し難くない」ものはある
1. 事実1から、仮説が導かれる

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