このツールアイコンは因り難いということはない
fact1: 「このツールアイコンは丸いけれど痛み易くない」ということは間違いだとしたらそれは因り難いということはない fact2: 「「このツールアイコンは丸いが痛み易いということはない」ということは誤っている」ということは事実と異ならない
$facts$ = fact1: 「このツールアイコンは丸いけれど痛み易くない」ということは間違いだとしたらそれは因り難いということはない fact2: 「「このツールアイコンは丸いが痛み易いということはない」ということは誤っている」ということは事実と異ならない ; $hypothesis$ = このツールアイコンは因り難いということはない ; $proof$ = 
事実1: 「このツールアイコンは丸いけれど痛み易くない」ということは間違いだとしたらそれは因り難いということはない
事実2: 「「このツールアイコンは丸いが痛み易いということはない」ということは誤っている」ということは事実と異ならない

仮説: このツールアイコンは因り難いということはない