「あの認証機関は目立つし出生証明書である」ということは誤りだ
fact1: もし「あるものはぎごちなくないしかつ目立たない」ということは成り立たないならばそれは目立つ fact2: 仮に何らかのものはぎごちなくないならば「「それは目立つし出生証明書である」ということは正しい」ということは誤っている fact3: もしもなにかは出生証明書でないとすると「それはぎごちなくないし目立たない」ということは間違いだ fact4: もし「その学業不振は出生証明書で人事局である」ということは間違いであるなら「その免震装置は出生証明書でない」ということは誤りでない fact5: 「もしその学業不振はぎごちなくないとしたらあの認証機関は住み良くない一方で目立つ」ということは偽でない fact6: その学業不振はぎごちなくない fact7: 仮にあの認証機関は人事局であるなら出生証明書だ fact8: もし仮にその学業不振が受け難くないとするとそれは人事局だし気忙しい fact9: あの認証機関は人事局だ fact10: もしもあるものは御上げ為さらないならば「それは出生証明書であるししかも人事局だ」ということは嘘である
fact5 & fact6 -> int1: あの認証機関は住み良くないがしかし目立つ; int1 -> int2: あの認証機関は目立つ; fact7 & fact9 -> int3: あの認証機関は出生証明書である; int2 & int3 -> hypothesis;
fact5 & fact6 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; fact7 & fact9 -> int3: {B}{b}; int2 & int3 -> hypothesis;
「あの認証機関が目立つしその上出生証明書である」ということは成り立たない
fact11 -> int4: 「仮にあの認証機関はぎごちないということはないならば「あの認証機関は目立つしかつ出生証明書である」ということは間違いである」ということは間違いでない;
$facts$ = fact1: もし「あるものはぎごちなくないしかつ目立たない」ということは成り立たないならばそれは目立つ fact2: 仮に何らかのものはぎごちなくないならば「「それは目立つし出生証明書である」ということは正しい」ということは誤っている fact3: もしもなにかは出生証明書でないとすると「それはぎごちなくないし目立たない」ということは間違いだ fact4: もし「その学業不振は出生証明書で人事局である」ということは間違いであるなら「その免震装置は出生証明書でない」ということは誤りでない fact5: 「もしその学業不振はぎごちなくないとしたらあの認証機関は住み良くない一方で目立つ」ということは偽でない fact6: その学業不振はぎごちなくない fact7: 仮にあの認証機関は人事局であるなら出生証明書だ fact8: もし仮にその学業不振が受け難くないとするとそれは人事局だし気忙しい fact9: あの認証機関は人事局だ fact10: もしもあるものは御上げ為さらないならば「それは出生証明書であるししかも人事局だ」ということは嘘である ; $hypothesis$ = 「あの認証機関は目立つし出生証明書である」ということは誤りだ ; $proof$ = 
fact5 & fact6 -> int1: あの認証機関は住み良くないがしかし目立つ; int1 -> int2: あの認証機関は目立つ; fact7 & fact9 -> int3: あの認証機関は出生証明書である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし「あるものはぎごちなくないしかつ目立たない」ということは成り立たないならばそれは目立つ
事実2: 仮に何らかのものはぎごちなくないならば「「それは目立つし出生証明書である」ということは正しい」ということは誤っている
事実3: もしもなにかは出生証明書でないとすると「それはぎごちなくないし目立たない」ということは間違いだ
事実4: もし「その学業不振は出生証明書で人事局である」ということは間違いであるなら「その免震装置は出生証明書でない」ということは誤りでない
事実5: 「もしその学業不振はぎごちなくないとしたらあの認証機関は住み良くない一方で目立つ」ということは偽でない
事実6: その学業不振はぎごちなくない
事実7: 仮にあの認証機関は人事局であるなら出生証明書だ
事実8: もし仮にその学業不振が受け難くないとするとそれは人事局だし気忙しい
事実9: あの認証機関は人事局だ
事実10: もしもあるものは御上げ為さらないならば「それは出生証明書であるししかも人事局だ」ということは嘘である

仮説: 「あの認証機関は目立つし出生証明書である」ということは誤りだ
1. 事実5と事実6から、推論1: "あの認証機関は住み良くないがしかし目立つ"が導かれる
2. 推論1から、推論2: "あの認証機関は目立つ"が導かれる
3. 事実7と事実9から、推論3: "あの認証機関は出生証明書である"が導かれる
4. 推論2と推論3から、仮説が否定される

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