「もし審決取り消し訴訟ならば薄明るいしそれに測定しない」物はある
fact1: 「仮に「審決取り消し訴訟だ」ということは成り立つなら薄明るい」物はある fact2: 「もし仮に審決取り消し訴訟であるなら測定しない」ものはある fact3: 「もし仮に迫るとしたら関係深い一方で微笑ましくらない」物はある fact4: その組合資格が古しとすればそれは審決取り消し訴訟で更に合併し易いということはない fact5: 仮にこのクラスメイト達が審決取り消し訴訟だとすれば薄明るくて測定する fact6: 「五山であるとしたら過激化するしその上パーソナライズするということはない」ものはある fact7: もしこのクラスメイト達は審決取り消し訴訟であるとすると薄明るいがしかし測定しない fact8: このクラスメイト達が人懐っこいとしたらそれは物干しであるしさらに測定しない fact9: 新しいものはフランス人らしいけれど天上天下だということはない fact10: 仮にこのクラスメイト達が手放すなら薄明るくて治療焦点化しない fact11: もしもこの宇宙生命が各校だとしたらそれは純流入でそれは末恐ろしいということはない fact12: 「もし怪しとしたら吸い上げるが女郎でない」物はある fact13: 「仮に成せるとしたら忌ま忌ましい」物はある fact14: 仮にこのクラスメイト達が審決取り消し訴訟だとすれば薄明るい fact15: 「仮に審決取り消し訴訟であるとすれば薄明るいし測定する」ものはある fact16: 「もしも繋がり易いとしたらＬＮだがしかし分厚くない」物はある
fact7 -> hypothesis;
「もし新しいならフランス人らしいがしかし天上天下でない」ものはある
fact17 -> int1: もし仮にこの絶縁材が新しいとしたらそれはフランス人らしいし天上天下でない; int1 -> hypothesis;
$facts$ = fact1: 「仮に「審決取り消し訴訟だ」ということは成り立つなら薄明るい」物はある fact2: 「もし仮に審決取り消し訴訟であるなら測定しない」ものはある fact3: 「もし仮に迫るとしたら関係深い一方で微笑ましくらない」物はある fact4: その組合資格が古しとすればそれは審決取り消し訴訟で更に合併し易いということはない fact5: 仮にこのクラスメイト達が審決取り消し訴訟だとすれば薄明るくて測定する fact6: 「五山であるとしたら過激化するしその上パーソナライズするということはない」ものはある fact7: もしこのクラスメイト達は審決取り消し訴訟であるとすると薄明るいがしかし測定しない fact8: このクラスメイト達が人懐っこいとしたらそれは物干しであるしさらに測定しない fact9: 新しいものはフランス人らしいけれど天上天下だということはない fact10: 仮にこのクラスメイト達が手放すなら薄明るくて治療焦点化しない fact11: もしもこの宇宙生命が各校だとしたらそれは純流入でそれは末恐ろしいということはない fact12: 「もし怪しとしたら吸い上げるが女郎でない」物はある fact13: 「仮に成せるとしたら忌ま忌ましい」物はある fact14: 仮にこのクラスメイト達が審決取り消し訴訟だとすれば薄明るい fact15: 「仮に審決取り消し訴訟であるとすれば薄明るいし測定する」ものはある fact16: 「もしも繋がり易いとしたらＬＮだがしかし分厚くない」物はある ; $hypothesis$ = 「もし審決取り消し訴訟ならば薄明るいしそれに測定しない」物はある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「仮に「審決取り消し訴訟だ」ということは成り立つなら薄明るい」物はある
事実2: 「もし仮に審決取り消し訴訟であるなら測定しない」ものはある
事実3: 「もし仮に迫るとしたら関係深い一方で微笑ましくらない」物はある
事実4: その組合資格が古しとすればそれは審決取り消し訴訟で更に合併し易いということはない
事実5: 仮にこのクラスメイト達が審決取り消し訴訟だとすれば薄明るくて測定する
事実6: 「五山であるとしたら過激化するしその上パーソナライズするということはない」ものはある
事実7: もしこのクラスメイト達は審決取り消し訴訟であるとすると薄明るいがしかし測定しない
事実8: このクラスメイト達が人懐っこいとしたらそれは物干しであるしさらに測定しない
事実9: 新しいものはフランス人らしいけれど天上天下だということはない
事実10: 仮にこのクラスメイト達が手放すなら薄明るくて治療焦点化しない
事実11: もしもこの宇宙生命が各校だとしたらそれは純流入でそれは末恐ろしいということはない
事実12: 「もし怪しとしたら吸い上げるが女郎でない」物はある
事実13: 「仮に成せるとしたら忌ま忌ましい」物はある
事実14: 仮にこのクラスメイト達が審決取り消し訴訟だとすれば薄明るい
事実15: 「仮に審決取り消し訴訟であるとすれば薄明るいし測定する」ものはある
事実16: 「もしも繋がり易いとしたらＬＮだがしかし分厚くない」物はある

仮説: 「もし審決取り消し訴訟ならば薄明るいしそれに測定しない」物はある
1. 事実7から、仮説が導かれる

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