「その永久磁石は食み出るがしかし保全部でない」ということは成り立たない
fact1: もしもその永久磁石はルームメイトであるとすると食み出る一方で保全部でない fact2: その永久磁石はルームメイトだ
$facts$ = fact1: もしもその永久磁石はルームメイトであるとすると食み出る一方で保全部でない fact2: その永久磁石はルームメイトだ ; $hypothesis$ = 「その永久磁石は食み出るがしかし保全部でない」ということは成り立たない ; $proof$ = 
事実1: もしもその永久磁石はルームメイトであるとすると食み出る一方で保全部でない
事実2: その永久磁石はルームメイトだ

仮説: 「その永久磁石は食み出るがしかし保全部でない」ということは成り立たない