この被後見人等は淡くない
fact1: 仮にあの開発教育がＳＵＶでないとすればそれは動体検知機能付きだし取り上げる fact2: もしあの開発教育は著効であるならばそれはカウンター席でない fact3: 仮にあの開発教育がＳＵＶであるしキープ出来るとすればあの被後見人等は淡くない fact4: 仮にとある物がカウンター席であるということはないとしたら溶かし込むしそれにキープ出来る fact5: あの開発教育は動体検知機能付きでない fact6: あの開発教育は著効だ
void -> assump1: 以下のように仮定する。「あの開発教育はＳＵＶでない」ということは確かである; fact1 & assump1 -> int1: あの開発教育は動体検知機能付きであるしまた取り上げる; int1 -> int2: あの開発教育は動体検知機能付きである; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの開発教育はＳＵＶだ; fact4 -> int5: あの開発教育はカウンター席でないならば溶かし込むしキープ出来る; fact6 & fact2 -> int6: あの開発教育はカウンター席でない; int5 & int6 -> int7: あの開発教育は溶かし込むしおまけにそれはキープ出来る; int7 -> int8: あの開発教育はキープ出来る; int4 & int8 -> int9: あの開発教育はＳＵＶであるしキープ出来る; int9 & fact3 -> hypothesis;
$facts$ = fact1: 仮にあの開発教育がＳＵＶでないとすればそれは動体検知機能付きだし取り上げる fact2: もしあの開発教育は著効であるならばそれはカウンター席でない fact3: 仮にあの開発教育がＳＵＶであるしキープ出来るとすればあの被後見人等は淡くない fact4: 仮にとある物がカウンター席であるということはないとしたら溶かし込むしそれにキープ出来る fact5: あの開発教育は動体検知機能付きでない fact6: あの開発教育は著効だ ; $hypothesis$ = この被後見人等は淡くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの開発教育はＳＵＶでない」ということは確かである; fact1 & assump1 -> int1: あの開発教育は動体検知機能付きであるしまた取り上げる; int1 -> int2: あの開発教育は動体検知機能付きである; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの開発教育はＳＵＶだ; fact4 -> int5: あの開発教育はカウンター席でないならば溶かし込むしキープ出来る; fact6 & fact2 -> int6: あの開発教育はカウンター席でない; int5 & int6 -> int7: あの開発教育は溶かし込むしおまけにそれはキープ出来る; int7 -> int8: あの開発教育はキープ出来る; int4 & int8 -> int9: あの開発教育はＳＵＶであるしキープ出来る; int9 & fact3 -> hypothesis; __PROVED__
事実1: 仮にあの開発教育がＳＵＶでないとすればそれは動体検知機能付きだし取り上げる
事実2: もしあの開発教育は著効であるならばそれはカウンター席でない
事実3: 仮にあの開発教育がＳＵＶであるしキープ出来るとすればあの被後見人等は淡くない
事実4: 仮にとある物がカウンター席であるということはないとしたら溶かし込むしそれにキープ出来る
事実5: あの開発教育は動体検知機能付きでない
事実6: あの開発教育は著効だ

仮説: この被後見人等は淡くない
1. 仮定1: 以下のように仮定する。「あの開発教育はＳＵＶでない」ということは確かである
2. 事実1と仮定1から、推論1: "あの開発教育は動体検知機能付きであるしまた取り上げる"が導かれる
3. 推論1から、推論2: "あの開発教育は動体検知機能付きである"が導かれる
4. 推論2と事実5から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの開発教育はＳＵＶだ"が導かれる
6. 事実4から、推論5: "あの開発教育はカウンター席でないならば溶かし込むしキープ出来る"が導かれる
7. 事実6と事実2から、推論6: "あの開発教育はカウンター席でない"が導かれる
8. 推論5と推論6から、推論7: "あの開発教育は溶かし込むしおまけにそれはキープ出来る"が導かれる
9. 推論7から、推論8: "あの開発教育はキープ出来る"が導かれる
10. 推論4と推論8から、推論9: "あの開発教育はＳＵＶであるしキープ出来る"が導かれる
11. 推論9と事実3から、仮説が導かれる

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