もし仮にこの保護者等は建築するなら「あのインダシンは揺動角でないが感想文である」ということは成り立たない
fact1: 「この保護者等はインバスケットでないがしかし女々しい」ということは嘘だ fact2: 「この保護者等はインバスケットでない」ということは本当だ fact3: 仮にあのインダシンは女々しかないならば「それが揺動角だしそれは感想文だ」ということは成り立たない fact4: 仮になんらかの物は女々しかないとすれば「揺動角でないけど感想文である」ということは誤っている fact5: もし仮にこの保護者等が減退するし建築するとしたらあのインダシンは女々しかない fact6: この保護者等はインバスケットでないとしたら減退するしそれに苛立たしい fact7: もし「この保護者等はインバスケットでない」ということは本当だとすればそれは苛立たしい fact8: 「この保護者等は苛立たしい」ということは成り立つ
fact6 & fact2 -> int1: この保護者等は減退するしその上苛立たしい; int1 -> int2: この保護者等は減退する; void -> assump1: 以下のように仮定する。この保護者等は建築する; int2 & assump1 -> int3: この保護者等は減退するしそれに建築する; int3 & fact5 -> int4: あのインダシンは女々しかない; fact4 -> int5: もしも「あのインダシンは女々しかない」ということは事実ならば「揺動角でないしそれは感想文である」ということは誤りだ; int4 & int5 -> int6: 「あのインダシンは揺動角でないけどそれは感想文である」ということは成り立たない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 「この保護者等はインバスケットでないがしかし女々しい」ということは嘘だ fact2: 「この保護者等はインバスケットでない」ということは本当だ fact3: 仮にあのインダシンは女々しかないならば「それが揺動角だしそれは感想文だ」ということは成り立たない fact4: 仮になんらかの物は女々しかないとすれば「揺動角でないけど感想文である」ということは誤っている fact5: もし仮にこの保護者等が減退するし建築するとしたらあのインダシンは女々しかない fact6: この保護者等はインバスケットでないとしたら減退するしそれに苛立たしい fact7: もし「この保護者等はインバスケットでない」ということは本当だとすればそれは苛立たしい fact8: 「この保護者等は苛立たしい」ということは成り立つ ; $hypothesis$ = もし仮にこの保護者等は建築するなら「あのインダシンは揺動角でないが感想文である」ということは成り立たない ; $proof$ = 
fact6 & fact2 -> int1: この保護者等は減退するしその上苛立たしい; int1 -> int2: この保護者等は減退する; void -> assump1: 以下のように仮定する。この保護者等は建築する; int2 & assump1 -> int3: この保護者等は減退するしそれに建築する; int3 & fact5 -> int4: あのインダシンは女々しかない; fact4 -> int5: もしも「あのインダシンは女々しかない」ということは事実ならば「揺動角でないしそれは感想文である」ということは誤りだ; int4 & int5 -> int6: 「あのインダシンは揺動角でないけどそれは感想文である」ということは成り立たない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「この保護者等はインバスケットでないがしかし女々しい」ということは嘘だ
事実2: 「この保護者等はインバスケットでない」ということは本当だ
事実3: 仮にあのインダシンは女々しかないならば「それが揺動角だしそれは感想文だ」ということは成り立たない
事実4: 仮になんらかの物は女々しかないとすれば「揺動角でないけど感想文である」ということは誤っている
事実5: もし仮にこの保護者等が減退するし建築するとしたらあのインダシンは女々しかない
事実6: この保護者等はインバスケットでないとしたら減退するしそれに苛立たしい
事実7: もし「この保護者等はインバスケットでない」ということは本当だとすればそれは苛立たしい
事実8: 「この保護者等は苛立たしい」ということは成り立つ

仮説: もし仮にこの保護者等は建築するなら「あのインダシンは揺動角でないが感想文である」ということは成り立たない
1. 事実6と事実2から、推論1: "この保護者等は減退するしその上苛立たしい"が導かれる
2. 推論1から、推論2: "この保護者等は減退する"が導かれる
3. 仮定1: 以下のように仮定する。この保護者等は建築する
4. 推論2と仮定1から、推論3: "この保護者等は減退するしそれに建築する"が導かれる
5. 推論3と事実5から、推論4: "あのインダシンは女々しかない"が導かれる
6. 事実4から、推論5: "もしも「あのインダシンは女々しかない」ということは事実ならば「揺動角でないしそれは感想文である」ということは誤りだ"が導かれる
7. 推論4と推論5から、推論6: "「あのインダシンは揺動角でないけどそれは感想文である」ということは成り立たない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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