「もしも「青林檎であるしかつ済ま無くない」ということは誤っているとしたら切断しない」物はある
fact1: 仮に「その栄養路は切断するけど洗浄・濃縮しない」ということは成り立つということはないならばそれは入り辛いということはない fact2: 「仮に青林檎でないとすれば切断するということはない」物はある fact3: もしこの訂正命令が漏れ出すけど乗り熟せらないとすれば保管でない fact4: 「「もしもクルド人だがしかしＣＩＴでないならば大型投資でない」ものはある」ということは成り立つ fact5: もし仮にこの訂正命令が済ま無いとしたらそれは切断しない fact6: もしも「「この訂正命令は青林檎である一方でそれは済ま無くない」ということは成り立つ」ということは事実と異なるとしたら「それは切断するということはない」ということは成り立つ fact7: 「「低し一方で日野Ｕ‐ＲＵ三ＦＴＡＢでないとすると仕方無くない」ものはある」ということは成り立つ fact8: 「仮に甘辛くて加えて枝垂れ桜でないなら「餓鬼っぽくない」ということは成り立つ」ものはある fact9: 「「青林檎だしその上済ま無い」ということは誤りであるならば切断しない」ものはある fact10: もし仮にこの訂正命令は済ま無いけれど齎し易くないとすれば立て難くない fact11: 仮に「とあるものは下手するけど程遠くない」ということは成り立たないならそれは美しいということはない fact12: 「もし仮に閃くし面倒臭くないとしたら退色しない」ものはある fact13: 「もし仮に「青林檎だが済ま無くない」ということは成り立たないとすると切断する」ものはある fact14: 「仮にプロテスタント教会だとすると「動き出しでない」ということは成り立つ」物はある fact15: 仮に「この訂正命令は青林檎である一方で済ま無くない」ということは間違っているとすると切断する
fact6 -> hypothesis;
「もし「下手するし加えて程遠くない」ということは間違っているとしたら美しいということはない」ものはある
fact16 -> int1: もし仮に「この小指は下手するけれど程遠くない」ということは成り立つということはないなら美しくない; int1 -> hypothesis;
$facts$ = fact1: 仮に「その栄養路は切断するけど洗浄・濃縮しない」ということは成り立つということはないならばそれは入り辛いということはない fact2: 「仮に青林檎でないとすれば切断するということはない」物はある fact3: もしこの訂正命令が漏れ出すけど乗り熟せらないとすれば保管でない fact4: 「「もしもクルド人だがしかしＣＩＴでないならば大型投資でない」ものはある」ということは成り立つ fact5: もし仮にこの訂正命令が済ま無いとしたらそれは切断しない fact6: もしも「「この訂正命令は青林檎である一方でそれは済ま無くない」ということは成り立つ」ということは事実と異なるとしたら「それは切断するということはない」ということは成り立つ fact7: 「「低し一方で日野Ｕ‐ＲＵ三ＦＴＡＢでないとすると仕方無くない」ものはある」ということは成り立つ fact8: 「仮に甘辛くて加えて枝垂れ桜でないなら「餓鬼っぽくない」ということは成り立つ」ものはある fact9: 「「青林檎だしその上済ま無い」ということは誤りであるならば切断しない」ものはある fact10: もし仮にこの訂正命令は済ま無いけれど齎し易くないとすれば立て難くない fact11: 仮に「とあるものは下手するけど程遠くない」ということは成り立たないならそれは美しいということはない fact12: 「もし仮に閃くし面倒臭くないとしたら退色しない」ものはある fact13: 「もし仮に「青林檎だが済ま無くない」ということは成り立たないとすると切断する」ものはある fact14: 「仮にプロテスタント教会だとすると「動き出しでない」ということは成り立つ」物はある fact15: 仮に「この訂正命令は青林檎である一方で済ま無くない」ということは間違っているとすると切断する ; $hypothesis$ = 「もしも「青林檎であるしかつ済ま無くない」ということは誤っているとしたら切断しない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮に「その栄養路は切断するけど洗浄・濃縮しない」ということは成り立つということはないならばそれは入り辛いということはない
事実2: 「仮に青林檎でないとすれば切断するということはない」物はある
事実3: もしこの訂正命令が漏れ出すけど乗り熟せらないとすれば保管でない
事実4: 「「もしもクルド人だがしかしＣＩＴでないならば大型投資でない」ものはある」ということは成り立つ
事実5: もし仮にこの訂正命令が済ま無いとしたらそれは切断しない
事実6: もしも「「この訂正命令は青林檎である一方でそれは済ま無くない」ということは成り立つ」ということは事実と異なるとしたら「それは切断するということはない」ということは成り立つ
事実7: 「「低し一方で日野Ｕ‐ＲＵ三ＦＴＡＢでないとすると仕方無くない」ものはある」ということは成り立つ
事実8: 「仮に甘辛くて加えて枝垂れ桜でないなら「餓鬼っぽくない」ということは成り立つ」ものはある
事実9: 「「青林檎だしその上済ま無い」ということは誤りであるならば切断しない」ものはある
事実10: もし仮にこの訂正命令は済ま無いけれど齎し易くないとすれば立て難くない
事実11: 仮に「とあるものは下手するけど程遠くない」ということは成り立たないならそれは美しいということはない
事実12: 「もし仮に閃くし面倒臭くないとしたら退色しない」ものはある
事実13: 「もし仮に「青林檎だが済ま無くない」ということは成り立たないとすると切断する」ものはある
事実14: 「仮にプロテスタント教会だとすると「動き出しでない」ということは成り立つ」物はある
事実15: 仮に「この訂正命令は青林檎である一方で済ま無くない」ということは間違っているとすると切断する

仮説: 「もしも「青林檎であるしかつ済ま無くない」ということは誤っているとしたら切断しない」物はある
1. 事実6から、仮説が導かれる

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