そのマーケティングデータは避くということはない
fact1: その四丁は鈍い fact2: もし仮にあの防火管理者が御預けに成らないとしたらそのマーケティングデータは避く fact3: このマンドリンは失明する fact4: もしもそのマーケティングデータが失明しないならばあの四丁は避く fact5: もしなんらかの物は御預けに成るとしたら「失明するが鈍くない」ということは誤りである fact6: もし仮にその四丁が慢心しないとしたらそれは御預けに成るししかも空しい fact7: その四丁が慢心するけれどそれが空しかないならばそれは避くない fact8: その四丁は失明する fact9: そのフランス・スペイン艦隊は避くない fact10: 仮にその四丁が鈍くて加えて失明するとすればあの防火管理者は御預けに成らない fact11: その四丁が避くないなら鈍くないしさらに失明しない
fact1 & fact8 -> int1: その四丁は鈍いし失明する; int1 & fact10 -> int2: あの防火管理者は御預けに成らない; int2 & fact2 -> hypothesis;
fact1 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact10 -> int2: ¬{C}{b}; int2 & fact2 -> hypothesis;
「そのマーケティングデータは御預けに成る」ということは成り立たない
$facts$ = fact1: その四丁は鈍い fact2: もし仮にあの防火管理者が御預けに成らないとしたらそのマーケティングデータは避く fact3: このマンドリンは失明する fact4: もしもそのマーケティングデータが失明しないならばあの四丁は避く fact5: もしなんらかの物は御預けに成るとしたら「失明するが鈍くない」ということは誤りである fact6: もし仮にその四丁が慢心しないとしたらそれは御預けに成るししかも空しい fact7: その四丁が慢心するけれどそれが空しかないならばそれは避くない fact8: その四丁は失明する fact9: そのフランス・スペイン艦隊は避くない fact10: 仮にその四丁が鈍くて加えて失明するとすればあの防火管理者は御預けに成らない fact11: その四丁が避くないなら鈍くないしさらに失明しない ; $hypothesis$ = そのマーケティングデータは避くということはない ; $proof$ = 
fact1 & fact8 -> int1: その四丁は鈍いし失明する; int1 & fact10 -> int2: あの防火管理者は御預けに成らない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: その四丁は鈍い
事実2: もし仮にあの防火管理者が御預けに成らないとしたらそのマーケティングデータは避く
事実3: このマンドリンは失明する
事実4: もしもそのマーケティングデータが失明しないならばあの四丁は避く
事実5: もしなんらかの物は御預けに成るとしたら「失明するが鈍くない」ということは誤りである
事実6: もし仮にその四丁が慢心しないとしたらそれは御預けに成るししかも空しい
事実7: その四丁が慢心するけれどそれが空しかないならばそれは避くない
事実8: その四丁は失明する
事実9: そのフランス・スペイン艦隊は避くない
事実10: 仮にその四丁が鈍くて加えて失明するとすればあの防火管理者は御預けに成らない
事実11: その四丁が避くないなら鈍くないしさらに失明しない

仮説: そのマーケティングデータは避くということはない
1. 事実1と事実8から、推論1: "その四丁は鈍いし失明する"が導かれる
2. 推論1と事実10から、推論2: "あの防火管理者は御預けに成らない"が導かれる
3. 推論2と事実2から、仮説が否定される

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