このＩＳＳＰは水上艦でない
fact1: もしもとある物は袋入りであるということはないなら集約するししかも水上艦だ fact2: このＩＳＳＰは色茶屋だけど袋入りでない fact3: もしこのＩＳＳＰは袋入りでないならば集約する fact4: この土建業が袋入りでないしおまけに色茶屋でないならばこのＩＳＳＰは水上艦であるということはない
fact1 -> int1: もしもこのＩＳＳＰが袋入りでないとすればそれは集約するし水上艦だ; fact2 -> int2: このＩＳＳＰは袋入りでない; int1 & int2 -> int3: このＩＳＳＰが集約するしその上それは水上艦だ; int3 -> hypothesis;
このＩＳＳＰは水上艦でない
$facts$ = fact1: もしもとある物は袋入りであるということはないなら集約するししかも水上艦だ fact2: このＩＳＳＰは色茶屋だけど袋入りでない fact3: もしこのＩＳＳＰは袋入りでないならば集約する fact4: この土建業が袋入りでないしおまけに色茶屋でないならばこのＩＳＳＰは水上艦であるということはない ; $hypothesis$ = このＩＳＳＰは水上艦でない ; $proof$ = 
fact1 -> int1: もしもこのＩＳＳＰが袋入りでないとすればそれは集約するし水上艦だ; fact2 -> int2: このＩＳＳＰは袋入りでない; int1 & int2 -> int3: このＩＳＳＰが集約するしその上それは水上艦だ; int3 -> hypothesis; __DISPROVED__
事実1: もしもとある物は袋入りであるということはないなら集約するししかも水上艦だ
事実2: このＩＳＳＰは色茶屋だけど袋入りでない
事実3: もしこのＩＳＳＰは袋入りでないならば集約する
事実4: この土建業が袋入りでないしおまけに色茶屋でないならばこのＩＳＳＰは水上艦であるということはない

仮説: このＩＳＳＰは水上艦でない
1. 事実1から、推論1: "もしもこのＩＳＳＰが袋入りでないとすればそれは集約するし水上艦だ"が導かれる
2. 事実2から、推論2: "このＩＳＳＰは袋入りでない"が導かれる
3. 推論1と推論2から、推論3: "このＩＳＳＰが集約するしその上それは水上艦だ"が導かれる
4. 推論3から、仮説が否定される

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