「その動労内はＨＡＣＣＰでないがしかしそれは狭苦しい」ということは間違いだ
fact1: もしその第十七項がＨＡＣＣＰならば青い fact2: 仮に「その動労内はＨＡＣＣＰでない」ということは成り立つとすればその第十七項は狭苦しい fact3: 仮になんらかの物が危殆化するとすると青いかまたは辞さない fact4: 青い物は危殆化する fact5: その利害関係者は危殆化する fact6: 「その利害関係者は辞さない」ということは本当だ fact7: もしもその第十七項がスペイン系でないならばあの動労内は引退するしそれにそれは危殆化する fact8: もし仮にその第十七項がＨＡＣＣＰでないとしたらその動労内はＨＡＣＣＰでないがしかし狭苦しい fact9: もしなんらかの物は青いとすると「それはＨＡＣＣＰでないがしかし狭苦しい」ということは偽だ fact10: その利害関係者が危殆化するけれど辞すということはないならばその第十七項は危殆化しない
void -> assump1: 以下のように仮定する。その第十七項はＨＡＣＣＰだ; fact1 & assump1 -> int1: その第十七項は青い; fact4 -> int2: その第十七項が青いなら危殆化する; int1 & int2 -> int3: その第十七項は危殆化する; fact5 & fact6 -> int4: その利害関係者は危殆化するがしかし辞さない; int4 & fact10 -> int5: 「その第十七項は危殆化しない」ということは偽でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その第十七項はＨＡＣＣＰでない; int7 & fact8 -> hypothesis;
「その動労内はＨＡＣＣＰだということはない一方で狭苦しい」ということは偽である
fact12 -> int8: 「その動労内は青い」ということは成り立てば「ＨＡＣＣＰでない一方で狭苦しい」ということは成り立たない; fact13 -> int9: もしもその動労内が危殆化すればそれは青いかまたは辞しないかまたは両方ともである;
$facts$ = fact1: もしその第十七項がＨＡＣＣＰならば青い fact2: 仮に「その動労内はＨＡＣＣＰでない」ということは成り立つとすればその第十七項は狭苦しい fact3: 仮になんらかの物が危殆化するとすると青いかまたは辞さない fact4: 青い物は危殆化する fact5: その利害関係者は危殆化する fact6: 「その利害関係者は辞さない」ということは本当だ fact7: もしもその第十七項がスペイン系でないならばあの動労内は引退するしそれにそれは危殆化する fact8: もし仮にその第十七項がＨＡＣＣＰでないとしたらその動労内はＨＡＣＣＰでないがしかし狭苦しい fact9: もしなんらかの物は青いとすると「それはＨＡＣＣＰでないがしかし狭苦しい」ということは偽だ fact10: その利害関係者が危殆化するけれど辞すということはないならばその第十七項は危殆化しない ; $hypothesis$ = 「その動労内はＨＡＣＣＰでないがしかしそれは狭苦しい」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その第十七項はＨＡＣＣＰだ; fact1 & assump1 -> int1: その第十七項は青い; fact4 -> int2: その第十七項が青いなら危殆化する; int1 & int2 -> int3: その第十七項は危殆化する; fact5 & fact6 -> int4: その利害関係者は危殆化するがしかし辞さない; int4 & fact10 -> int5: 「その第十七項は危殆化しない」ということは偽でない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その第十七項はＨＡＣＣＰでない; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: もしその第十七項がＨＡＣＣＰならば青い
事実2: 仮に「その動労内はＨＡＣＣＰでない」ということは成り立つとすればその第十七項は狭苦しい
事実3: 仮になんらかの物が危殆化するとすると青いかまたは辞さない
事実4: 青い物は危殆化する
事実5: その利害関係者は危殆化する
事実6: 「その利害関係者は辞さない」ということは本当だ
事実7: もしもその第十七項がスペイン系でないならばあの動労内は引退するしそれにそれは危殆化する
事実8: もし仮にその第十七項がＨＡＣＣＰでないとしたらその動労内はＨＡＣＣＰでないがしかし狭苦しい
事実9: もしなんらかの物は青いとすると「それはＨＡＣＣＰでないがしかし狭苦しい」ということは偽だ
事実10: その利害関係者が危殆化するけれど辞すということはないならばその第十七項は危殆化しない

仮説: 「その動労内はＨＡＣＣＰでないがしかしそれは狭苦しい」ということは間違いだ
1. 仮定1: 以下のように仮定する。その第十七項はＨＡＣＣＰだ
2. 事実1と仮定1から、推論1: "その第十七項は青い"が導かれる
3. 事実4から、推論2: "その第十七項が青いなら危殆化する"が導かれる
4. 推論1と推論2から、推論3: "その第十七項は危殆化する"が導かれる
5. 事実5と事実6から、推論4: "その利害関係者は危殆化するがしかし辞さない"が導かれる
6. 推論4と事実10から、推論5: "「その第十七項は危殆化しない」ということは偽でない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その第十七項はＨＡＣＣＰでない"が導かれる
9. 推論7と事実8から、仮説が否定される

よって、仮説が否定されました。