この代表は絶縁物だ
fact1: もし仮になにがしかの物は理解し辛いとしたら「自己破産件数でないが行き難い」ということは事実と異なる fact2: あのアメリカ大陸横断は自己破産件数だ fact3: もしあのアメリカ大陸横断が絶縁物でないならばあの胸倉は行き難くて自己破産件数である fact4: もし仮にあのアメリカ大陸横断が自己破産件数であるし行き難いならばこの代表は絶縁物でない fact5: あのアメリカ大陸横断は行き難い fact6: もし仮になにがしかの物が自己破産件数ならば絶縁物だ
fact2 & fact5 -> int1: あのアメリカ大陸横断は自己破産件数であるしかつ行き難い; int1 & fact4 -> hypothesis;
fact2 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis;
その胸倉は行き難い
$facts$ = fact1: もし仮になにがしかの物は理解し辛いとしたら「自己破産件数でないが行き難い」ということは事実と異なる fact2: あのアメリカ大陸横断は自己破産件数だ fact3: もしあのアメリカ大陸横断が絶縁物でないならばあの胸倉は行き難くて自己破産件数である fact4: もし仮にあのアメリカ大陸横断が自己破産件数であるし行き難いならばこの代表は絶縁物でない fact5: あのアメリカ大陸横断は行き難い fact6: もし仮になにがしかの物が自己破産件数ならば絶縁物だ ; $hypothesis$ = この代表は絶縁物だ ; $proof$ = 
fact2 & fact5 -> int1: あのアメリカ大陸横断は自己破産件数であるしかつ行き難い; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物は理解し辛いとしたら「自己破産件数でないが行き難い」ということは事実と異なる
事実2: あのアメリカ大陸横断は自己破産件数だ
事実3: もしあのアメリカ大陸横断が絶縁物でないならばあの胸倉は行き難くて自己破産件数である
事実4: もし仮にあのアメリカ大陸横断が自己破産件数であるし行き難いならばこの代表は絶縁物でない
事実5: あのアメリカ大陸横断は行き難い
事実6: もし仮になにがしかの物が自己破産件数ならば絶縁物だ

仮説: この代表は絶縁物だ
1. 事実2と事実5から、推論1: "あのアメリカ大陸横断は自己破産件数であるしかつ行き難い"が導かれる
2. 推論1と事実4から、仮説が否定される

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