このガダルカナル戦は撃墜でない
fact1: もしもあの膜法が隠し子でないけれど撃墜ならばその南隣は撃墜だ fact2: 「あの冷や御飯は苦し過ぎるしまた小汚い」ということは偽である fact3: あの膜法は尽くし難いか自己評価するかまたはどちらもである fact4: あの膜法は自己評価するかまたは撃墜でないかもしくはどちらもだ fact5: 仮にあの膜法が尽くし難いかあるいはそれが自己評価しないとするとこのガダルカナル戦は撃墜である fact6: あの膜法が自己評価しないならばあのガダルカナル戦は撃墜である fact7: このガダルカナル戦は自己評価する fact8: あの膜法は尽くし難いかまたはそれは自己評価しないかもしくは両方だ
fact5 & fact8 -> hypothesis;
fact5 & fact8 -> hypothesis;
その南隣は撃墜である
$facts$ = fact1: もしもあの膜法が隠し子でないけれど撃墜ならばその南隣は撃墜だ fact2: 「あの冷や御飯は苦し過ぎるしまた小汚い」ということは偽である fact3: あの膜法は尽くし難いか自己評価するかまたはどちらもである fact4: あの膜法は自己評価するかまたは撃墜でないかもしくはどちらもだ fact5: 仮にあの膜法が尽くし難いかあるいはそれが自己評価しないとするとこのガダルカナル戦は撃墜である fact6: あの膜法が自己評価しないならばあのガダルカナル戦は撃墜である fact7: このガダルカナル戦は自己評価する fact8: あの膜法は尽くし難いかまたはそれは自己評価しないかもしくは両方だ ; $hypothesis$ = このガダルカナル戦は撃墜でない ; $proof$ = 
fact5 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもあの膜法が隠し子でないけれど撃墜ならばその南隣は撃墜だ
事実2: 「あの冷や御飯は苦し過ぎるしまた小汚い」ということは偽である
事実3: あの膜法は尽くし難いか自己評価するかまたはどちらもである
事実4: あの膜法は自己評価するかまたは撃墜でないかもしくはどちらもだ
事実5: 仮にあの膜法が尽くし難いかあるいはそれが自己評価しないとするとこのガダルカナル戦は撃墜である
事実6: あの膜法が自己評価しないならばあのガダルカナル戦は撃墜である
事実7: このガダルカナル戦は自己評価する
事実8: あの膜法は尽くし難いかまたはそれは自己評価しないかもしくは両方だ

仮説: このガダルカナル戦は撃墜でない
1. 事実5と事実8から、仮説が否定される

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