「この金管は召喚するしそれは待ち遠しい」ということは偽である
fact1: もしも「この一纏りは愛しいがしかしそれは野暮ったくない」ということは成り立たないとしたらあのＡＤＳＬ装置は召喚しない fact2: この一纏りは往生出来るということはない fact3: あの自益信託は借り入れ資金だ fact4: もし仮にこのペイントツールは往生出来ないとすれば「この一纏りは愛しいが野暮ったくない」ということは誤りだ fact5: もし仮にあのＡＤＳＬ装置が召喚しないならばこの金管は召喚するし加えてそれは待ち遠しい fact6: 「この争議団員は往生出来るけれど捻り出すということはない」ということは成り立たない fact7: もし「この争議団員は強弁しないし捻り出さない」ということは誤っているとするとこのペイントツールは往生出来ない fact8: 仮にあの自益信託は借り入れ資金であるとすると「この争議団員は強弁しなくておまけにそれは捻り出さない」ということは誤っている fact9: 「この一纏りは愛しくてそれは野暮ったい」ということは間違いだ
fact8 & fact3 -> int1: 「この争議団員は強弁しないしさらに捻り出さない」ということは成り立たない; int1 & fact7 -> int2: このペイントツールは往生出来ない; int2 & fact4 -> int3: 「この一纏りは愛しいけれど野暮ったくない」ということは成り立たない; int3 & fact1 -> int4: あのＡＤＳＬ装置は召喚しない; int4 & fact5 -> hypothesis;
$facts$ = fact1: もしも「この一纏りは愛しいがしかしそれは野暮ったくない」ということは成り立たないとしたらあのＡＤＳＬ装置は召喚しない fact2: この一纏りは往生出来るということはない fact3: あの自益信託は借り入れ資金だ fact4: もし仮にこのペイントツールは往生出来ないとすれば「この一纏りは愛しいが野暮ったくない」ということは誤りだ fact5: もし仮にあのＡＤＳＬ装置が召喚しないならばこの金管は召喚するし加えてそれは待ち遠しい fact6: 「この争議団員は往生出来るけれど捻り出すということはない」ということは成り立たない fact7: もし「この争議団員は強弁しないし捻り出さない」ということは誤っているとするとこのペイントツールは往生出来ない fact8: 仮にあの自益信託は借り入れ資金であるとすると「この争議団員は強弁しなくておまけにそれは捻り出さない」ということは誤っている fact9: 「この一纏りは愛しくてそれは野暮ったい」ということは間違いだ ; $hypothesis$ = 「この金管は召喚するしそれは待ち遠しい」ということは偽である ; $proof$ = 
fact8 & fact3 -> int1: 「この争議団員は強弁しないしさらに捻り出さない」ということは成り立たない; int1 & fact7 -> int2: このペイントツールは往生出来ない; int2 & fact4 -> int3: 「この一纏りは愛しいけれど野暮ったくない」ということは成り立たない; int3 & fact1 -> int4: あのＡＤＳＬ装置は召喚しない; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: もしも「この一纏りは愛しいがしかしそれは野暮ったくない」ということは成り立たないとしたらあのＡＤＳＬ装置は召喚しない
事実2: この一纏りは往生出来るということはない
事実3: あの自益信託は借り入れ資金だ
事実4: もし仮にこのペイントツールは往生出来ないとすれば「この一纏りは愛しいが野暮ったくない」ということは誤りだ
事実5: もし仮にあのＡＤＳＬ装置が召喚しないならばこの金管は召喚するし加えてそれは待ち遠しい
事実6: 「この争議団員は往生出来るけれど捻り出すということはない」ということは成り立たない
事実7: もし「この争議団員は強弁しないし捻り出さない」ということは誤っているとするとこのペイントツールは往生出来ない
事実8: 仮にあの自益信託は借り入れ資金であるとすると「この争議団員は強弁しなくておまけにそれは捻り出さない」ということは誤っている
事実9: 「この一纏りは愛しくてそれは野暮ったい」ということは間違いだ

仮説: 「この金管は召喚するしそれは待ち遠しい」ということは偽である
1. 事実8と事実3から、推論1: "「この争議団員は強弁しないしさらに捻り出さない」ということは成り立たない"が導かれる
2. 推論1と事実7から、推論2: "このペイントツールは往生出来ない"が導かれる
3. 推論2と事実4から、推論3: "「この一纏りは愛しいけれど野暮ったくない」ということは成り立たない"が導かれる
4. 推論3と事実1から、推論4: "あのＡＤＳＬ装置は召喚しない"が導かれる
5. 推論4と事実5から、仮説が否定される

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