その競争心は見直し基準であるということはない
fact1: もしその掘っ立て柱建物が六以上ならばこのチーズバーガーは車内灯でないししかもそれは描き上げるということはない fact2: このチーズバーガーが通り越さないならばこの概念的フレームワークは目配りしない fact3: このチーズバーガーは車内灯でなくてしかも描き上げないとしたらそれは通り越さない fact4: もし仮にその見積もり書作成画面は倹しいとすれば「その競争心は見直し基準だ」ということは真実だ fact5: 「この概念的フレームワークは流れ出るということはない」ということは正しい fact6: 「このＸ≅Ｐワンは流れ出るということはない」ということは正しい fact7: もし仮にこの概念的フレームワークが目配りしないしそれにそれが流れ出ないならその見積もり書作成画面は倹しい fact8: なんらかのものはＣＰＵでないけれどガス代であるなら「それは六以上だ」ということは成り立つ fact9: すべてはＣＰＵでないけれどガス代である
fact8 -> int1: もしその掘っ立て柱建物はＣＰＵでないがガス代だとすると「六以上だ」ということは確かだ; fact9 -> int2: その掘っ立て柱建物はＣＰＵでないけどそれはガス代である; int1 & int2 -> int3: その掘っ立て柱建物は六以上である; int3 & fact1 -> int4: このチーズバーガーは車内灯でないしまたそれは描き上げるということはない; int4 & fact3 -> int5: 「このチーズバーガーは通り越さない」ということは確かだ; int5 & fact2 -> int6: この概念的フレームワークは目配りするということはない; int6 & fact5 -> int7: この概念的フレームワークは目配りしないしおまけに流れ出ない; int7 & fact7 -> int8: その見積もり書作成画面は倹しい; int8 & fact4 -> hypothesis;
$facts$ = fact1: もしその掘っ立て柱建物が六以上ならばこのチーズバーガーは車内灯でないししかもそれは描き上げるということはない fact2: このチーズバーガーが通り越さないならばこの概念的フレームワークは目配りしない fact3: このチーズバーガーは車内灯でなくてしかも描き上げないとしたらそれは通り越さない fact4: もし仮にその見積もり書作成画面は倹しいとすれば「その競争心は見直し基準だ」ということは真実だ fact5: 「この概念的フレームワークは流れ出るということはない」ということは正しい fact6: 「このＸ≅Ｐワンは流れ出るということはない」ということは正しい fact7: もし仮にこの概念的フレームワークが目配りしないしそれにそれが流れ出ないならその見積もり書作成画面は倹しい fact8: なんらかのものはＣＰＵでないけれどガス代であるなら「それは六以上だ」ということは成り立つ fact9: すべてはＣＰＵでないけれどガス代である ; $hypothesis$ = その競争心は見直し基準であるということはない ; $proof$ = 
fact8 -> int1: もしその掘っ立て柱建物はＣＰＵでないがガス代だとすると「六以上だ」ということは確かだ; fact9 -> int2: その掘っ立て柱建物はＣＰＵでないけどそれはガス代である; int1 & int2 -> int3: その掘っ立て柱建物は六以上である; int3 & fact1 -> int4: このチーズバーガーは車内灯でないしまたそれは描き上げるということはない; int4 & fact3 -> int5: 「このチーズバーガーは通り越さない」ということは確かだ; int5 & fact2 -> int6: この概念的フレームワークは目配りするということはない; int6 & fact5 -> int7: この概念的フレームワークは目配りしないしおまけに流れ出ない; int7 & fact7 -> int8: その見積もり書作成画面は倹しい; int8 & fact4 -> hypothesis; __DISPROVED__
事実1: もしその掘っ立て柱建物が六以上ならばこのチーズバーガーは車内灯でないししかもそれは描き上げるということはない
事実2: このチーズバーガーが通り越さないならばこの概念的フレームワークは目配りしない
事実3: このチーズバーガーは車内灯でなくてしかも描き上げないとしたらそれは通り越さない
事実4: もし仮にその見積もり書作成画面は倹しいとすれば「その競争心は見直し基準だ」ということは真実だ
事実5: 「この概念的フレームワークは流れ出るということはない」ということは正しい
事実6: 「このＸ≅Ｐワンは流れ出るということはない」ということは正しい
事実7: もし仮にこの概念的フレームワークが目配りしないしそれにそれが流れ出ないならその見積もり書作成画面は倹しい
事実8: なんらかのものはＣＰＵでないけれどガス代であるなら「それは六以上だ」ということは成り立つ
事実9: すべてはＣＰＵでないけれどガス代である

仮説: その競争心は見直し基準であるということはない
1. 事実8から、推論1: "もしその掘っ立て柱建物はＣＰＵでないがガス代だとすると「六以上だ」ということは確かだ"が導かれる
2. 事実9から、推論2: "その掘っ立て柱建物はＣＰＵでないけどそれはガス代である"が導かれる
3. 推論1と推論2から、推論3: "その掘っ立て柱建物は六以上である"が導かれる
4. 推論3と事実1から、推論4: "このチーズバーガーは車内灯でないしまたそれは描き上げるということはない"が導かれる
5. 推論4と事実3から、推論5: "「このチーズバーガーは通り越さない」ということは確かだ"が導かれる
6. 推論5と事実2から、推論6: "この概念的フレームワークは目配りするということはない"が導かれる
7. 推論6と事実5から、推論7: "この概念的フレームワークは目配りしないしおまけに流れ出ない"が導かれる
8. 推論7と事実7から、推論8: "その見積もり書作成画面は倹しい"が導かれる
9. 推論8と事実4から、仮説が否定される

よって、仮説が否定されました。