もし仮に「その先輩は馴染み深くないけどそれは鼠色だ」ということは成り立たないとしたらレンタル業だ
fact1: もし仮に「その先輩はレンタル業だということはないがしかし引き上げする」ということは成り立たないとすると「それは展開し易い」ということは真実である fact2: もし仮に「「何かは取り出し易くないがしかし千石以上である」ということは事実である」ということは誤りならそれはあざとい fact3: もし仮に「その先輩は好意でない一方で鼠色だ」ということは間違いであるならば空しい fact4: もし仮に何かは鼠色であるということはないとすればそれはレンタル業である fact5: 仮にその先輩が馴染み深くないけれど鼠色ならばそれはレンタル業である fact6: もしも「とある物は馴染み深くないけれど鼠色である」ということは成り立たないならば「それはレンタル業である」ということは真実だ fact7: もし仮に「その先輩は貨物約款でない一方でレンタル業だ」ということは誤っているならそれは骨っぽい fact8: 「「なんらかの物は馴染み深くてそれに鼠色である」ということは成り立つ」ということは誤りであるならばレンタル業だ fact9: もし仮にこの計画経済体制は鼠色でないけれどアメリカっぽいとすると表示器だ fact10: もし「その先輩は馴染み深いし鼠色だ」ということは間違いであるとすればレンタル業である fact11: もしもその先輩は鼠色であるということはないとすればそれはレンタル業である fact12: もし「そのセピアは医者殿でない一方で燻す」ということは成り立つということはないならば「鬼やんまである」ということは確かである fact13: もしも「このかんぱーいは閣下でないけれど静める」ということは誤りならばそれは現われ易い fact14: もし馴染み深くないものは鼠色であるとしたら「レンタル業でない」ということは偽だ
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: もし仮に「その先輩はレンタル業だということはないがしかし引き上げする」ということは成り立たないとすると「それは展開し易い」ということは真実である fact2: もし仮に「「何かは取り出し易くないがしかし千石以上である」ということは事実である」ということは誤りならそれはあざとい fact3: もし仮に「その先輩は好意でない一方で鼠色だ」ということは間違いであるならば空しい fact4: もし仮に何かは鼠色であるということはないとすればそれはレンタル業である fact5: 仮にその先輩が馴染み深くないけれど鼠色ならばそれはレンタル業である fact6: もしも「とある物は馴染み深くないけれど鼠色である」ということは成り立たないならば「それはレンタル業である」ということは真実だ fact7: もし仮に「その先輩は貨物約款でない一方でレンタル業だ」ということは誤っているならそれは骨っぽい fact8: 「「なんらかの物は馴染み深くてそれに鼠色である」ということは成り立つ」ということは誤りであるならばレンタル業だ fact9: もし仮にこの計画経済体制は鼠色でないけれどアメリカっぽいとすると表示器だ fact10: もし「その先輩は馴染み深いし鼠色だ」ということは間違いであるとすればレンタル業である fact11: もしもその先輩は鼠色であるということはないとすればそれはレンタル業である fact12: もし「そのセピアは医者殿でない一方で燻す」ということは成り立つということはないならば「鬼やんまである」ということは確かである fact13: もしも「このかんぱーいは閣下でないけれど静める」ということは誤りならばそれは現われ易い fact14: もし馴染み深くないものは鼠色であるとしたら「レンタル業でない」ということは偽だ ; $hypothesis$ = もし仮に「その先輩は馴染み深くないけどそれは鼠色だ」ということは成り立たないとしたらレンタル業だ ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もし仮に「その先輩はレンタル業だということはないがしかし引き上げする」ということは成り立たないとすると「それは展開し易い」ということは真実である
事実2: もし仮に「「何かは取り出し易くないがしかし千石以上である」ということは事実である」ということは誤りならそれはあざとい
事実3: もし仮に「その先輩は好意でない一方で鼠色だ」ということは間違いであるならば空しい
事実4: もし仮に何かは鼠色であるということはないとすればそれはレンタル業である
事実5: 仮にその先輩が馴染み深くないけれど鼠色ならばそれはレンタル業である
事実6: もしも「とある物は馴染み深くないけれど鼠色である」ということは成り立たないならば「それはレンタル業である」ということは真実だ
事実7: もし仮に「その先輩は貨物約款でない一方でレンタル業だ」ということは誤っているならそれは骨っぽい
事実8: 「「なんらかの物は馴染み深くてそれに鼠色である」ということは成り立つ」ということは誤りであるならばレンタル業だ
事実9: もし仮にこの計画経済体制は鼠色でないけれどアメリカっぽいとすると表示器だ
事実10: もし「その先輩は馴染み深いし鼠色だ」ということは間違いであるとすればレンタル業である
事実11: もしもその先輩は鼠色であるということはないとすればそれはレンタル業である
事実12: もし「そのセピアは医者殿でない一方で燻す」ということは成り立つということはないならば「鬼やんまである」ということは確かである
事実13: もしも「このかんぱーいは閣下でないけれど静める」ということは誤りならばそれは現われ易い
事実14: もし馴染み深くないものは鼠色であるとしたら「レンタル業でない」ということは偽だ

仮説: もし仮に「その先輩は馴染み深くないけどそれは鼠色だ」ということは成り立たないとしたらレンタル業だ
1. 事実6から、仮説が導かれる

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