「あのシングルカムは阿呆らしいしまた口さがない」ということは事実と異なる
fact1: あのシングルカムは阿呆らしい fact2: もしも「とある物は黒しない」ということは誤りでないとすると「「それは阿呆らしいしかつ口さがない」ということは確かである」ということは嘘だ fact3: もし抜け易い物は対象会社株主でないとすると会社債権者でない fact4: 「あの教師自身はやんごとない」ということは成り立つ fact5: もしも「あの教師自身はやんごとなくない」ということは嘘ならあの当主夫妻は抜け易いがしかし対象会社株主でない fact6: あのシングルカムは口さがない fact7: もしあの当主夫妻が会社債権者だということはないけどそれが正しさならばあのシングルカムは黒しということはない
fact1 & fact6 -> hypothesis;
fact1 & fact6 -> hypothesis;
「あのシングルカムは阿呆らしいしかつそれは口さがない」ということは成り立たない
fact10 -> int1: 「あのシングルカムは黒しない」ということは成り立てば「それは阿呆らしいしそれにそれは口さがない」ということは間違いである; fact8 -> int2: もしあの当主夫妻が抜け易い一方でそれは対象会社株主であるということはないとするとそれは会社債権者でない; fact11 & fact12 -> int3: あの当主夫妻は抜け易いが対象会社株主でない; int2 & int3 -> int4: あの当主夫妻は会社債権者でない;
$facts$ = fact1: あのシングルカムは阿呆らしい fact2: もしも「とある物は黒しない」ということは誤りでないとすると「「それは阿呆らしいしかつ口さがない」ということは確かである」ということは嘘だ fact3: もし抜け易い物は対象会社株主でないとすると会社債権者でない fact4: 「あの教師自身はやんごとない」ということは成り立つ fact5: もしも「あの教師自身はやんごとなくない」ということは嘘ならあの当主夫妻は抜け易いがしかし対象会社株主でない fact6: あのシングルカムは口さがない fact7: もしあの当主夫妻が会社債権者だということはないけどそれが正しさならばあのシングルカムは黒しということはない ; $hypothesis$ = 「あのシングルカムは阿呆らしいしまた口さがない」ということは事実と異なる ; $proof$ = 
fact1 & fact6 -> hypothesis; __DISPROVED__
事実1: あのシングルカムは阿呆らしい
事実2: もしも「とある物は黒しない」ということは誤りでないとすると「「それは阿呆らしいしかつ口さがない」ということは確かである」ということは嘘だ
事実3: もし抜け易い物は対象会社株主でないとすると会社債権者でない
事実4: 「あの教師自身はやんごとない」ということは成り立つ
事実5: もしも「あの教師自身はやんごとなくない」ということは嘘ならあの当主夫妻は抜け易いがしかし対象会社株主でない
事実6: あのシングルカムは口さがない
事実7: もしあの当主夫妻が会社債権者だということはないけどそれが正しさならばあのシングルカムは黒しということはない

仮説: 「あのシングルカムは阿呆らしいしまた口さがない」ということは事実と異なる
1. 事実1と事実6から、仮説が否定される

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