この機関車は畳み込む
fact1: この機関車は煩がらないし欠乏症でない fact2: もし「この機関車は煩がらないしまた欠乏症でない」ということは間違いでないとすればそれは畳み込まない
$facts$ = fact1: この機関車は煩がらないし欠乏症でない fact2: もし「この機関車は煩がらないしまた欠乏症でない」ということは間違いでないとすればそれは畳み込まない ; $hypothesis$ = この機関車は畳み込む ; $proof$ = 
事実1: この機関車は煩がらないし欠乏症でない
事実2: もし「この機関車は煩がらないしまた欠乏症でない」ということは間違いでないとすればそれは畳み込まない

仮説: この機関車は畳み込む