この実質所得は個人情報取り扱い事業者でない
fact1: もし「あのデッサンはＪＯＹでない」ということは真実であるとしたらこの実質所得はＪＯＹでない fact2: もしもあの課題場面が小賢しいならばあのデッサンはＪＯＹでない fact3: 仮にあの著作群は適用時期であるとするとそれは黄体だ fact4: もしあの常在菌は跳ね飛ばさないとすれば「この実質所得は跳ね飛ばさない」ということは真実だ fact5: なんらかのものは残念がらないとすれば「自力再建でない」ということは成り立つ fact6: もしなにがしかのものが跳ね飛ばすとしたら個人情報取り扱い事業者である fact7: 仮に「残念がるということはない」ものはあるとすれば「あの常在菌は上記要件でないがしかし残念がる」ということは誤りだ fact8: もしもこの実質所得は個人情報取り扱い事業者でないとしたら「あの常在菌は個人情報取り扱い事業者でない」ということは確かである fact9: もし「あの常在菌は跳ね飛ばさない」ということは真実ならばこの実質所得は個人情報取り扱い事業者でないしおまけにそれは跳ね飛ばさない fact10: もしあの著作群が黄体であるとすればあの課題場面はチェックす fact11: この実質所得は跳ね飛ばさない fact12: 仮に何らかのものは見下げないかＪＯＹであるということはないかもしくは両方ともであるとすれば吹き掛けない fact13: もしなんらかのものがチェックすとすれば小賢しい fact14: もし仮に「何らかの物は上記要件でない一方で残念がる」ということは誤っているとすると自力再建でない fact15: もし仮に「あの常在菌は自力再建でない」ということは成り立つとしたら跳ね飛ばさない fact16: 「残念がらない」物はある fact17: もしもとある物は吹き掛けないとしたら「それは研究開発するしそれは自力再建である」ということは事実である fact18: 何らかの物は残念がる fact19: 「なにかは自力再建であるならばそれは跳ね飛ばす」ということは成り立つ
fact14 -> int1: 「「あの常在菌は上記要件でないがしかし残念がる」ということは正しい」ということは誤っているとすれば自力再建でない; fact16 & fact7 -> int2: 「あの常在菌は上記要件でないがしかし残念がる」ということは成り立つということはない; int1 & int2 -> int3: 「あの常在菌は自力再建でない」ということは本当である; int3 & fact15 -> int4: あの常在菌は跳ね飛ばさない; int4 & fact9 -> int5: この実質所得は個人情報取り扱い事業者でなくてしかも跳ね飛ばさない; int5 -> hypothesis;
この実質所得は個人情報取り扱い事業者だ
fact23 -> int6: もし仮にこの実質所得が跳ね飛ばすなら個人情報取り扱い事業者である; fact26 -> int7: もしもこの実質所得が自力再建ならそれは跳ね飛ばす; fact25 -> int8: 仮にこの実質所得が吹き掛けないとすれば研究開発するししかも自力再建である; fact27 -> int9: もし仮にこの実質所得は見下げないかＪＯＹでないかあるいはどちらもだとすればそれは吹き掛けるということはない; fact22 -> int10: 仮にあの課題場面がチェックすとするとそれは小賢しい;
$facts$ = fact1: もし「あのデッサンはＪＯＹでない」ということは真実であるとしたらこの実質所得はＪＯＹでない fact2: もしもあの課題場面が小賢しいならばあのデッサンはＪＯＹでない fact3: 仮にあの著作群は適用時期であるとするとそれは黄体だ fact4: もしあの常在菌は跳ね飛ばさないとすれば「この実質所得は跳ね飛ばさない」ということは真実だ fact5: なんらかのものは残念がらないとすれば「自力再建でない」ということは成り立つ fact6: もしなにがしかのものが跳ね飛ばすとしたら個人情報取り扱い事業者である fact7: 仮に「残念がるということはない」ものはあるとすれば「あの常在菌は上記要件でないがしかし残念がる」ということは誤りだ fact8: もしもこの実質所得は個人情報取り扱い事業者でないとしたら「あの常在菌は個人情報取り扱い事業者でない」ということは確かである fact9: もし「あの常在菌は跳ね飛ばさない」ということは真実ならばこの実質所得は個人情報取り扱い事業者でないしおまけにそれは跳ね飛ばさない fact10: もしあの著作群が黄体であるとすればあの課題場面はチェックす fact11: この実質所得は跳ね飛ばさない fact12: 仮に何らかのものは見下げないかＪＯＹであるということはないかもしくは両方ともであるとすれば吹き掛けない fact13: もしなんらかのものがチェックすとすれば小賢しい fact14: もし仮に「何らかの物は上記要件でない一方で残念がる」ということは誤っているとすると自力再建でない fact15: もし仮に「あの常在菌は自力再建でない」ということは成り立つとしたら跳ね飛ばさない fact16: 「残念がらない」物はある fact17: もしもとある物は吹き掛けないとしたら「それは研究開発するしそれは自力再建である」ということは事実である fact18: 何らかの物は残念がる fact19: 「なにかは自力再建であるならばそれは跳ね飛ばす」ということは成り立つ ; $hypothesis$ = この実質所得は個人情報取り扱い事業者でない ; $proof$ = 
fact14 -> int1: 「「あの常在菌は上記要件でないがしかし残念がる」ということは正しい」ということは誤っているとすれば自力再建でない; fact16 & fact7 -> int2: 「あの常在菌は上記要件でないがしかし残念がる」ということは成り立つということはない; int1 & int2 -> int3: 「あの常在菌は自力再建でない」ということは本当である; int3 & fact15 -> int4: あの常在菌は跳ね飛ばさない; int4 & fact9 -> int5: この実質所得は個人情報取り扱い事業者でなくてしかも跳ね飛ばさない; int5 -> hypothesis; __PROVED__
事実1: もし「あのデッサンはＪＯＹでない」ということは真実であるとしたらこの実質所得はＪＯＹでない
事実2: もしもあの課題場面が小賢しいならばあのデッサンはＪＯＹでない
事実3: 仮にあの著作群は適用時期であるとするとそれは黄体だ
事実4: もしあの常在菌は跳ね飛ばさないとすれば「この実質所得は跳ね飛ばさない」ということは真実だ
事実5: なんらかのものは残念がらないとすれば「自力再建でない」ということは成り立つ
事実6: もしなにがしかのものが跳ね飛ばすとしたら個人情報取り扱い事業者である
事実7: 仮に「残念がるということはない」ものはあるとすれば「あの常在菌は上記要件でないがしかし残念がる」ということは誤りだ
事実8: もしもこの実質所得は個人情報取り扱い事業者でないとしたら「あの常在菌は個人情報取り扱い事業者でない」ということは確かである
事実9: もし「あの常在菌は跳ね飛ばさない」ということは真実ならばこの実質所得は個人情報取り扱い事業者でないしおまけにそれは跳ね飛ばさない
事実10: もしあの著作群が黄体であるとすればあの課題場面はチェックす
事実11: この実質所得は跳ね飛ばさない
事実12: 仮に何らかのものは見下げないかＪＯＹであるということはないかもしくは両方ともであるとすれば吹き掛けない
事実13: もしなんらかのものがチェックすとすれば小賢しい
事実14: もし仮に「何らかの物は上記要件でない一方で残念がる」ということは誤っているとすると自力再建でない
事実15: もし仮に「あの常在菌は自力再建でない」ということは成り立つとしたら跳ね飛ばさない
事実16: 「残念がらない」物はある
事実17: もしもとある物は吹き掛けないとしたら「それは研究開発するしそれは自力再建である」ということは事実である
事実18: 何らかの物は残念がる
事実19: 「なにかは自力再建であるならばそれは跳ね飛ばす」ということは成り立つ

仮説: この実質所得は個人情報取り扱い事業者でない
1. 事実14から、推論1: "「「あの常在菌は上記要件でないがしかし残念がる」ということは正しい」ということは誤っているとすれば自力再建でない"が導かれる
2. 事実16と事実7から、推論2: "「あの常在菌は上記要件でないがしかし残念がる」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "「あの常在菌は自力再建でない」ということは本当である"が導かれる
4. 推論3と事実15から、推論4: "あの常在菌は跳ね飛ばさない"が導かれる
5. 推論4と事実9から、推論5: "この実質所得は個人情報取り扱い事業者でなくてしかも跳ね飛ばさない"が導かれる
6. 推論5から、仮説が導かれる

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