「この障壁は導き得るがペイオフだということはない」ということは事実だ
fact1: 「材質でない」ものはある fact2: あの卵巣過剰刺激症候群は導き得ない fact3: 「「導き得ない」ということは本当な」ものはある fact4: この生物学的要因はペイオフでないならば「この障壁は導き得るがペイオフでない」ということは事実と異なる fact5: もし仮に何かは導き得ないとすればあの障壁はペイオフでない fact6: もし「材質でない」ものがあるとするとこの生物学的要因はペイオフでない
fact1 & fact6 -> int1: この生物学的要因はペイオフであるということはない; int1 & fact4 -> hypothesis;
$facts$ = fact1: 「材質でない」ものはある fact2: あの卵巣過剰刺激症候群は導き得ない fact3: 「「導き得ない」ということは本当な」ものはある fact4: この生物学的要因はペイオフでないならば「この障壁は導き得るがペイオフでない」ということは事実と異なる fact5: もし仮に何かは導き得ないとすればあの障壁はペイオフでない fact6: もし「材質でない」ものがあるとするとこの生物学的要因はペイオフでない ; $hypothesis$ = 「この障壁は導き得るがペイオフだということはない」ということは事実だ ; $proof$ = 
fact1 & fact6 -> int1: この生物学的要因はペイオフであるということはない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「材質でない」ものはある
事実2: あの卵巣過剰刺激症候群は導き得ない
事実3: 「「導き得ない」ということは本当な」ものはある
事実4: この生物学的要因はペイオフでないならば「この障壁は導き得るがペイオフでない」ということは事実と異なる
事実5: もし仮に何かは導き得ないとすればあの障壁はペイオフでない
事実6: もし「材質でない」ものがあるとするとこの生物学的要因はペイオフでない

仮説: 「この障壁は導き得るがペイオフだということはない」ということは事実だ
1. 事実1と事実6から、推論1: "この生物学的要因はペイオフであるということはない"が導かれる
2. 推論1と事実4から、仮説が否定される

よって、仮説が否定されました。