「このＦＣＲはつるつるしないしまた膠着でない」ということは間違いだ
fact1: 「あるものは乗車しない」ということは本当だとしたらそれはセルフケアであるしおまけに当然過ぎる fact2: このＦＣＲは稲岡等だ fact3: 仮にこのＦＣＲは稲岡等であるならばそれはつるつるしなくてそれに膠着であるということはない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
あのＣＧＲＰは稲岡等だ
fact4 -> int1: その隣席が乗車しないとすればセルフケアでかつ当然過ぎる;
$facts$ = fact1: 「あるものは乗車しない」ということは本当だとしたらそれはセルフケアであるしおまけに当然過ぎる fact2: このＦＣＲは稲岡等だ fact3: 仮にこのＦＣＲは稲岡等であるならばそれはつるつるしなくてそれに膠着であるということはない ; $hypothesis$ = 「このＦＣＲはつるつるしないしまた膠着でない」ということは間違いだ ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: 「あるものは乗車しない」ということは本当だとしたらそれはセルフケアであるしおまけに当然過ぎる
事実2: このＦＣＲは稲岡等だ
事実3: 仮にこのＦＣＲは稲岡等であるならばそれはつるつるしなくてそれに膠着であるということはない

仮説: 「このＦＣＲはつるつるしないしまた膠着でない」ということは間違いだ
1. 事実3と事実2から、仮説が否定される

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