そのプロテオーム解析は就航しない一方でそれは気恥ずかしい
fact1: そのプロテオーム解析は気恥ずかしくてそれはライセンスする fact2: あのソーラーツインがＣＡＭである一方で平らはない fact3: もしもあのソーラーツインがＣＡＭである一方で平らがないならばそのプロテオーム解析は就航しない fact4: 何らかの物が殴り続けるとすればそれはライセンスする fact5: もしそのプロテオーム解析が呆気なくないとするとそれは自然らしいしおまけに殴り続ける fact6: もしも「あのソーラーツインは就航するけどＣＡＭであるということはない」ということは嘘だとするとあの打倒はＣＡＭだ
fact3 & fact2 -> int1: そのプロテオーム解析は就航しない; fact1 -> int2: そのプロテオーム解析は気恥ずかしい; int1 & int2 -> hypothesis;
「そのプロテオーム解析は就航しないけど気恥ずかしい」ということは成り立たない
fact7 -> int3: 仮にそのプロテオーム解析が殴り続けるとするとそれはライセンスする;
$facts$ = fact1: そのプロテオーム解析は気恥ずかしくてそれはライセンスする fact2: あのソーラーツインがＣＡＭである一方で平らはない fact3: もしもあのソーラーツインがＣＡＭである一方で平らがないならばそのプロテオーム解析は就航しない fact4: 何らかの物が殴り続けるとすればそれはライセンスする fact5: もしそのプロテオーム解析が呆気なくないとするとそれは自然らしいしおまけに殴り続ける fact6: もしも「あのソーラーツインは就航するけどＣＡＭであるということはない」ということは嘘だとするとあの打倒はＣＡＭだ ; $hypothesis$ = そのプロテオーム解析は就航しない一方でそれは気恥ずかしい ; $proof$ = 
fact3 & fact2 -> int1: そのプロテオーム解析は就航しない; fact1 -> int2: そのプロテオーム解析は気恥ずかしい; int1 & int2 -> hypothesis; __PROVED__
事実1: そのプロテオーム解析は気恥ずかしくてそれはライセンスする
事実2: あのソーラーツインがＣＡＭである一方で平らはない
事実3: もしもあのソーラーツインがＣＡＭである一方で平らがないならばそのプロテオーム解析は就航しない
事実4: 何らかの物が殴り続けるとすればそれはライセンスする
事実5: もしそのプロテオーム解析が呆気なくないとするとそれは自然らしいしおまけに殴り続ける
事実6: もしも「あのソーラーツインは就航するけどＣＡＭであるということはない」ということは嘘だとするとあの打倒はＣＡＭだ

仮説: そのプロテオーム解析は就航しない一方でそれは気恥ずかしい
1. 事実3と事実2から、推論1: "そのプロテオーム解析は就航しない"が導かれる
2. 事実1から、推論2: "そのプロテオーム解析は気恥ずかしい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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