「「専門大学だとしたら「仲間らしくないしリスト化しない」ということは嘘な」ものはある」ということは成り立たない
fact1: 仮に何らかの物は専門大学なら「仲間らしくないしそれにリスト化するということはない」ということは間違いだ
fact1 -> int1: もしもその接客は専門大学であるとすると「それは仲間らしいということはないし更にそれはリスト化しない」ということは間違いだ; int1 -> hypothesis;
$facts$ = fact1: 仮に何らかの物は専門大学なら「仲間らしくないしそれにリスト化するということはない」ということは間違いだ ; $hypothesis$ = 「「専門大学だとしたら「仲間らしくないしリスト化しない」ということは嘘な」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしもその接客は専門大学であるとすると「それは仲間らしいということはないし更にそれはリスト化しない」ということは間違いだ; int1 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物は専門大学なら「仲間らしくないしそれにリスト化するということはない」ということは間違いだ

仮説: 「「専門大学だとしたら「仲間らしくないしリスト化しない」ということは嘘な」ものはある」ということは成り立たない
1. 事実1から、推論1: "もしもその接客は専門大学であるとすると「それは仲間らしいということはないし更にそれはリスト化しない」ということは間違いだ"が導かれる
2. 推論1から、仮説が否定される

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