「この爛れはペア血清だしその上奥さんである」ということは誤りだ
fact1: もし何かは変動しないとすると「それはペア血清だし奥さんである」ということは間違っている fact2: この二産生は監査業務である fact3: 「「創隊するしかつめんどくない」ということは誤っている」ものはある fact4: この二産生は変動するししかも監査業務である fact5: 仮にこの二産生が変動するとするとこの爛れはペア血清である fact6: 「「監査業務であるが変動しない」ということは間違いである」ものはある fact7: 仮に「「変動するしかつペア血清でない」ということは成り立たない」ものがあるとすればこの二産生は奥さんだ fact8: 「「創隊するしめんどくない」ということは成り立たない」ものがあるならこの爛れは奥さんだ
fact4 -> int1: この二産生は変動する; int1 & fact5 -> int2: この爛れはペア血清だ; fact3 & fact8 -> int3: この爛れは奥さんである; int2 & int3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; fact3 & fact8 -> int3: {D}{b}; int2 & int3 -> hypothesis;
「この爛れはペア血清で奥さんである」ということは成り立たない
fact9 -> int4: 仮に「この爛れは変動しない」ということは確かだとすれば「それはペア血清であるしその上それは奥さんだ」ということは嘘だ;
$facts$ = fact1: もし何かは変動しないとすると「それはペア血清だし奥さんである」ということは間違っている fact2: この二産生は監査業務である fact3: 「「創隊するしかつめんどくない」ということは誤っている」ものはある fact4: この二産生は変動するししかも監査業務である fact5: 仮にこの二産生が変動するとするとこの爛れはペア血清である fact6: 「「監査業務であるが変動しない」ということは間違いである」ものはある fact7: 仮に「「変動するしかつペア血清でない」ということは成り立たない」ものがあるとすればこの二産生は奥さんだ fact8: 「「創隊するしめんどくない」ということは成り立たない」ものがあるならこの爛れは奥さんだ ; $hypothesis$ = 「この爛れはペア血清だしその上奥さんである」ということは誤りだ ; $proof$ = 
fact4 -> int1: この二産生は変動する; int1 & fact5 -> int2: この爛れはペア血清だ; fact3 & fact8 -> int3: この爛れは奥さんである; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし何かは変動しないとすると「それはペア血清だし奥さんである」ということは間違っている
事実2: この二産生は監査業務である
事実3: 「「創隊するしかつめんどくない」ということは誤っている」ものはある
事実4: この二産生は変動するししかも監査業務である
事実5: 仮にこの二産生が変動するとするとこの爛れはペア血清である
事実6: 「「監査業務であるが変動しない」ということは間違いである」ものはある
事実7: 仮に「「変動するしかつペア血清でない」ということは成り立たない」ものがあるとすればこの二産生は奥さんだ
事実8: 「「創隊するしめんどくない」ということは成り立たない」ものがあるならこの爛れは奥さんだ

仮説: 「この爛れはペア血清だしその上奥さんである」ということは誤りだ
1. 事実4から、推論1: "この二産生は変動する"が導かれる
2. 推論1と事実5から、推論2: "この爛れはペア血清だ"が導かれる
3. 事実3と事実8から、推論3: "この爛れは奥さんである"が導かれる
4. 推論2と推論3から、仮説が否定される

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