このエスカルゴバターは作業前体操だ
fact1: 「免除しないかもしくは心安いかあるいは両方である」物があるとしたらこのエスカルゴバターは作業前体操であるということはない fact2: 何かは免除しないかまたは心安いか両方ともである
$facts$ = fact1: 「免除しないかもしくは心安いかあるいは両方である」物があるとしたらこのエスカルゴバターは作業前体操であるということはない fact2: 何かは免除しないかまたは心安いか両方ともである ; $hypothesis$ = このエスカルゴバターは作業前体操だ ; $proof$ = 
事実1: 「免除しないかもしくは心安いかあるいは両方である」物があるとしたらこのエスカルゴバターは作業前体操であるということはない
事実2: 何かは免除しないかまたは心安いか両方ともである

仮説: このエスカルゴバターは作業前体操だ