「この土地取得は思い付かない」ということは真実である
fact1: あの交友範囲は揺るがす fact2: もし仮にあの交友範囲が御悪いが思い付かないならばこの土地取得は勝ち目である fact3: もしなにがしかのものは特定目的会社でないならそれは名残惜しい fact4: 「もしもあの交友範囲が特定目的会社であるならこの雇用問題は御悪い」ということは本当である fact5: もし仮にその高山植物が思い付くとするとこの土地取得は後悔し始める fact6: 「その高山植物は名残惜しいということはないしおまけに後悔し始めない」ということは偽である fact7: その高山植物は日本人らしくない一方で後悔し始める fact8: もしなんらかのものがプラスならば勝ち目である fact9: 「その高山植物が日本人らしくないがしかしそれが後悔し始めればその高山植物はプラスでない」ということは事実である fact10: その高山植物が金色がからないとすれば伝世する fact11: ある物が名残惜しくないとしたらそれは日本人らしい fact12: もしもその高山植物が日本人らしいしおまけに後悔し始めればそれはプラスでない fact13: あの交友範囲は勝ち目でない fact14: もしもその高山植物は名残惜しいとしたら「特定目的会社である」ということは本当である fact15: もし仮になんらかのものが思い付かないかあるいはそれは特定目的会社でないかあるいは両方ならばそれは思い付かない fact16: もしあの交友範囲が領しないならそれは揮発し易い fact17: もしもこの雇用問題が御悪いとすればこの土地取得は思い付く fact18: 「その高山植物は日本人らしくない」ということは本当である fact19: あの交友範囲が名残惜しい一方で勝ち目でないとすればその高山植物はプラスだ fact20: もし仮になにがしかのものは名残惜しくないならば「特定目的会社であるしまた勝ち目である」ということは本当でない fact21: その高山植物が特定目的会社で勝ち目だとすればこの土地取得は特定目的会社であるということはない fact22: もし仮にこの雇用問題が勝ち目であるとしたらその高山植物は勝ち目である fact23: 仮に「ある物は名残惜しくないしおまけに後悔し始めない」ということは誤りであるとしたら名残惜しい
fact3 -> int1: もしもあの交友範囲は特定目的会社でないならばそれは名残惜しい; void -> assump1: 以下のように仮定する。あの交友範囲は特定目的会社でない; int1 & assump1 -> int2: あの交友範囲は名残惜しい; int2 & fact13 -> int3: あの交友範囲は名残惜しいけどそれは勝ち目でない; int3 & fact19 -> int4: その高山植物はプラスである; fact7 & fact9 -> int5: その高山植物はプラスでない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの交友範囲は特定目的会社だ; int7 & fact4 -> int8: この雇用問題は御悪い; int8 & fact17 -> hypothesis;
このＥＩＰは日本人らしくない
fact24 -> int9: もしその高山植物は名残惜しくないなら「それは特定目的会社であるし加えてそれは勝ち目である」ということは嘘だ;
$facts$ = fact1: あの交友範囲は揺るがす fact2: もし仮にあの交友範囲が御悪いが思い付かないならばこの土地取得は勝ち目である fact3: もしなにがしかのものは特定目的会社でないならそれは名残惜しい fact4: 「もしもあの交友範囲が特定目的会社であるならこの雇用問題は御悪い」ということは本当である fact5: もし仮にその高山植物が思い付くとするとこの土地取得は後悔し始める fact6: 「その高山植物は名残惜しいということはないしおまけに後悔し始めない」ということは偽である fact7: その高山植物は日本人らしくない一方で後悔し始める fact8: もしなんらかのものがプラスならば勝ち目である fact9: 「その高山植物が日本人らしくないがしかしそれが後悔し始めればその高山植物はプラスでない」ということは事実である fact10: その高山植物が金色がからないとすれば伝世する fact11: ある物が名残惜しくないとしたらそれは日本人らしい fact12: もしもその高山植物が日本人らしいしおまけに後悔し始めればそれはプラスでない fact13: あの交友範囲は勝ち目でない fact14: もしもその高山植物は名残惜しいとしたら「特定目的会社である」ということは本当である fact15: もし仮になんらかのものが思い付かないかあるいはそれは特定目的会社でないかあるいは両方ならばそれは思い付かない fact16: もしあの交友範囲が領しないならそれは揮発し易い fact17: もしもこの雇用問題が御悪いとすればこの土地取得は思い付く fact18: 「その高山植物は日本人らしくない」ということは本当である fact19: あの交友範囲が名残惜しい一方で勝ち目でないとすればその高山植物はプラスだ fact20: もし仮になにがしかのものは名残惜しくないならば「特定目的会社であるしまた勝ち目である」ということは本当でない fact21: その高山植物が特定目的会社で勝ち目だとすればこの土地取得は特定目的会社であるということはない fact22: もし仮にこの雇用問題が勝ち目であるとしたらその高山植物は勝ち目である fact23: 仮に「ある物は名残惜しくないしおまけに後悔し始めない」ということは誤りであるとしたら名残惜しい ; $hypothesis$ = 「この土地取得は思い付かない」ということは真実である ; $proof$ = 
fact3 -> int1: もしもあの交友範囲は特定目的会社でないならばそれは名残惜しい; void -> assump1: 以下のように仮定する。あの交友範囲は特定目的会社でない; int1 & assump1 -> int2: あの交友範囲は名残惜しい; int2 & fact13 -> int3: あの交友範囲は名残惜しいけどそれは勝ち目でない; int3 & fact19 -> int4: その高山植物はプラスである; fact7 & fact9 -> int5: その高山植物はプラスでない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの交友範囲は特定目的会社だ; int7 & fact4 -> int8: この雇用問題は御悪い; int8 & fact17 -> hypothesis; __DISPROVED__
事実1: あの交友範囲は揺るがす
事実2: もし仮にあの交友範囲が御悪いが思い付かないならばこの土地取得は勝ち目である
事実3: もしなにがしかのものは特定目的会社でないならそれは名残惜しい
事実4: 「もしもあの交友範囲が特定目的会社であるならこの雇用問題は御悪い」ということは本当である
事実5: もし仮にその高山植物が思い付くとするとこの土地取得は後悔し始める
事実6: 「その高山植物は名残惜しいということはないしおまけに後悔し始めない」ということは偽である
事実7: その高山植物は日本人らしくない一方で後悔し始める
事実8: もしなんらかのものがプラスならば勝ち目である
事実9: 「その高山植物が日本人らしくないがしかしそれが後悔し始めればその高山植物はプラスでない」ということは事実である
事実10: その高山植物が金色がからないとすれば伝世する
事実11: ある物が名残惜しくないとしたらそれは日本人らしい
事実12: もしもその高山植物が日本人らしいしおまけに後悔し始めればそれはプラスでない
事実13: あの交友範囲は勝ち目でない
事実14: もしもその高山植物は名残惜しいとしたら「特定目的会社である」ということは本当である
事実15: もし仮になんらかのものが思い付かないかあるいはそれは特定目的会社でないかあるいは両方ならばそれは思い付かない
事実16: もしあの交友範囲が領しないならそれは揮発し易い
事実17: もしもこの雇用問題が御悪いとすればこの土地取得は思い付く
事実18: 「その高山植物は日本人らしくない」ということは本当である
事実19: あの交友範囲が名残惜しい一方で勝ち目でないとすればその高山植物はプラスだ
事実20: もし仮になにがしかのものは名残惜しくないならば「特定目的会社であるしまた勝ち目である」ということは本当でない
事実21: その高山植物が特定目的会社で勝ち目だとすればこの土地取得は特定目的会社であるということはない
事実22: もし仮にこの雇用問題が勝ち目であるとしたらその高山植物は勝ち目である
事実23: 仮に「ある物は名残惜しくないしおまけに後悔し始めない」ということは誤りであるとしたら名残惜しい

仮説: 「この土地取得は思い付かない」ということは真実である
1. 事実3から、推論1: "もしもあの交友範囲は特定目的会社でないならばそれは名残惜しい"が導かれる
2. 仮定1: 以下のように仮定する。あの交友範囲は特定目的会社でない
3. 推論1と仮定1から、推論2: "あの交友範囲は名残惜しい"が導かれる
4. 推論2と事実13から、推論3: "あの交友範囲は名残惜しいけどそれは勝ち目でない"が導かれる
5. 推論3と事実19から、推論4: "その高山植物はプラスである"が導かれる
6. 事実7と事実9から、推論5: "その高山植物はプラスでない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの交友範囲は特定目的会社だ"が導かれる
9. 推論7と事実4から、推論8: "この雇用問題は御悪い"が導かれる
10. 推論8と事実17から、仮説が否定される

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