この専用ソフトは非接触型リーダライタだ
fact1: 仮に「「黄色っぽくないし貴方らしい」ということは嘘である」物があるとするとこの専用ソフトは非接触型リーダライタでない fact2: 「「黄色っぽいということはないし更に貴方らしい」ということは成り立たない」ものはある
$facts$ = fact1: 仮に「「黄色っぽくないし貴方らしい」ということは嘘である」物があるとするとこの専用ソフトは非接触型リーダライタでない fact2: 「「黄色っぽいということはないし更に貴方らしい」ということは成り立たない」ものはある ; $hypothesis$ = この専用ソフトは非接触型リーダライタだ ; $proof$ = 
事実1: 仮に「「黄色っぽくないし貴方らしい」ということは嘘である」物があるとするとこの専用ソフトは非接触型リーダライタでない
事実2: 「「黄色っぽいということはないし更に貴方らしい」ということは成り立たない」ものはある

仮説: この専用ソフトは非接触型リーダライタだ