あのプラッツは荒くない
fact1: この製品群Ｂは間断無い fact2: このビデオメモリは忝いしおまけに犯し易い fact3: もし仮に間断無い物であってその上荒いものがあるならあの国体は壊れ易くない fact4: 「あの国体は信じ易いし暗い」ということは本当である fact5: あの国体は壊れ易い fact6: あのプラッツは愛憎半ばする fact7: あの国体は荒くない fact8: 仮に間断無い物が壊れ易いとするとあのプラッツは荒くない fact9: あのプラッツは当該地方である fact10: あのプラッツは壊れ易い fact11: 何らかの物は荒い fact12: あの国体は間断無い fact13: 「水酸化酵素欠損症で説明し易い」ものはある fact14: この形局は間断無い
fact12 & fact5 -> int1: あの国体は間断無くてさらに壊れ易い; int1 -> int2: 間断無いし壊れ易い物はある; int2 & fact8 -> hypothesis;
fact12 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact8 -> hypothesis;
$facts$ = fact1: この製品群Ｂは間断無い fact2: このビデオメモリは忝いしおまけに犯し易い fact3: もし仮に間断無い物であってその上荒いものがあるならあの国体は壊れ易くない fact4: 「あの国体は信じ易いし暗い」ということは本当である fact5: あの国体は壊れ易い fact6: あのプラッツは愛憎半ばする fact7: あの国体は荒くない fact8: 仮に間断無い物が壊れ易いとするとあのプラッツは荒くない fact9: あのプラッツは当該地方である fact10: あのプラッツは壊れ易い fact11: 何らかの物は荒い fact12: あの国体は間断無い fact13: 「水酸化酵素欠損症で説明し易い」ものはある fact14: この形局は間断無い ; $hypothesis$ = あのプラッツは荒くない ; $proof$ = 
fact12 & fact5 -> int1: あの国体は間断無くてさらに壊れ易い; int1 -> int2: 間断無いし壊れ易い物はある; int2 & fact8 -> hypothesis; __PROVED__
事実1: この製品群Ｂは間断無い
事実2: このビデオメモリは忝いしおまけに犯し易い
事実3: もし仮に間断無い物であってその上荒いものがあるならあの国体は壊れ易くない
事実4: 「あの国体は信じ易いし暗い」ということは本当である
事実5: あの国体は壊れ易い
事実6: あのプラッツは愛憎半ばする
事実7: あの国体は荒くない
事実8: 仮に間断無い物が壊れ易いとするとあのプラッツは荒くない
事実9: あのプラッツは当該地方である
事実10: あのプラッツは壊れ易い
事実11: 何らかの物は荒い
事実12: あの国体は間断無い
事実13: 「水酸化酵素欠損症で説明し易い」ものはある
事実14: この形局は間断無い

仮説: あのプラッツは荒くない
1. 事実12と事実5から、推論1: "あの国体は間断無くてさらに壊れ易い"が導かれる
2. 推論1から、推論2: "間断無いし壊れ易い物はある"が導かれる
3. 推論2と事実8から、仮説が導かれる

よって、仮説が証明されました。