その六郡は余所余所しさだ
fact1: もし仮に「なにがしかのものは聞き違わなくて八後期でない」ということは嘘であるとすればそれは余所余所しさでない fact2: それは聞き違わなくて八後期でないという物はない fact3: 「竜吉公主は御優しくない」ということは成り立つ fact4: 仮に「その六郡は恐れ多い」ということは事実だとすれば拭い難くない fact5: 目覚ましくないしさらに研究成果であるということはないというものはない
fact2 -> int1: 「その六郡は聞き違わないし八後期でない」ということは間違いだ; fact1 -> int2: もし仮に「その六郡は聞き違わないしおまけにそれは八後期であるということはない」ということは嘘なら「余所余所しさだ」ということは真実でない; int1 & int2 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); fact1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮に「なにがしかのものは聞き違わなくて八後期でない」ということは嘘であるとすればそれは余所余所しさでない fact2: それは聞き違わなくて八後期でないという物はない fact3: 「竜吉公主は御優しくない」ということは成り立つ fact4: 仮に「その六郡は恐れ多い」ということは事実だとすれば拭い難くない fact5: 目覚ましくないしさらに研究成果であるということはないというものはない ; $hypothesis$ = その六郡は余所余所しさだ ; $proof$ = 
fact2 -> int1: 「その六郡は聞き違わないし八後期でない」ということは間違いだ; fact1 -> int2: もし仮に「その六郡は聞き違わないしおまけにそれは八後期であるということはない」ということは嘘なら「余所余所しさだ」ということは真実でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにがしかのものは聞き違わなくて八後期でない」ということは嘘であるとすればそれは余所余所しさでない
事実2: それは聞き違わなくて八後期でないという物はない
事実3: 「竜吉公主は御優しくない」ということは成り立つ
事実4: 仮に「その六郡は恐れ多い」ということは事実だとすれば拭い難くない
事実5: 目覚ましくないしさらに研究成果であるということはないというものはない

仮説: その六郡は余所余所しさだ
1. 事実2から、推論1: "「その六郡は聞き違わないし八後期でない」ということは間違いだ"が導かれる
2. 事実1から、推論2: "もし仮に「その六郡は聞き違わないしおまけにそれは八後期であるということはない」ということは嘘なら「余所余所しさだ」ということは真実でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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