このパッパカ隊員はせせこましいけれど軌跡でない
fact1: 「このパッパカ隊員はせせこましくて更に軌跡だ」ということは嘘である fact2: ひょろ長くないものはせせこましいけれど軌跡でない fact3: 「この名宛人はせせこましいけれど里親家庭養護でない」ということは事実と異なる fact4: 「このパッパカ隊員はせせこましいがしかし軌跡でない」ということは間違いだ
fact4 -> hypothesis;
fact4 -> hypothesis;
このパッパカ隊員はせせこましいがしかし軌跡でない
fact5 -> int1: このパッパカ隊員がひょろ長くないとしたらそれはせせこましいけれど軌跡であるということはない;
$facts$ = fact1: 「このパッパカ隊員はせせこましくて更に軌跡だ」ということは嘘である fact2: ひょろ長くないものはせせこましいけれど軌跡でない fact3: 「この名宛人はせせこましいけれど里親家庭養護でない」ということは事実と異なる fact4: 「このパッパカ隊員はせせこましいがしかし軌跡でない」ということは間違いだ ; $hypothesis$ = このパッパカ隊員はせせこましいけれど軌跡でない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「このパッパカ隊員はせせこましくて更に軌跡だ」ということは嘘である
事実2: ひょろ長くないものはせせこましいけれど軌跡でない
事実3: 「この名宛人はせせこましいけれど里親家庭養護でない」ということは事実と異なる
事実4: 「このパッパカ隊員はせせこましいがしかし軌跡でない」ということは間違いだ

仮説: このパッパカ隊員はせせこましいけれど軌跡でない
1. 事実4から、仮説が否定される

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