あの合衆国は標準装着しない
fact1: もし仮にとあるものは分かり合えない一方でキャラクター性だとすればむさくるしい fact2: もしもこの大模様が分かり合えるしそれにキャラクター性であるとしたらそれはむさくるしい fact3: この大模様は分かり合えないがキャラクター性だ fact4: 仮にこの大模様がむさくるしいとするとそれは解決出来る fact5: もしこの大模様が解決出来るとしたらあの合衆国は標準装着する fact6: 取り集めるし扱き始めるというものはない
fact1 -> int1: この大模様は分かり合えないけれどキャラクター性であるとしたらそれはむさくるしい; int1 & fact3 -> int2: 「この大模様はむさくるしい」ということは真実である; int2 & fact4 -> int3: この大模様は解決出来る; int3 & fact5 -> hypothesis;
あの合衆国は標準装着しない
fact7 -> int4: 「その位置Ｘは取り集めるししかも扱き始める」ということは嘘である;
$facts$ = fact1: もし仮にとあるものは分かり合えない一方でキャラクター性だとすればむさくるしい fact2: もしもこの大模様が分かり合えるしそれにキャラクター性であるとしたらそれはむさくるしい fact3: この大模様は分かり合えないがキャラクター性だ fact4: 仮にこの大模様がむさくるしいとするとそれは解決出来る fact5: もしこの大模様が解決出来るとしたらあの合衆国は標準装着する fact6: 取り集めるし扱き始めるというものはない ; $hypothesis$ = あの合衆国は標準装着しない ; $proof$ = 
fact1 -> int1: この大模様は分かり合えないけれどキャラクター性であるとしたらそれはむさくるしい; int1 & fact3 -> int2: 「この大模様はむさくるしい」ということは真実である; int2 & fact4 -> int3: この大模様は解決出来る; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものは分かり合えない一方でキャラクター性だとすればむさくるしい
事実2: もしもこの大模様が分かり合えるしそれにキャラクター性であるとしたらそれはむさくるしい
事実3: この大模様は分かり合えないがキャラクター性だ
事実4: 仮にこの大模様がむさくるしいとするとそれは解決出来る
事実5: もしこの大模様が解決出来るとしたらあの合衆国は標準装着する
事実6: 取り集めるし扱き始めるというものはない

仮説: あの合衆国は標準装着しない
1. 事実1から、推論1: "この大模様は分かり合えないけれどキャラクター性であるとしたらそれはむさくるしい"が導かれる
2. 推論1と事実3から、推論2: "「この大模様はむさくるしい」ということは真実である"が導かれる
3. 推論2と事実4から、推論3: "この大模様は解決出来る"が導かれる
4. 推論3と事実5から、仮説が否定される

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