「もし仮に貧乏臭くないとしたらランド川な」ものはある
fact1: もし仮に何らかの物が貧乏臭いとするとランド川である fact2: 「仮に生々しかないなら間断無い」ものはある fact3: もしもその采地が貧乏臭いならランド川だ fact4: 絶え間無くないものは貸し金業者である fact5: 仮にその采地はランド川でないなら撃退する fact6: その采地が貧乏臭くないならそれは打ち易い fact7: もし仮になんらかの物が受け入れ難くないならそれは減衰する fact8: 仮になんらかの物が人力だということはないとすると佐々木質問である fact9: 「もし仮に方向付けないとすると抜き難い」ものはある fact10: 「もしも貧乏臭いならランド川である」ものはある fact11: 貧乏臭くない物はランド川である fact12: あるものが阿呆らしくないとすると呼び為さる fact13: もし仮になんらかの物は全壊率でないとするとスタッフルームである fact14: 「折り畳めないならば見聞する」物はある fact15: もしその采地が住み着かないとすると冷え易い
fact11 -> int1: その采地が貧乏臭くないならランド川である; int1 -> hypothesis;
$facts$ = fact1: もし仮に何らかの物が貧乏臭いとするとランド川である fact2: 「仮に生々しかないなら間断無い」ものはある fact3: もしもその采地が貧乏臭いならランド川だ fact4: 絶え間無くないものは貸し金業者である fact5: 仮にその采地はランド川でないなら撃退する fact6: その采地が貧乏臭くないならそれは打ち易い fact7: もし仮になんらかの物が受け入れ難くないならそれは減衰する fact8: 仮になんらかの物が人力だということはないとすると佐々木質問である fact9: 「もし仮に方向付けないとすると抜き難い」ものはある fact10: 「もしも貧乏臭いならランド川である」ものはある fact11: 貧乏臭くない物はランド川である fact12: あるものが阿呆らしくないとすると呼び為さる fact13: もし仮になんらかの物は全壊率でないとするとスタッフルームである fact14: 「折り畳めないならば見聞する」物はある fact15: もしその采地が住み着かないとすると冷え易い ; $hypothesis$ = 「もし仮に貧乏臭くないとしたらランド川な」ものはある ; $proof$ = 
fact11 -> int1: その采地が貧乏臭くないならランド川である; int1 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が貧乏臭いとするとランド川である
事実2: 「仮に生々しかないなら間断無い」ものはある
事実3: もしもその采地が貧乏臭いならランド川だ
事実4: 絶え間無くないものは貸し金業者である
事実5: 仮にその采地はランド川でないなら撃退する
事実6: その采地が貧乏臭くないならそれは打ち易い
事実7: もし仮になんらかの物が受け入れ難くないならそれは減衰する
事実8: 仮になんらかの物が人力だということはないとすると佐々木質問である
事実9: 「もし仮に方向付けないとすると抜き難い」ものはある
事実10: 「もしも貧乏臭いならランド川である」ものはある
事実11: 貧乏臭くない物はランド川である
事実12: あるものが阿呆らしくないとすると呼び為さる
事実13: もし仮になんらかの物は全壊率でないとするとスタッフルームである
事実14: 「折り畳めないならば見聞する」物はある
事実15: もしその采地が住み着かないとすると冷え易い

仮説: 「もし仮に貧乏臭くないとしたらランド川な」ものはある
1. 事実11から、推論1: "その采地が貧乏臭くないならランド川である"が導かれる
2. 推論1から、仮説が導かれる

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