その指定等は思い易いし加えて救助出来る
fact1: もしその赤心が変化し易いなら御濃くない fact2: もしあのアイロン台が育成しないならその指定等は救助出来る fact3: 「その指定等は救助出来る」ということは成り立つ fact4: あるものが消化し切れるということはないとすると表示中で更に変化し易い fact5: もしもその赤心は御濃くないとすれば「薄めないしおまけに育成する」ということは誤りだ fact6: もし仮に「あるものは御濃くない一方でそれは薄める」ということは事実と異なれば育成しない fact7: 仮に何らかの物は変化し易いならば「御濃くないがしかし薄める」ということは成り立たない fact8: あのアイロン台は育成しない fact9: もしもあのアイロン台が育成しないとしたらその指定等は思い易くてさらに救助出来る
fact9 & fact8 -> hypothesis;
「その指定等は思い易くておまけに救助出来る」ということは間違いだ
$facts$ = fact1: もしその赤心が変化し易いなら御濃くない fact2: もしあのアイロン台が育成しないならその指定等は救助出来る fact3: 「その指定等は救助出来る」ということは成り立つ fact4: あるものが消化し切れるということはないとすると表示中で更に変化し易い fact5: もしもその赤心は御濃くないとすれば「薄めないしおまけに育成する」ということは誤りだ fact6: もし仮に「あるものは御濃くない一方でそれは薄める」ということは事実と異なれば育成しない fact7: 仮に何らかの物は変化し易いならば「御濃くないがしかし薄める」ということは成り立たない fact8: あのアイロン台は育成しない fact9: もしもあのアイロン台が育成しないとしたらその指定等は思い易くてさらに救助出来る ; $hypothesis$ = その指定等は思い易いし加えて救助出来る ; $proof$ = 
fact9 & fact8 -> hypothesis; __PROVED__
事実1: もしその赤心が変化し易いなら御濃くない
事実2: もしあのアイロン台が育成しないならその指定等は救助出来る
事実3: 「その指定等は救助出来る」ということは成り立つ
事実4: あるものが消化し切れるということはないとすると表示中で更に変化し易い
事実5: もしもその赤心は御濃くないとすれば「薄めないしおまけに育成する」ということは誤りだ
事実6: もし仮に「あるものは御濃くない一方でそれは薄める」ということは事実と異なれば育成しない
事実7: 仮に何らかの物は変化し易いならば「御濃くないがしかし薄める」ということは成り立たない
事実8: あのアイロン台は育成しない
事実9: もしもあのアイロン台が育成しないとしたらその指定等は思い易くてさらに救助出来る

仮説: その指定等は思い易いし加えて救助出来る
1. 事実9と事実8から、仮説が導かれる

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