その取得条件は梃入れであるかあるいはそれは単極胸部誘導でない
fact1: 仮にこのリアクタンスが梃入れでないならばその取得条件は梃入れであるかまたは単極胸部誘導でないかあるいはどちらもである fact2: もし仮にこのリアクタンスが専門分化するしそれが張れるとすると梃入れであるということはない fact3: この尺貫法は張れる fact4: 「八雲琴な」ものはある fact5: その利用者名簿は梃入れであるかあるいはそれは太り易いかもしくは両方である fact6: このリアクタンスは専門分化する fact7: このオーナーシップは専門分化する fact8: このリアクタンスは張れる
fact6 & fact8 -> int1: このリアクタンスは専門分化するしそれに張れる; int1 & fact2 -> int2: このリアクタンスは梃入れであるということはない; int2 & fact1 -> hypothesis;
fact6 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis;
その一続きは専門分化しない
$facts$ = fact1: 仮にこのリアクタンスが梃入れでないならばその取得条件は梃入れであるかまたは単極胸部誘導でないかあるいはどちらもである fact2: もし仮にこのリアクタンスが専門分化するしそれが張れるとすると梃入れであるということはない fact3: この尺貫法は張れる fact4: 「八雲琴な」ものはある fact5: その利用者名簿は梃入れであるかあるいはそれは太り易いかもしくは両方である fact6: このリアクタンスは専門分化する fact7: このオーナーシップは専門分化する fact8: このリアクタンスは張れる ; $hypothesis$ = その取得条件は梃入れであるかあるいはそれは単極胸部誘導でない ; $proof$ = 
fact6 & fact8 -> int1: このリアクタンスは専門分化するしそれに張れる; int1 & fact2 -> int2: このリアクタンスは梃入れであるということはない; int2 & fact1 -> hypothesis; __PROVED__
事実1: 仮にこのリアクタンスが梃入れでないならばその取得条件は梃入れであるかまたは単極胸部誘導でないかあるいはどちらもである
事実2: もし仮にこのリアクタンスが専門分化するしそれが張れるとすると梃入れであるということはない
事実3: この尺貫法は張れる
事実4: 「八雲琴な」ものはある
事実5: その利用者名簿は梃入れであるかあるいはそれは太り易いかもしくは両方である
事実6: このリアクタンスは専門分化する
事実7: このオーナーシップは専門分化する
事実8: このリアクタンスは張れる

仮説: その取得条件は梃入れであるかあるいはそれは単極胸部誘導でない
1. 事実6と事実8から、推論1: "このリアクタンスは専門分化するしそれに張れる"が導かれる
2. 推論1と事実2から、推論2: "このリアクタンスは梃入れであるということはない"が導かれる
3. 推論2と事実1から、仮説が導かれる

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