「もし仮に百戦するとしたら「試合内容でなくて回内する」ということは誤りな」ものはある
fact1: 「仮に百戦するとすると「試合内容だし加えて回内する」ということは誤りな」物はある fact2: 「もし読み辛いなら「前払いするということはないが飲み難い」ということは成り立たない」ものはある fact3: もしもこの松陰等は二十六日前ならば「いじらしくて百戦する」ということは誤りである fact4: 「もしも「中間結果でない」ということは誤っているとしたら葬礼でないけど流音化である」ものはある fact5: 「陣中であるとすると「読み辛くなくてしかも指示係である」ということは成り立つということはない」ものはある fact6: この松陰等は百戦するとしたら「試合内容でないしそれは回内する」ということは成り立たない fact7: 「仮に「表現型だ」ということは正しいならば「蒸し器でないがしかし年甲斐だ」ということは間違いな」ものはある fact8: 「もしも捜査権であるとしたら「学習形態でないしそれに費やせる」ということは成り立たない」物はある fact9: この公共は悪しいとしたら「それは虐殺しないし回内する」ということは正しいということはない fact10: 何かは手強いとすると「それは費やせないけれど物寂しい」ということは偽だ fact11: 「その拘束性は手堅い」ということは成り立つとすると「泥臭くないがしかし百戦する」ということは本当でない fact12: 仮にこの松陰等は百戦するとしたら「試合内容であって回内する」ということは成り立たない fact13: もしもこの同付則はチーム・ゲームであるとしたら「「放浪しなくてそれはリフレッシュ出来る」ということは偽でない」ということは嘘である fact14: 「もしも「百戦する」ということは成り立つとしたら試合内容でないがしかし回内する」ものはある fact15: もしこの松陰等が百戦するならそれは試合内容だということはない一方で回内する fact16: もしもこの松陰等は試合内容なら「それは焦げ臭いし更に説き伏せる」ということは成り立たない
fact6 -> hypothesis;
fact6 -> hypothesis;
「仮に手強いなら「費やせないし物寂しい」ということは嘘である」物はある
fact17 -> int1: もし仮にあの秘密保持契約は手強いなら「費やせないけど物寂しい」ということは誤りである; int1 -> hypothesis;
$facts$ = fact1: 「仮に百戦するとすると「試合内容だし加えて回内する」ということは誤りな」物はある fact2: 「もし読み辛いなら「前払いするということはないが飲み難い」ということは成り立たない」ものはある fact3: もしもこの松陰等は二十六日前ならば「いじらしくて百戦する」ということは誤りである fact4: 「もしも「中間結果でない」ということは誤っているとしたら葬礼でないけど流音化である」ものはある fact5: 「陣中であるとすると「読み辛くなくてしかも指示係である」ということは成り立つということはない」ものはある fact6: この松陰等は百戦するとしたら「試合内容でないしそれは回内する」ということは成り立たない fact7: 「仮に「表現型だ」ということは正しいならば「蒸し器でないがしかし年甲斐だ」ということは間違いな」ものはある fact8: 「もしも捜査権であるとしたら「学習形態でないしそれに費やせる」ということは成り立たない」物はある fact9: この公共は悪しいとしたら「それは虐殺しないし回内する」ということは正しいということはない fact10: 何かは手強いとすると「それは費やせないけれど物寂しい」ということは偽だ fact11: 「その拘束性は手堅い」ということは成り立つとすると「泥臭くないがしかし百戦する」ということは本当でない fact12: 仮にこの松陰等は百戦するとしたら「試合内容であって回内する」ということは成り立たない fact13: もしもこの同付則はチーム・ゲームであるとしたら「「放浪しなくてそれはリフレッシュ出来る」ということは偽でない」ということは嘘である fact14: 「もしも「百戦する」ということは成り立つとしたら試合内容でないがしかし回内する」ものはある fact15: もしこの松陰等が百戦するならそれは試合内容だということはない一方で回内する fact16: もしもこの松陰等は試合内容なら「それは焦げ臭いし更に説き伏せる」ということは成り立たない ; $hypothesis$ = 「もし仮に百戦するとしたら「試合内容でなくて回内する」ということは誤りな」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「仮に百戦するとすると「試合内容だし加えて回内する」ということは誤りな」物はある
事実2: 「もし読み辛いなら「前払いするということはないが飲み難い」ということは成り立たない」ものはある
事実3: もしもこの松陰等は二十六日前ならば「いじらしくて百戦する」ということは誤りである
事実4: 「もしも「中間結果でない」ということは誤っているとしたら葬礼でないけど流音化である」ものはある
事実5: 「陣中であるとすると「読み辛くなくてしかも指示係である」ということは成り立つということはない」ものはある
事実6: この松陰等は百戦するとしたら「試合内容でないしそれは回内する」ということは成り立たない
事実7: 「仮に「表現型だ」ということは正しいならば「蒸し器でないがしかし年甲斐だ」ということは間違いな」ものはある
事実8: 「もしも捜査権であるとしたら「学習形態でないしそれに費やせる」ということは成り立たない」物はある
事実9: この公共は悪しいとしたら「それは虐殺しないし回内する」ということは正しいということはない
事実10: 何かは手強いとすると「それは費やせないけれど物寂しい」ということは偽だ
事実11: 「その拘束性は手堅い」ということは成り立つとすると「泥臭くないがしかし百戦する」ということは本当でない
事実12: 仮にこの松陰等は百戦するとしたら「試合内容であって回内する」ということは成り立たない
事実13: もしもこの同付則はチーム・ゲームであるとしたら「「放浪しなくてそれはリフレッシュ出来る」ということは偽でない」ということは嘘である
事実14: 「もしも「百戦する」ということは成り立つとしたら試合内容でないがしかし回内する」ものはある
事実15: もしこの松陰等が百戦するならそれは試合内容だということはない一方で回内する
事実16: もしもこの松陰等は試合内容なら「それは焦げ臭いし更に説き伏せる」ということは成り立たない

仮説: 「もし仮に百戦するとしたら「試合内容でなくて回内する」ということは誤りな」ものはある
1. 事実6から、仮説が導かれる

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