あのデラはバランス良い
fact1: あの御雑煮データは海外輸出でないがしかしそれは交通状態である fact2: あのデラは協力しないが哀れっぽい fact3: そのグレイハウンド・バスは疑義照会するということはないけど柿渋屋である fact4: あのデラは交通状態でない fact5: あのデラは開廷しない fact6: あのデラは規格化する fact7: あのデラは朗読しない fact8: この上場銘柄はバランス良くない fact9: もし仮にこの差し押さえ後が賦存状況でないかあるいは騒ぎ立たないかあるいはどちらもならその食品循環資源は騒ぎ立たない fact10: その裏布はバランス良くない fact11: あのデラは交通状態でないがそれは頼める fact12: もしも「何らかのものは交通状態でなくてそれに負傷するということはない」ということは成り立つということはないならば「それはバランス良くない」ということは確かである fact13: あのデラは交通状態でないけれどバランス良い fact14: あのデラが交通状態である一方でバランス良くないとしたら「この誌名は交通状態である」ということは成り立つ
fact13 -> hypothesis;
fact13 -> hypothesis;
あのデラはバランス良くない
fact16 -> int1: 「あのデラは交通状態であるということはなくて負傷しない」ということは成り立たないとしたらバランス良いということはない;
$facts$ = fact1: あの御雑煮データは海外輸出でないがしかしそれは交通状態である fact2: あのデラは協力しないが哀れっぽい fact3: そのグレイハウンド・バスは疑義照会するということはないけど柿渋屋である fact4: あのデラは交通状態でない fact5: あのデラは開廷しない fact6: あのデラは規格化する fact7: あのデラは朗読しない fact8: この上場銘柄はバランス良くない fact9: もし仮にこの差し押さえ後が賦存状況でないかあるいは騒ぎ立たないかあるいはどちらもならその食品循環資源は騒ぎ立たない fact10: その裏布はバランス良くない fact11: あのデラは交通状態でないがそれは頼める fact12: もしも「何らかのものは交通状態でなくてそれに負傷するということはない」ということは成り立つということはないならば「それはバランス良くない」ということは確かである fact13: あのデラは交通状態でないけれどバランス良い fact14: あのデラが交通状態である一方でバランス良くないとしたら「この誌名は交通状態である」ということは成り立つ ; $hypothesis$ = あのデラはバランス良い ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: あの御雑煮データは海外輸出でないがしかしそれは交通状態である
事実2: あのデラは協力しないが哀れっぽい
事実3: そのグレイハウンド・バスは疑義照会するということはないけど柿渋屋である
事実4: あのデラは交通状態でない
事実5: あのデラは開廷しない
事実6: あのデラは規格化する
事実7: あのデラは朗読しない
事実8: この上場銘柄はバランス良くない
事実9: もし仮にこの差し押さえ後が賦存状況でないかあるいは騒ぎ立たないかあるいはどちらもならその食品循環資源は騒ぎ立たない
事実10: その裏布はバランス良くない
事実11: あのデラは交通状態でないがそれは頼める
事実12: もしも「何らかのものは交通状態でなくてそれに負傷するということはない」ということは成り立つということはないならば「それはバランス良くない」ということは確かである
事実13: あのデラは交通状態でないけれどバランス良い
事実14: あのデラが交通状態である一方でバランス良くないとしたら「この誌名は交通状態である」ということは成り立つ

仮説: あのデラはバランス良い
1. 事実13から、仮説が導かれる

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