その医療受給者証は痒い
fact1: もしもその御家人は専念すとすると「「その医療受給者証は捗々しいということはないしその上凭せらない」ということは成り立つということはない」ということは嘘でない fact2: 「その医療受給者証は捗々しくないがしかし凭せる」ということは成り立つということはない fact3: 「その御家人は専念す」ということは偽だということはない fact4: もしもとあるものは政府サービスであるが専念すらないとすれば痒い fact5: 「その医療受給者証は捗々しいということはなくて更に専念すらない」ということは嘘である fact6: もし「あるものは捗々しくなくて加えて凭せらない」ということは偽だとするとそれは痒くない
fact6 -> int1: 「その医療受給者証は捗々しくないしまたそれは凭せらない」ということは嘘だとすればそれは痒くない; fact1 & fact3 -> int2: 「その医療受給者証は捗々しくないしその上凭せるということはない」ということは嘘である; int1 & int2 -> hypothesis;
fact6 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact1 & fact3 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
その医療受給者証は痒い
fact7 -> int3: もしもその医療受給者証が政府サービスだけど専念すらないとすればそれは痒い;
$facts$ = fact1: もしもその御家人は専念すとすると「「その医療受給者証は捗々しいということはないしその上凭せらない」ということは成り立つということはない」ということは嘘でない fact2: 「その医療受給者証は捗々しくないがしかし凭せる」ということは成り立つということはない fact3: 「その御家人は専念す」ということは偽だということはない fact4: もしもとあるものは政府サービスであるが専念すらないとすれば痒い fact5: 「その医療受給者証は捗々しいということはなくて更に専念すらない」ということは嘘である fact6: もし「あるものは捗々しくなくて加えて凭せらない」ということは偽だとするとそれは痒くない ; $hypothesis$ = その医療受給者証は痒い ; $proof$ = 
fact6 -> int1: 「その医療受給者証は捗々しくないしまたそれは凭せらない」ということは嘘だとすればそれは痒くない; fact1 & fact3 -> int2: 「その医療受給者証は捗々しくないしその上凭せるということはない」ということは嘘である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもその御家人は専念すとすると「「その医療受給者証は捗々しいということはないしその上凭せらない」ということは成り立つということはない」ということは嘘でない
事実2: 「その医療受給者証は捗々しくないがしかし凭せる」ということは成り立つということはない
事実3: 「その御家人は専念す」ということは偽だということはない
事実4: もしもとあるものは政府サービスであるが専念すらないとすれば痒い
事実5: 「その医療受給者証は捗々しいということはなくて更に専念すらない」ということは嘘である
事実6: もし「あるものは捗々しくなくて加えて凭せらない」ということは偽だとするとそれは痒くない

仮説: その医療受給者証は痒い
1. 事実6から、推論1: "「その医療受給者証は捗々しくないしまたそれは凭せらない」ということは嘘だとすればそれは痒くない"が導かれる
2. 事実1と事実3から、推論2: "「その医療受給者証は捗々しくないしその上凭せるということはない」ということは嘘である"が導かれる
3. 推論1と推論2から、仮説が否定される

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