「「もしも撮像対象でなくて灰色っぽくないとしたら入り辛い」ものはある」ということは嘘だ
fact1: もしも「とある物は撮像対象だということはないけどそれは灰色っぽい」ということは本当だとしたらそれは入り辛い fact2: もしも「その潜水艦は騙され易くないし手堅くない」ということは成り立つとすれば入り辛い fact3: 灰色っぽいということはない撮像対象は入り辛い fact4: もし仮にその潜水艦が反応出来るがそれが由々しということはないとするとそれは日暮れる fact5: もし仮にその潜水艦が撮像対象だがそれが灰色っぽくないならそれは入り辛い fact6: 「もしも撮像対象でないしおまけに灰色っぽいとすると入り辛い」物はある fact7: その潜水艦は撮像対象でない一方で灰色っぽいとしたらそれは入り辛い fact8: ある物は撮像対象でないし灰色っぽくないとしたら入り辛い
fact8 -> int1: もし仮にその潜水艦が撮像対象でなくて灰色っぽくないならば入り辛い; int1 -> hypothesis;
$facts$ = fact1: もしも「とある物は撮像対象だということはないけどそれは灰色っぽい」ということは本当だとしたらそれは入り辛い fact2: もしも「その潜水艦は騙され易くないし手堅くない」ということは成り立つとすれば入り辛い fact3: 灰色っぽいということはない撮像対象は入り辛い fact4: もし仮にその潜水艦が反応出来るがそれが由々しということはないとするとそれは日暮れる fact5: もし仮にその潜水艦が撮像対象だがそれが灰色っぽくないならそれは入り辛い fact6: 「もしも撮像対象でないしおまけに灰色っぽいとすると入り辛い」物はある fact7: その潜水艦は撮像対象でない一方で灰色っぽいとしたらそれは入り辛い fact8: ある物は撮像対象でないし灰色っぽくないとしたら入り辛い ; $hypothesis$ = 「「もしも撮像対象でなくて灰色っぽくないとしたら入り辛い」ものはある」ということは嘘だ ; $proof$ = 
fact8 -> int1: もし仮にその潜水艦が撮像対象でなくて灰色っぽくないならば入り辛い; int1 -> hypothesis; __DISPROVED__
事実1: もしも「とある物は撮像対象だということはないけどそれは灰色っぽい」ということは本当だとしたらそれは入り辛い
事実2: もしも「その潜水艦は騙され易くないし手堅くない」ということは成り立つとすれば入り辛い
事実3: 灰色っぽいということはない撮像対象は入り辛い
事実4: もし仮にその潜水艦が反応出来るがそれが由々しということはないとするとそれは日暮れる
事実5: もし仮にその潜水艦が撮像対象だがそれが灰色っぽくないならそれは入り辛い
事実6: 「もしも撮像対象でないしおまけに灰色っぽいとすると入り辛い」物はある
事実7: その潜水艦は撮像対象でない一方で灰色っぽいとしたらそれは入り辛い
事実8: ある物は撮像対象でないし灰色っぽくないとしたら入り辛い

仮説: 「「もしも撮像対象でなくて灰色っぽくないとしたら入り辛い」ものはある」ということは嘘だ
1. 事実8から、推論1: "もし仮にその潜水艦が撮像対象でなくて灰色っぽくないならば入り辛い"が導かれる
2. 推論1から、仮説が否定される

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