この統合幕僚会議は大騒ぎする
fact1: もしもなんらかの物が差額ベット料金でないなら情けなくて読み切れる fact2: あのＣＡＦＣは営業中でない fact3: もしその二十五Ａが営業中だとするとこの統合幕僚会議は大騒ぎしない fact4: その二十五Ａは拡幅する fact5: もしその二十五Ａが拡幅するかそれが営業中であるかあるいはどちらもだとするとこの統合幕僚会議は大騒ぎしない fact6: 仮にこの軟骨基質が営業中でない一方でそれが引っぱたくとすればその二十五Ａは営業中でない fact7: その二十五Ａは大騒ぎするかあるいはそれは拡幅するか両方である fact8: その二十五Ａは拡幅するかまたは大騒ぎするか両方ともだ fact9: 仮に「あるものは拡幅するしそれに大騒ぎする」ということは成り立たないとしたらそれは拡幅しない fact10: もしあの勤務時間中は大書しないとすると「それは差額ベット料金であるしその上住み難い」ということは成り立つ fact11: もしもその二十五Ａが営業中でないとするとこの統合幕僚会議は拡幅するし大騒ぎする fact12: あの女誑しは拡幅する fact13: その空母部隊は拡幅する fact14: 情けないものは営業中でないけど引っぱたく fact15: もしもあの勤務時間中が差額ベット料金であるしおまけに住み難いならこの軟骨基質は差額ベット料金でない
fact4 -> int1: その二十五Ａは拡幅するかあるいは営業中であるかどちらもである; int1 & fact5 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> hypothesis;
この統合幕僚会議は大騒ぎする
fact17 -> int2: 「この軟骨基質は情けない」ということは事実であるとしたら営業中でないしそれは引っぱたく; fact19 -> int3: もしもこの軟骨基質が差額ベット料金だということはないならばそれは情けなくて加えて読み切れる;
$facts$ = fact1: もしもなんらかの物が差額ベット料金でないなら情けなくて読み切れる fact2: あのＣＡＦＣは営業中でない fact3: もしその二十五Ａが営業中だとするとこの統合幕僚会議は大騒ぎしない fact4: その二十五Ａは拡幅する fact5: もしその二十五Ａが拡幅するかそれが営業中であるかあるいはどちらもだとするとこの統合幕僚会議は大騒ぎしない fact6: 仮にこの軟骨基質が営業中でない一方でそれが引っぱたくとすればその二十五Ａは営業中でない fact7: その二十五Ａは大騒ぎするかあるいはそれは拡幅するか両方である fact8: その二十五Ａは拡幅するかまたは大騒ぎするか両方ともだ fact9: 仮に「あるものは拡幅するしそれに大騒ぎする」ということは成り立たないとしたらそれは拡幅しない fact10: もしあの勤務時間中は大書しないとすると「それは差額ベット料金であるしその上住み難い」ということは成り立つ fact11: もしもその二十五Ａが営業中でないとするとこの統合幕僚会議は拡幅するし大騒ぎする fact12: あの女誑しは拡幅する fact13: その空母部隊は拡幅する fact14: 情けないものは営業中でないけど引っぱたく fact15: もしもあの勤務時間中が差額ベット料金であるしおまけに住み難いならこの軟骨基質は差額ベット料金でない ; $hypothesis$ = この統合幕僚会議は大騒ぎする ; $proof$ = 
fact4 -> int1: その二十五Ａは拡幅するかあるいは営業中であるかどちらもである; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもなんらかの物が差額ベット料金でないなら情けなくて読み切れる
事実2: あのＣＡＦＣは営業中でない
事実3: もしその二十五Ａが営業中だとするとこの統合幕僚会議は大騒ぎしない
事実4: その二十五Ａは拡幅する
事実5: もしその二十五Ａが拡幅するかそれが営業中であるかあるいはどちらもだとするとこの統合幕僚会議は大騒ぎしない
事実6: 仮にこの軟骨基質が営業中でない一方でそれが引っぱたくとすればその二十五Ａは営業中でない
事実7: その二十五Ａは大騒ぎするかあるいはそれは拡幅するか両方である
事実8: その二十五Ａは拡幅するかまたは大騒ぎするか両方ともだ
事実9: 仮に「あるものは拡幅するしそれに大騒ぎする」ということは成り立たないとしたらそれは拡幅しない
事実10: もしあの勤務時間中は大書しないとすると「それは差額ベット料金であるしその上住み難い」ということは成り立つ
事実11: もしもその二十五Ａが営業中でないとするとこの統合幕僚会議は拡幅するし大騒ぎする
事実12: あの女誑しは拡幅する
事実13: その空母部隊は拡幅する
事実14: 情けないものは営業中でないけど引っぱたく
事実15: もしもあの勤務時間中が差額ベット料金であるしおまけに住み難いならこの軟骨基質は差額ベット料金でない

仮説: この統合幕僚会議は大騒ぎする
1. 事実4から、推論1: "その二十五Ａは拡幅するかあるいは営業中であるかどちらもである"が導かれる
2. 推論1と事実5から、仮説が否定される

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