「その偽陽性は太り難い」ということは真実である
fact1: あの消費地はポリバケツでない fact2: 「「なにがしかの物は新規参入するしその上ポリバケツだ」ということは成り立つ」ということは成り立たないならばポリバケツでない fact3: その偽陽性は太り難くて探し易い fact4: もし「あの老人斑はポリバケツでない」ということは正しいとするとそのマルチは乗っ取らなくてそれにみっとも可愛くない fact5: もし仮にそのマルチは乗っ取らないなら「あの山野楽器海外営業部は太り難いけど探し易いということはない」ということは誤っている
fact3 -> hypothesis;
fact3 -> hypothesis;
その偽陽性は太り難いということはない
fact8 -> int1: 「あの老人斑は新規参入するしまたそれはポリバケツだ」ということは偽であるならポリバケツでない; fact7 -> int2: 「ポリバケツでない」ものはある;
$facts$ = fact1: あの消費地はポリバケツでない fact2: 「「なにがしかの物は新規参入するしその上ポリバケツだ」ということは成り立つ」ということは成り立たないならばポリバケツでない fact3: その偽陽性は太り難くて探し易い fact4: もし「あの老人斑はポリバケツでない」ということは正しいとするとそのマルチは乗っ取らなくてそれにみっとも可愛くない fact5: もし仮にそのマルチは乗っ取らないなら「あの山野楽器海外営業部は太り難いけど探し易いということはない」ということは誤っている ; $hypothesis$ = 「その偽陽性は太り難い」ということは真実である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの消費地はポリバケツでない
事実2: 「「なにがしかの物は新規参入するしその上ポリバケツだ」ということは成り立つ」ということは成り立たないならばポリバケツでない
事実3: その偽陽性は太り難くて探し易い
事実4: もし「あの老人斑はポリバケツでない」ということは正しいとするとそのマルチは乗っ取らなくてそれにみっとも可愛くない
事実5: もし仮にそのマルチは乗っ取らないなら「あの山野楽器海外営業部は太り難いけど探し易いということはない」ということは誤っている

仮説: 「その偽陽性は太り難い」ということは真実である
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。