「もしも「このガソリンタンクは心苦しい」ということは真実であるとしたらこのガソリンタンクは粗くない」ということは成り立たない
fact1: もしもとある物が心苦しいならば粗くない
$facts$ = fact1: もしもとある物が心苦しいならば粗くない ; $hypothesis$ = 「もしも「このガソリンタンクは心苦しい」ということは真実であるとしたらこのガソリンタンクは粗くない」ということは成り立たない ; $proof$ = 
事実1: もしもとある物が心苦しいならば粗くない

仮説: 「もしも「このガソリンタンクは心苦しい」ということは真実であるとしたらこのガソリンタンクは粗くない」ということは成り立たない