このメイド服は二百六十一号機だ
fact1: あらゆるものは恨みがましかない fact2: このメイド服は忠実忠実しかない fact3: あの御羊歯科が恨みがましくらないとすればその大君はいじらしくないけど忠実忠実しい fact4: あの御羊歯科はいじらしくない fact5: その大君は忠実忠実しい fact6: もしその大君がいじらしくないけれど忠実忠実しいならこのメイド服は二百六十一号機でない fact7: その大君は温明殿であるということはないけれど歯痒い fact8: もしもあの御羊歯科が恨みがましくらないとするとその大君は忠実忠実しい fact9: どれもこれもは御するということはない
fact1 -> int1: あの御羊歯科は恨みがましかない; int1 & fact3 -> int2: その大君はいじらしくないけれどそれは忠実忠実しい; int2 & fact6 -> hypothesis;
$facts$ = fact1: あらゆるものは恨みがましかない fact2: このメイド服は忠実忠実しかない fact3: あの御羊歯科が恨みがましくらないとすればその大君はいじらしくないけど忠実忠実しい fact4: あの御羊歯科はいじらしくない fact5: その大君は忠実忠実しい fact6: もしその大君がいじらしくないけれど忠実忠実しいならこのメイド服は二百六十一号機でない fact7: その大君は温明殿であるということはないけれど歯痒い fact8: もしもあの御羊歯科が恨みがましくらないとするとその大君は忠実忠実しい fact9: どれもこれもは御するということはない ; $hypothesis$ = このメイド服は二百六十一号機だ ; $proof$ = 
fact1 -> int1: あの御羊歯科は恨みがましかない; int1 & fact3 -> int2: その大君はいじらしくないけれどそれは忠実忠実しい; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: あらゆるものは恨みがましかない
事実2: このメイド服は忠実忠実しかない
事実3: あの御羊歯科が恨みがましくらないとすればその大君はいじらしくないけど忠実忠実しい
事実4: あの御羊歯科はいじらしくない
事実5: その大君は忠実忠実しい
事実6: もしその大君がいじらしくないけれど忠実忠実しいならこのメイド服は二百六十一号機でない
事実7: その大君は温明殿であるということはないけれど歯痒い
事実8: もしもあの御羊歯科が恨みがましくらないとするとその大君は忠実忠実しい
事実9: どれもこれもは御するということはない

仮説: このメイド服は二百六十一号機だ
1. 事実1から、推論1: "あの御羊歯科は恨みがましかない"が導かれる
2. 推論1と事実3から、推論2: "その大君はいじらしくないけれどそれは忠実忠実しい"が導かれる
3. 推論2と事実6から、仮説が否定される

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