この建築士は図太い
fact1: 「この建築士は狙い難いか御馳走しないか両方である」ということは間違っていれば「それは敵中深くない」ということは本当である fact2: もしもこの建築士が名乗り続けるとしたらこの畳掃除は発生し易い fact3: 敵中深くない物は名乗り続けるしさらに食害する fact4: 何らかの物は発生し易いなら「勇ましいけれど図太くない」ということは確かでない fact5: あの補償金等は入れ込む一方で電機長でない fact6: もし仮に「何かは勇ましいけど図太いということはない」ということは事実と異なるとすると電機長でない fact7: この建築士は電機長だがしかし図太くない
fact7 -> hypothesis;
fact7 -> hypothesis;
この畳掃除は電機長でない
fact10 -> int1: 仮に「この畳掃除は勇ましいけど図太いということはない」ということは成り立つということはないとすればそれは電機長だということはない; fact11 -> int2: この畳掃除は発生し易いとすると「それは勇ましいけど図太くない」ということは成り立たない; fact12 -> int3: もしもこの建築士が敵中深くないならばそれは名乗り続けるしおまけに食害する;
$facts$ = fact1: 「この建築士は狙い難いか御馳走しないか両方である」ということは間違っていれば「それは敵中深くない」ということは本当である fact2: もしもこの建築士が名乗り続けるとしたらこの畳掃除は発生し易い fact3: 敵中深くない物は名乗り続けるしさらに食害する fact4: 何らかの物は発生し易いなら「勇ましいけれど図太くない」ということは確かでない fact5: あの補償金等は入れ込む一方で電機長でない fact6: もし仮に「何かは勇ましいけど図太いということはない」ということは事実と異なるとすると電機長でない fact7: この建築士は電機長だがしかし図太くない ; $hypothesis$ = この建築士は図太い ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 「この建築士は狙い難いか御馳走しないか両方である」ということは間違っていれば「それは敵中深くない」ということは本当である
事実2: もしもこの建築士が名乗り続けるとしたらこの畳掃除は発生し易い
事実3: 敵中深くない物は名乗り続けるしさらに食害する
事実4: 何らかの物は発生し易いなら「勇ましいけれど図太くない」ということは確かでない
事実5: あの補償金等は入れ込む一方で電機長でない
事実6: もし仮に「何かは勇ましいけど図太いということはない」ということは事実と異なるとすると電機長でない
事実7: この建築士は電機長だがしかし図太くない

仮説: この建築士は図太い
1. 事実7から、仮説が否定される

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