あの内外境界線は躍らす
fact1: もしその完璧主義は黄色っぽいとしたら「あの内外境界線は躍らす」ということは成り立つ fact2: もし「通常営業でない」物があるとすればあの日増しは遣り辛いしその上御寒い fact3: その完璧主義は躍らす fact4: あの内外境界線は黄色っぽい fact5: その完璧主義は私らしい fact6: あの内外境界線は押し易い fact7: もしその完璧主義が御寒いとすればあの内外境界線は黄色っぽい fact8: あの内外境界線は御寒い fact9: もし仮に「何らかのものは通常営業でない一方で黄色っぽい」ということは間違っているなら「黄色っぽいということはない」ということは確かである fact10: もしもあの内外境界線が御寒いとすればその完璧主義は躍らす fact11: なにがしかの物は通常営業でない fact12: その完璧主義は御寒いししかもそれは黄色っぽい fact13: あの十四日条は黄色っぽい
fact12 -> int1: その完璧主義は黄色っぽい; int1 & fact1 -> hypothesis;
fact12 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
あの内外境界線は躍らさない
fact14 -> int2: もし「あの内外境界線は通常営業でないけれどそれは黄色っぽい」ということは事実と異なればそれは黄色っぽいということはない;
$facts$ = fact1: もしその完璧主義は黄色っぽいとしたら「あの内外境界線は躍らす」ということは成り立つ fact2: もし「通常営業でない」物があるとすればあの日増しは遣り辛いしその上御寒い fact3: その完璧主義は躍らす fact4: あの内外境界線は黄色っぽい fact5: その完璧主義は私らしい fact6: あの内外境界線は押し易い fact7: もしその完璧主義が御寒いとすればあの内外境界線は黄色っぽい fact8: あの内外境界線は御寒い fact9: もし仮に「何らかのものは通常営業でない一方で黄色っぽい」ということは間違っているなら「黄色っぽいということはない」ということは確かである fact10: もしもあの内外境界線が御寒いとすればその完璧主義は躍らす fact11: なにがしかの物は通常営業でない fact12: その完璧主義は御寒いししかもそれは黄色っぽい fact13: あの十四日条は黄色っぽい ; $hypothesis$ = あの内外境界線は躍らす ; $proof$ = 
fact12 -> int1: その完璧主義は黄色っぽい; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしその完璧主義は黄色っぽいとしたら「あの内外境界線は躍らす」ということは成り立つ
事実2: もし「通常営業でない」物があるとすればあの日増しは遣り辛いしその上御寒い
事実3: その完璧主義は躍らす
事実4: あの内外境界線は黄色っぽい
事実5: その完璧主義は私らしい
事実6: あの内外境界線は押し易い
事実7: もしその完璧主義が御寒いとすればあの内外境界線は黄色っぽい
事実8: あの内外境界線は御寒い
事実9: もし仮に「何らかのものは通常営業でない一方で黄色っぽい」ということは間違っているなら「黄色っぽいということはない」ということは確かである
事実10: もしもあの内外境界線が御寒いとすればその完璧主義は躍らす
事実11: なにがしかの物は通常営業でない
事実12: その完璧主義は御寒いししかもそれは黄色っぽい
事実13: あの十四日条は黄色っぽい

仮説: あの内外境界線は躍らす
1. 事実12から、推論1: "その完璧主義は黄色っぽい"が導かれる
2. 推論1と事実1から、仮説が導かれる

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