「もし仮に「三分後であるし訝しくない」ということは間違っているとしたら花ちゃんでない」ものはある
fact1: もしも「とある物は益無しけれど残り御飯でない」ということは偽であるならそれは観想しない fact2: 「もし三分後だ一方で訝しくないとすれば花ちゃんであるということはない」ものはある fact3: 「もし仮に「還住するが喧しくない」ということは誤っているとしたら「芳しい」ということは本当な」ものはある fact4: 「もし仮に三分後でないとすれば花ちゃんでない」物はある fact5: 「もしも「恥ずかしい自主的判断である」ということは誤っているとすれば画像診断でない」ものはある fact6: 「仮に「賞球数であるが説明し易くない」ということは成り立たないなら煙たい」物はある fact7: もしその第一四分位数が下げ渡すがそれは花ちゃんでないとしたらそれは口汚くない fact8: もしその第一四分位数が三分後でないとすれば花ちゃんであるということはない fact9: 「「三分後であるしそれに訝しい」ということは偽であるなら花ちゃんでない」ものはある fact10: 「「結果しないとすれば入り易いということはない」ものはある」ということは成り立つ fact11: もしも「その第一四分位数は三分後だが訝しくない」ということは偽であるとすればそれは花ちゃんでない
fact11 -> hypothesis;
「もしも「益無し一方で残り御飯でない」ということは嘘なら観想しない」物はある
fact12 -> int1: 仮に「その第三項排除効果は益無し一方で残り御飯でない」ということは偽だとすれば観想しない; int1 -> hypothesis;
$facts$ = fact1: もしも「とある物は益無しけれど残り御飯でない」ということは偽であるならそれは観想しない fact2: 「もし三分後だ一方で訝しくないとすれば花ちゃんであるということはない」ものはある fact3: 「もし仮に「還住するが喧しくない」ということは誤っているとしたら「芳しい」ということは本当な」ものはある fact4: 「もし仮に三分後でないとすれば花ちゃんでない」物はある fact5: 「もしも「恥ずかしい自主的判断である」ということは誤っているとすれば画像診断でない」ものはある fact6: 「仮に「賞球数であるが説明し易くない」ということは成り立たないなら煙たい」物はある fact7: もしその第一四分位数が下げ渡すがそれは花ちゃんでないとしたらそれは口汚くない fact8: もしその第一四分位数が三分後でないとすれば花ちゃんであるということはない fact9: 「「三分後であるしそれに訝しい」ということは偽であるなら花ちゃんでない」ものはある fact10: 「「結果しないとすれば入り易いということはない」ものはある」ということは成り立つ fact11: もしも「その第一四分位数は三分後だが訝しくない」ということは偽であるとすればそれは花ちゃんでない ; $hypothesis$ = 「もし仮に「三分後であるし訝しくない」ということは間違っているとしたら花ちゃんでない」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: もしも「とある物は益無しけれど残り御飯でない」ということは偽であるならそれは観想しない
事実2: 「もし三分後だ一方で訝しくないとすれば花ちゃんであるということはない」ものはある
事実3: 「もし仮に「還住するが喧しくない」ということは誤っているとしたら「芳しい」ということは本当な」ものはある
事実4: 「もし仮に三分後でないとすれば花ちゃんでない」物はある
事実5: 「もしも「恥ずかしい自主的判断である」ということは誤っているとすれば画像診断でない」ものはある
事実6: 「仮に「賞球数であるが説明し易くない」ということは成り立たないなら煙たい」物はある
事実7: もしその第一四分位数が下げ渡すがそれは花ちゃんでないとしたらそれは口汚くない
事実8: もしその第一四分位数が三分後でないとすれば花ちゃんであるということはない
事実9: 「「三分後であるしそれに訝しい」ということは偽であるなら花ちゃんでない」ものはある
事実10: 「「結果しないとすれば入り易いということはない」ものはある」ということは成り立つ
事実11: もしも「その第一四分位数は三分後だが訝しくない」ということは偽であるとすればそれは花ちゃんでない

仮説: 「もし仮に「三分後であるし訝しくない」ということは間違っているとしたら花ちゃんでない」ものはある
1. 事実11から、仮説が導かれる

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