そのリンク列データレコードは力付けない
fact1: もし仮にこの複合型マンションが産出するとすればそれは振り上げる fact2: 仮に「なにかは力付けないがしかし産出する」ということは本当であるとしたらこの複合型マンションは伝え難いということはない fact3: そのリンク列データレコードは住み難い fact4: 仮にそのリンク列データレコードが伝え難いしさらに産出するとすればこの複合型マンションは力付けるということはない fact5: もしも「この複合型マンションは産出しないけどそれは住み難い」ということは成り立たないなら振り上げる fact6: この複合型マンションがローマンだしそれは伝え難い fact7: 「この複合型マンションは産出するし加えて住み難い」ということは成り立たない fact8: この複合型マンションはローマンである fact9: もし仮に何らかの物はローマンでないなら振り上げるということはない fact10: 「この複合型マンションは産出しないがしかし住み難い」ということは嘘だ fact11: 仮にこの複合型マンションが伝え難いしその上振り上げるとするとそのリンク列データレコードは力付けない
fact6 -> int1: この複合型マンションは伝え難い; fact5 & fact10 -> int2: この複合型マンションは振り上げる; int1 & int2 -> int3: この複合型マンションは伝え難くて振り上げる; int3 & fact11 -> hypothesis;
fact6 -> int1: {B}{a}; fact5 & fact10 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact11 -> hypothesis;
あの希少価値は振り上げない
fact14 -> int4: もしあの希少価値がローマンでないとすればそれは振り上げない;
$facts$ = fact1: もし仮にこの複合型マンションが産出するとすればそれは振り上げる fact2: 仮に「なにかは力付けないがしかし産出する」ということは本当であるとしたらこの複合型マンションは伝え難いということはない fact3: そのリンク列データレコードは住み難い fact4: 仮にそのリンク列データレコードが伝え難いしさらに産出するとすればこの複合型マンションは力付けるということはない fact5: もしも「この複合型マンションは産出しないけどそれは住み難い」ということは成り立たないなら振り上げる fact6: この複合型マンションがローマンだしそれは伝え難い fact7: 「この複合型マンションは産出するし加えて住み難い」ということは成り立たない fact8: この複合型マンションはローマンである fact9: もし仮に何らかの物はローマンでないなら振り上げるということはない fact10: 「この複合型マンションは産出しないがしかし住み難い」ということは嘘だ fact11: 仮にこの複合型マンションが伝え難いしその上振り上げるとするとそのリンク列データレコードは力付けない ; $hypothesis$ = そのリンク列データレコードは力付けない ; $proof$ = 
fact6 -> int1: この複合型マンションは伝え難い; fact5 & fact10 -> int2: この複合型マンションは振り上げる; int1 & int2 -> int3: この複合型マンションは伝え難くて振り上げる; int3 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にこの複合型マンションが産出するとすればそれは振り上げる
事実2: 仮に「なにかは力付けないがしかし産出する」ということは本当であるとしたらこの複合型マンションは伝え難いということはない
事実3: そのリンク列データレコードは住み難い
事実4: 仮にそのリンク列データレコードが伝え難いしさらに産出するとすればこの複合型マンションは力付けるということはない
事実5: もしも「この複合型マンションは産出しないけどそれは住み難い」ということは成り立たないなら振り上げる
事実6: この複合型マンションがローマンだしそれは伝え難い
事実7: 「この複合型マンションは産出するし加えて住み難い」ということは成り立たない
事実8: この複合型マンションはローマンである
事実9: もし仮に何らかの物はローマンでないなら振り上げるということはない
事実10: 「この複合型マンションは産出しないがしかし住み難い」ということは嘘だ
事実11: 仮にこの複合型マンションが伝え難いしその上振り上げるとするとそのリンク列データレコードは力付けない

仮説: そのリンク列データレコードは力付けない
1. 事実6から、推論1: "この複合型マンションは伝え難い"が導かれる
2. 事実5と事実10から、推論2: "この複合型マンションは振り上げる"が導かれる
3. 推論1と推論2から、推論3: "この複合型マンションは伝え難くて振り上げる"が導かれる
4. 推論3と事実11から、仮説が導かれる

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