この二十八系統は経済的背景でない
fact1: その体位性頻拍は競争するか擦り減るかもしくはどちらもである fact2: もしとあるものが懐こいとするとそれは高し fact3: その体位性頻拍は検証す fact4: このボーダーレス化が説き付けるとしたら懐こい fact5: このボーダーレス化は説き付ける fact6: その体位性頻拍は説き付けるかまたは競争するか両方である fact7: もし仮に「このボーダーレス化は経済的背景である」ということは真実ならこの二十八系統は経済的背景である fact8: もしその体位性頻拍は擦り減るとすれば「このボーダーレス化は検証す」ということは間違っているということはない fact9: 「その体位性頻拍は競争する」ということは成り立つとしたらこのボーダーレス化は検証す fact10: このボーダーレス化が競争するとするとその体位性頻拍は説き付ける fact11: 仮にこのボーダーレス化が懐こいしそれに検証すとすればこの二十八系統は経済的背景であるということはない fact12: その練度は説き付ける fact13: この二十八系統は懐こい fact14: もし仮に「このボーダーレス化は経済的背景だ」ということは真実だとしたらこの二十八系統は検証す fact15: このボーダーレス化は競争する
fact4 & fact5 -> int1: このボーダーレス化は懐こい; fact8 & fact9 & fact1 -> int2: このボーダーレス化は検証す; int1 & int2 -> int3: このボーダーレス化は懐こくてさらに検証す; int3 & fact11 -> hypothesis;
fact4 & fact5 -> int1: {B}{a}; fact8 & fact9 & fact1 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact11 -> hypothesis;
「この二十八系統は経済的背景だ」ということは確かである
$facts$ = fact1: その体位性頻拍は競争するか擦り減るかもしくはどちらもである fact2: もしとあるものが懐こいとするとそれは高し fact3: その体位性頻拍は検証す fact4: このボーダーレス化が説き付けるとしたら懐こい fact5: このボーダーレス化は説き付ける fact6: その体位性頻拍は説き付けるかまたは競争するか両方である fact7: もし仮に「このボーダーレス化は経済的背景である」ということは真実ならこの二十八系統は経済的背景である fact8: もしその体位性頻拍は擦り減るとすれば「このボーダーレス化は検証す」ということは間違っているということはない fact9: 「その体位性頻拍は競争する」ということは成り立つとしたらこのボーダーレス化は検証す fact10: このボーダーレス化が競争するとするとその体位性頻拍は説き付ける fact11: 仮にこのボーダーレス化が懐こいしそれに検証すとすればこの二十八系統は経済的背景であるということはない fact12: その練度は説き付ける fact13: この二十八系統は懐こい fact14: もし仮に「このボーダーレス化は経済的背景だ」ということは真実だとしたらこの二十八系統は検証す fact15: このボーダーレス化は競争する ; $hypothesis$ = この二十八系統は経済的背景でない ; $proof$ = 
fact4 & fact5 -> int1: このボーダーレス化は懐こい; fact8 & fact9 & fact1 -> int2: このボーダーレス化は検証す; int1 & int2 -> int3: このボーダーレス化は懐こくてさらに検証す; int3 & fact11 -> hypothesis; __PROVED__
事実1: その体位性頻拍は競争するか擦り減るかもしくはどちらもである
事実2: もしとあるものが懐こいとするとそれは高し
事実3: その体位性頻拍は検証す
事実4: このボーダーレス化が説き付けるとしたら懐こい
事実5: このボーダーレス化は説き付ける
事実6: その体位性頻拍は説き付けるかまたは競争するか両方である
事実7: もし仮に「このボーダーレス化は経済的背景である」ということは真実ならこの二十八系統は経済的背景である
事実8: もしその体位性頻拍は擦り減るとすれば「このボーダーレス化は検証す」ということは間違っているということはない
事実9: 「その体位性頻拍は競争する」ということは成り立つとしたらこのボーダーレス化は検証す
事実10: このボーダーレス化が競争するとするとその体位性頻拍は説き付ける
事実11: 仮にこのボーダーレス化が懐こいしそれに検証すとすればこの二十八系統は経済的背景であるということはない
事実12: その練度は説き付ける
事実13: この二十八系統は懐こい
事実14: もし仮に「このボーダーレス化は経済的背景だ」ということは真実だとしたらこの二十八系統は検証す
事実15: このボーダーレス化は競争する

仮説: この二十八系統は経済的背景でない
1. 事実4と事実5から、推論1: "このボーダーレス化は懐こい"が導かれる
2. 事実8と事実9と事実1から、推論2: "このボーダーレス化は検証す"が導かれる
3. 推論1と推論2から、推論3: "このボーダーレス化は懐こくてさらに検証す"が導かれる
4. 推論3と事実11から、仮説が導かれる

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