そのダンスフロアは人懐こくないしまた付け易くない
fact1: 「そのダンスフロアは付け易くない」ということは確かだ fact2: もし仮にあのスイッチング・ポットが小狡くないならばそのダンスフロアは人懐こくないし付け易いということはない fact3: もしも「「ホーリータグでなくてそれに余る」ということは成り立つということはない」ものがあればそのダンスフロアはホーリータグである fact4: もし仮にそのダンスフロアは人懐こくないし付け易くないならばホーリータグでない fact5: 「「ホーリータグでないがしかし余る」ということは誤っている」物はある fact6: 「「ホーリータグで余る」ということは成り立たない」物はある
void -> assump1: 以下のように仮定する。そのダンスフロアは人懐こくないし付け易くない; fact4 & assump1 -> int1: そのダンスフロアはホーリータグであるということはない; fact5 & fact3 -> int2: 「そのダンスフロアはホーリータグである」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
そのダンスフロアは人懐こくないしさらに付け易くない
$facts$ = fact1: 「そのダンスフロアは付け易くない」ということは確かだ fact2: もし仮にあのスイッチング・ポットが小狡くないならばそのダンスフロアは人懐こくないし付け易いということはない fact3: もしも「「ホーリータグでなくてそれに余る」ということは成り立つということはない」ものがあればそのダンスフロアはホーリータグである fact4: もし仮にそのダンスフロアは人懐こくないし付け易くないならばホーリータグでない fact5: 「「ホーリータグでないがしかし余る」ということは誤っている」物はある fact6: 「「ホーリータグで余る」ということは成り立たない」物はある ; $hypothesis$ = そのダンスフロアは人懐こくないしまた付け易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのダンスフロアは人懐こくないし付け易くない; fact4 & assump1 -> int1: そのダンスフロアはホーリータグであるということはない; fact5 & fact3 -> int2: 「そのダンスフロアはホーリータグである」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「そのダンスフロアは付け易くない」ということは確かだ
事実2: もし仮にあのスイッチング・ポットが小狡くないならばそのダンスフロアは人懐こくないし付け易いということはない
事実3: もしも「「ホーリータグでなくてそれに余る」ということは成り立つということはない」ものがあればそのダンスフロアはホーリータグである
事実4: もし仮にそのダンスフロアは人懐こくないし付け易くないならばホーリータグでない
事実5: 「「ホーリータグでないがしかし余る」ということは誤っている」物はある
事実6: 「「ホーリータグで余る」ということは成り立たない」物はある

仮説: そのダンスフロアは人懐こくないしまた付け易くない
1. 仮定1: 以下のように仮定する。そのダンスフロアは人懐こくないし付け易くない
2. 事実4と仮定1から、推論1: "そのダンスフロアはホーリータグであるということはない"が導かれる
3. 事実5と事実3から、推論2: "「そのダンスフロアはホーリータグである」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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