「あの妊娠期間はレディング発であるしまた征服する」ということは嘘である
fact1: 仮にその秘密真言がっ早いとしたらあの妊娠期間はレディング発だ fact2: あの妊娠期間は返済する fact3: もしもその秘密真言が征服するとしたらあの妊娠期間はっ早い fact4: そのホラー番長は征服する fact5: その秘密真言は返済しないしさらに発症し易いということはない fact6: 仮にその秘密真言が返済するということはないけど発症し易いとすればそれはっ早い fact7: 「あの妊娠期間はっ早い」ということは間違いでない fact8: 仮にその秘密真言は返済するけど発症し易くないとすればっ早い fact9: もし仮にあの妊娠期間はっ早くないしそれに征服しないとすればそれはレディング発だ fact10: その秘密真言が返済しなくてその上それは発症し易くないとすればそれはっ早い fact11: あの妊娠期間は征服する
fact10 & fact5 -> int1: その秘密真言はっ早い; int1 & fact1 -> int2: あの妊娠期間はレディング発である; int2 & fact11 -> hypothesis;
$facts$ = fact1: 仮にその秘密真言がっ早いとしたらあの妊娠期間はレディング発だ fact2: あの妊娠期間は返済する fact3: もしもその秘密真言が征服するとしたらあの妊娠期間はっ早い fact4: そのホラー番長は征服する fact5: その秘密真言は返済しないしさらに発症し易いということはない fact6: 仮にその秘密真言が返済するということはないけど発症し易いとすればそれはっ早い fact7: 「あの妊娠期間はっ早い」ということは間違いでない fact8: 仮にその秘密真言は返済するけど発症し易くないとすればっ早い fact9: もし仮にあの妊娠期間はっ早くないしそれに征服しないとすればそれはレディング発だ fact10: その秘密真言が返済しなくてその上それは発症し易くないとすればそれはっ早い fact11: あの妊娠期間は征服する ; $hypothesis$ = 「あの妊娠期間はレディング発であるしまた征服する」ということは嘘である ; $proof$ = 
fact10 & fact5 -> int1: その秘密真言はっ早い; int1 & fact1 -> int2: あの妊娠期間はレディング発である; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にその秘密真言がっ早いとしたらあの妊娠期間はレディング発だ
事実2: あの妊娠期間は返済する
事実3: もしもその秘密真言が征服するとしたらあの妊娠期間はっ早い
事実4: そのホラー番長は征服する
事実5: その秘密真言は返済しないしさらに発症し易いということはない
事実6: 仮にその秘密真言が返済するということはないけど発症し易いとすればそれはっ早い
事実7: 「あの妊娠期間はっ早い」ということは間違いでない
事実8: 仮にその秘密真言は返済するけど発症し易くないとすればっ早い
事実9: もし仮にあの妊娠期間はっ早くないしそれに征服しないとすればそれはレディング発だ
事実10: その秘密真言が返済しなくてその上それは発症し易くないとすればそれはっ早い
事実11: あの妊娠期間は征服する

仮説: 「あの妊娠期間はレディング発であるしまた征服する」ということは嘘である
1. 事実10と事実5から、推論1: "その秘密真言はっ早い"が導かれる
2. 推論1と事実1から、推論2: "あの妊娠期間はレディング発である"が導かれる
3. 推論2と事実11から、仮説が否定される

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