「あの源氏縁は敬わない一方でキャプテンである」ということは間違っている
fact1: この不動産取り引きは前後する fact2: この不動産取り引きは前後するかあるいはそれは済ま無いかもしくはどちらもである fact3: もし仮にあの思い遣り予算がキャプテンだとしたらこの不動産取り引きは前後しないかあるいは済ま無いかまたはどちらもである fact4: あの源氏縁は敬わない fact5: あの思い遣り予算がキャプテンならばあの不動産取り引きは前後するかまたは済ま無いかあるいは両方ともだ fact6: もし仮にあの思い遣り予算がキャプテンでないとするとあの源氏縁は敬わないけどキャプテンである fact7: もしこの不動産取り引きが久しいならばあの思い遣り予算は久しくない fact8: 仮にこの不動産取り引きがキャプテンならあの源氏縁は敬うかあるいは済ま無いかあるいはどちらもである fact9: 「ある物は立ち消えるがそれは魔性であるということはない」ということは間違っているとすると久しい fact10: 仮に初々しかない物が気持ち良いなら勘案する fact11: もしもあの思い遣り予算がキャプテンでないとすればあの源氏縁は敬わない fact12: 「あのドロップアウトは済ま無い」ということは本当である fact13: 久しいということはないものは初々しいということはない一方で気持ち良い fact14: もしもこのマイクロマネジメントは来院するなら「それは魔性である」ということは事実である fact15: 仮にあの思い遣り予算が勘案するならあの源氏縁は勘案する fact16: このマイクロマネジメントは来院する fact17: もしなんらかの物は勘案するとすれば「敬わないしそれにキャプテンである」ということは事実と異なる fact18: 「この不動産取り引きは前後しないかまたは済ま無いかあるいはどちらもだ」ということは間違いだ fact19: あの源氏縁は前後しない
void -> assump1: 以下のように仮定する。あの思い遣り予算はキャプテンだ; fact3 & assump1 -> int1: この不動産取り引きは前後しないか済ま無いかまたは両方ともだ; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの思い遣り予算はキャプテンでない; int3 & fact6 -> hypothesis;
「あの源氏縁は敬わないけどキャプテンだ」ということは事実でない
fact26 -> int4: 仮にあの源氏縁は勘案するとしたら「それは敬わないししかもそれはキャプテンである」ということは成り立たない; fact27 -> int5: あの思い遣り予算は初々しいということはない一方で気持ち良いとすると「それは勘案する」ということは真実だ; fact22 -> int6: 「あの思い遣り予算は久しくない」ということは本当であるなら初々しかないしそれにそれは気持ち良い; fact24 -> int7: もしも「この不動産取り引きは立ち消えるけれど魔性でない」ということは成り立たないとすると「それは久しい」ということは事実だ; fact25 & fact23 -> int8: このマイクロマネジメントは魔性である; int8 -> int9: 魔性はある;
$facts$ = fact1: この不動産取り引きは前後する fact2: この不動産取り引きは前後するかあるいはそれは済ま無いかもしくはどちらもである fact3: もし仮にあの思い遣り予算がキャプテンだとしたらこの不動産取り引きは前後しないかあるいは済ま無いかまたはどちらもである fact4: あの源氏縁は敬わない fact5: あの思い遣り予算がキャプテンならばあの不動産取り引きは前後するかまたは済ま無いかあるいは両方ともだ fact6: もし仮にあの思い遣り予算がキャプテンでないとするとあの源氏縁は敬わないけどキャプテンである fact7: もしこの不動産取り引きが久しいならばあの思い遣り予算は久しくない fact8: 仮にこの不動産取り引きがキャプテンならあの源氏縁は敬うかあるいは済ま無いかあるいはどちらもである fact9: 「ある物は立ち消えるがそれは魔性であるということはない」ということは間違っているとすると久しい fact10: 仮に初々しかない物が気持ち良いなら勘案する fact11: もしもあの思い遣り予算がキャプテンでないとすればあの源氏縁は敬わない fact12: 「あのドロップアウトは済ま無い」ということは本当である fact13: 久しいということはないものは初々しいということはない一方で気持ち良い fact14: もしもこのマイクロマネジメントは来院するなら「それは魔性である」ということは事実である fact15: 仮にあの思い遣り予算が勘案するならあの源氏縁は勘案する fact16: このマイクロマネジメントは来院する fact17: もしなんらかの物は勘案するとすれば「敬わないしそれにキャプテンである」ということは事実と異なる fact18: 「この不動産取り引きは前後しないかまたは済ま無いかあるいはどちらもだ」ということは間違いだ fact19: あの源氏縁は前後しない ; $hypothesis$ = 「あの源氏縁は敬わない一方でキャプテンである」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あの思い遣り予算はキャプテンだ; fact3 & assump1 -> int1: この不動産取り引きは前後しないか済ま無いかまたは両方ともだ; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの思い遣り予算はキャプテンでない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: この不動産取り引きは前後する
事実2: この不動産取り引きは前後するかあるいはそれは済ま無いかもしくはどちらもである
事実3: もし仮にあの思い遣り予算がキャプテンだとしたらこの不動産取り引きは前後しないかあるいは済ま無いかまたはどちらもである
事実4: あの源氏縁は敬わない
事実5: あの思い遣り予算がキャプテンならばあの不動産取り引きは前後するかまたは済ま無いかあるいは両方ともだ
事実6: もし仮にあの思い遣り予算がキャプテンでないとするとあの源氏縁は敬わないけどキャプテンである
事実7: もしこの不動産取り引きが久しいならばあの思い遣り予算は久しくない
事実8: 仮にこの不動産取り引きがキャプテンならあの源氏縁は敬うかあるいは済ま無いかあるいはどちらもである
事実9: 「ある物は立ち消えるがそれは魔性であるということはない」ということは間違っているとすると久しい
事実10: 仮に初々しかない物が気持ち良いなら勘案する
事実11: もしもあの思い遣り予算がキャプテンでないとすればあの源氏縁は敬わない
事実12: 「あのドロップアウトは済ま無い」ということは本当である
事実13: 久しいということはないものは初々しいということはない一方で気持ち良い
事実14: もしもこのマイクロマネジメントは来院するなら「それは魔性である」ということは事実である
事実15: 仮にあの思い遣り予算が勘案するならあの源氏縁は勘案する
事実16: このマイクロマネジメントは来院する
事実17: もしなんらかの物は勘案するとすれば「敬わないしそれにキャプテンである」ということは事実と異なる
事実18: 「この不動産取り引きは前後しないかまたは済ま無いかあるいはどちらもだ」ということは間違いだ
事実19: あの源氏縁は前後しない

仮説: 「あの源氏縁は敬わない一方でキャプテンである」ということは間違っている
1. 仮定1: 以下のように仮定する。あの思い遣り予算はキャプテンだ
2. 事実3と仮定1から、推論1: "この不動産取り引きは前後しないか済ま無いかまたは両方ともだ"が導かれる
3. 推論1と事実18から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの思い遣り予算はキャプテンでない"が導かれる
5. 推論3と事実6から、仮説が否定される

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