その虚血性心疾患はきったない
fact1: すべては様良くなくて加えてそれは共催する fact2: あらゆるものは気難しくない fact3: なにかは下底でないとしたら様良しけれど共催しない fact4: 仮にこの不沈戦艦が様良くない一方でそれが共催するとするとその虚血性心疾患はきったなくない fact5: もしあの日本人学校が下底だが震わないならばその泊まりは下底でない fact6: そのスミス理解は薄明るい
fact1 -> int1: この不沈戦艦は様良くないけれど共催する; int1 & fact4 -> hypothesis;
fact1 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact4 -> hypothesis;
「その虚血性心疾患はきったない」ということは確かだ
fact9 -> int2: その泊まりは下底でないとしたらそれは様良しけど共催しない; fact7 -> int3: 「薄明るい」物はある;
$facts$ = fact1: すべては様良くなくて加えてそれは共催する fact2: あらゆるものは気難しくない fact3: なにかは下底でないとしたら様良しけれど共催しない fact4: 仮にこの不沈戦艦が様良くない一方でそれが共催するとするとその虚血性心疾患はきったなくない fact5: もしあの日本人学校が下底だが震わないならばその泊まりは下底でない fact6: そのスミス理解は薄明るい ; $hypothesis$ = その虚血性心疾患はきったない ; $proof$ = 
fact1 -> int1: この不沈戦艦は様良くないけれど共催する; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: すべては様良くなくて加えてそれは共催する
事実2: あらゆるものは気難しくない
事実3: なにかは下底でないとしたら様良しけれど共催しない
事実4: 仮にこの不沈戦艦が様良くない一方でそれが共催するとするとその虚血性心疾患はきったなくない
事実5: もしあの日本人学校が下底だが震わないならばその泊まりは下底でない
事実6: そのスミス理解は薄明るい

仮説: その虚血性心疾患はきったない
1. 事実1から、推論1: "この不沈戦艦は様良くないけれど共催する"が導かれる
2. 推論1と事実4から、仮説が否定される

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