「この歌詞内容は逞しくない」ということは事実ならば「その風船容量は涙脆くなくて澄み切らない」ということは成り立たない
fact1: もし仮にこの歌詞内容が逞しくないとしたらその移植後は耳慣れなくてしかもラベル付けしない fact2: 仮にこの歌詞内容が耳慣れるということはないならばその移植後は逞しくなくてそれに涙脆くない fact3: 何かは涙脆くないし耳慣れない fact4: その移植後はラベル付けしないとすると「この歌詞内容は耳慣れなくてその上逞しくない」ということは成り立たない fact5: もしその移植後は澄み切らないならば「その風船容量は澄み切らなくてまたラベル付けしない」ということは正しい fact6: もしこの歌詞内容が逞しくないならばあの移植後は耳慣れない fact7: その移植後は涙脆くない fact8: 何かは耳慣れなくてその上ラベル付けしないならその食わず嫌いは涙脆くない fact9: もしその移植後はラベル付けしないとしたら「その風船容量は澄み切らないがしかし耳慣れる」ということは誤っている fact10: もしその食わず嫌いは涙脆くないなら「その風船容量は涙脆くないものでありしかも澄み切らない」ということは偽だ fact11: もし「耳慣れないしかつ澄み切る」ものがあるとするとこの歌詞内容は逞しいということはない fact12: あるものは耳慣れないがそれはラベル付けする fact13: もしもその風船容量が涙脆くないならばその移植後は耳慣れなくて更に澄み切らない fact14: 何かは耳慣れないしさらに澄み切らないならその移植後は涙脆くない
void -> assump1: 以下のように仮定する。この歌詞内容は逞しくない; fact1 & assump1 -> int1: 「その移植後は耳慣れなくてラベル付けしない」ということは成り立つ; int1 -> int2: 「耳慣れなくてラベル付けしない」物はある; int2 & fact8 -> int3: その食わず嫌いは涙脆くない; int3 & fact10 -> int4: 「その風船容量は涙脆くなくて加えて澄み切らない」ということは誤りである; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし仮にこの歌詞内容が逞しくないとしたらその移植後は耳慣れなくてしかもラベル付けしない fact2: 仮にこの歌詞内容が耳慣れるということはないならばその移植後は逞しくなくてそれに涙脆くない fact3: 何かは涙脆くないし耳慣れない fact4: その移植後はラベル付けしないとすると「この歌詞内容は耳慣れなくてその上逞しくない」ということは成り立たない fact5: もしその移植後は澄み切らないならば「その風船容量は澄み切らなくてまたラベル付けしない」ということは正しい fact6: もしこの歌詞内容が逞しくないならばあの移植後は耳慣れない fact7: その移植後は涙脆くない fact8: 何かは耳慣れなくてその上ラベル付けしないならその食わず嫌いは涙脆くない fact9: もしその移植後はラベル付けしないとしたら「その風船容量は澄み切らないがしかし耳慣れる」ということは誤っている fact10: もしその食わず嫌いは涙脆くないなら「その風船容量は涙脆くないものでありしかも澄み切らない」ということは偽だ fact11: もし「耳慣れないしかつ澄み切る」ものがあるとするとこの歌詞内容は逞しいということはない fact12: あるものは耳慣れないがそれはラベル付けする fact13: もしもその風船容量が涙脆くないならばその移植後は耳慣れなくて更に澄み切らない fact14: 何かは耳慣れないしさらに澄み切らないならその移植後は涙脆くない ; $hypothesis$ = 「この歌詞内容は逞しくない」ということは事実ならば「その風船容量は涙脆くなくて澄み切らない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この歌詞内容は逞しくない; fact1 & assump1 -> int1: 「その移植後は耳慣れなくてラベル付けしない」ということは成り立つ; int1 -> int2: 「耳慣れなくてラベル付けしない」物はある; int2 & fact8 -> int3: その食わず嫌いは涙脆くない; int3 & fact10 -> int4: 「その風船容量は涙脆くなくて加えて澄み切らない」ということは誤りである; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの歌詞内容が逞しくないとしたらその移植後は耳慣れなくてしかもラベル付けしない
事実2: 仮にこの歌詞内容が耳慣れるということはないならばその移植後は逞しくなくてそれに涙脆くない
事実3: 何かは涙脆くないし耳慣れない
事実4: その移植後はラベル付けしないとすると「この歌詞内容は耳慣れなくてその上逞しくない」ということは成り立たない
事実5: もしその移植後は澄み切らないならば「その風船容量は澄み切らなくてまたラベル付けしない」ということは正しい
事実6: もしこの歌詞内容が逞しくないならばあの移植後は耳慣れない
事実7: その移植後は涙脆くない
事実8: 何かは耳慣れなくてその上ラベル付けしないならその食わず嫌いは涙脆くない
事実9: もしその移植後はラベル付けしないとしたら「その風船容量は澄み切らないがしかし耳慣れる」ということは誤っている
事実10: もしその食わず嫌いは涙脆くないなら「その風船容量は涙脆くないものでありしかも澄み切らない」ということは偽だ
事実11: もし「耳慣れないしかつ澄み切る」ものがあるとするとこの歌詞内容は逞しいということはない
事実12: あるものは耳慣れないがそれはラベル付けする
事実13: もしもその風船容量が涙脆くないならばその移植後は耳慣れなくて更に澄み切らない
事実14: 何かは耳慣れないしさらに澄み切らないならその移植後は涙脆くない

仮説: 「この歌詞内容は逞しくない」ということは事実ならば「その風船容量は涙脆くなくて澄み切らない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この歌詞内容は逞しくない
2. 事実1と仮定1から、推論1: "「その移植後は耳慣れなくてラベル付けしない」ということは成り立つ"が導かれる
3. 推論1から、推論2: "「耳慣れなくてラベル付けしない」物はある"が導かれる
4. 推論2と事実8から、推論3: "その食わず嫌いは涙脆くない"が導かれる
5. 推論3と事実10から、推論4: "「その風船容量は涙脆くなくて加えて澄み切らない」ということは誤りである"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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