このスペックＩＥＳは仕る
fact1: 「このスペックＩＥＳは白状するけど十万円未満であるということはない」ということは成り立つということはない fact2: 仮に「「このスペックＩＥＳは白状するけれど十万円未満でない」ということは確かである」ということは嘘だとするとそれは仕る
$facts$ = fact1: 「このスペックＩＥＳは白状するけど十万円未満であるということはない」ということは成り立つということはない fact2: 仮に「「このスペックＩＥＳは白状するけれど十万円未満でない」ということは確かである」ということは嘘だとするとそれは仕る ; $hypothesis$ = このスペックＩＥＳは仕る ; $proof$ = 
事実1: 「このスペックＩＥＳは白状するけど十万円未満であるということはない」ということは成り立つということはない
事実2: 仮に「「このスペックＩＥＳは白状するけれど十万円未満でない」ということは確かである」ということは嘘だとするとそれは仕る

仮説: このスペックＩＥＳは仕る