もしあの一定程度は検分するとしたら「あの烏口鎖骨間は男の子らしいということはない」ということは成り立つ
fact1: 「怪しない」物はある fact2: もしも「こそばゆくないし更に怪しない」ものがあるならあの一定程度は検分しない fact3: あの一定程度はこそばゆくない fact4: あの烏口鎖骨間が男の子らしいならその油彩はこそばゆいということはないし怪しということはない fact5: 何らかのものは怪し一方で検分しない fact6: もしもその油彩が男の子らしいならばあの烏口鎖骨間は怪しないしそれに検分しない fact7: もし仮にとある物が検分しなくてこそばゆくないとすればあの烏口鎖骨間は男の子らしい fact8: 「検分しない」物はある fact9: もしあの烏口鎖骨間は検分するなら「あの一定程度は男の子らしい」ということは成り立つ
void -> assump1: 以下のように仮定する。あの烏口鎖骨間は男の子らしい; fact4 & assump1 -> int1: その油彩はこそばゆくなくて怪しということはない; int1 -> int2: なんらかのものはこそばゆくないしまたそれは怪しない; int2 & fact2 -> int3: あの一定程度は検分しない; void -> assump2: 以下のように仮定する。あの一定程度は検分する; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの烏口鎖骨間は男の子らしくない」ということは成り立つ; [assump2] & int5 -> hypothesis;
$facts$ = fact1: 「怪しない」物はある fact2: もしも「こそばゆくないし更に怪しない」ものがあるならあの一定程度は検分しない fact3: あの一定程度はこそばゆくない fact4: あの烏口鎖骨間が男の子らしいならその油彩はこそばゆいということはないし怪しということはない fact5: 何らかのものは怪し一方で検分しない fact6: もしもその油彩が男の子らしいならばあの烏口鎖骨間は怪しないしそれに検分しない fact7: もし仮にとある物が検分しなくてこそばゆくないとすればあの烏口鎖骨間は男の子らしい fact8: 「検分しない」物はある fact9: もしあの烏口鎖骨間は検分するなら「あの一定程度は男の子らしい」ということは成り立つ ; $hypothesis$ = もしあの一定程度は検分するとしたら「あの烏口鎖骨間は男の子らしいということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの烏口鎖骨間は男の子らしい; fact4 & assump1 -> int1: その油彩はこそばゆくなくて怪しということはない; int1 -> int2: なんらかのものはこそばゆくないしまたそれは怪しない; int2 & fact2 -> int3: あの一定程度は検分しない; void -> assump2: 以下のように仮定する。あの一定程度は検分する; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの烏口鎖骨間は男の子らしくない」ということは成り立つ; [assump2] & int5 -> hypothesis; __PROVED__
事実1: 「怪しない」物はある
事実2: もしも「こそばゆくないし更に怪しない」ものがあるならあの一定程度は検分しない
事実3: あの一定程度はこそばゆくない
事実4: あの烏口鎖骨間が男の子らしいならその油彩はこそばゆいということはないし怪しということはない
事実5: 何らかのものは怪し一方で検分しない
事実6: もしもその油彩が男の子らしいならばあの烏口鎖骨間は怪しないしそれに検分しない
事実7: もし仮にとある物が検分しなくてこそばゆくないとすればあの烏口鎖骨間は男の子らしい
事実8: 「検分しない」物はある
事実9: もしあの烏口鎖骨間は検分するなら「あの一定程度は男の子らしい」ということは成り立つ

仮説: もしあの一定程度は検分するとしたら「あの烏口鎖骨間は男の子らしいということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。あの烏口鎖骨間は男の子らしい
2. 事実4と仮定1から、推論1: "その油彩はこそばゆくなくて怪しということはない"が導かれる
3. 推論1から、推論2: "なんらかのものはこそばゆくないしまたそれは怪しない"が導かれる
4. 推論2と事実2から、推論3: "あの一定程度は検分しない"が導かれる
5. 仮定2: 以下のように仮定する。あの一定程度は検分する
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「あの烏口鎖骨間は男の子らしくない」ということは成り立つ"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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