「その冤罪事件は苦しない一方で伺える」ということは事実と異なる
fact1: もし「その自動車メーカーはつれなくない」ということは事実と異ならないなら「その冤罪事件は苦しということはないがしかしそれは伺える」ということは確かでない fact2: その自動車メーカーは引き摺り込まない fact3: 「その冤罪事件は入党しない一方で伺える」ということは成り立たない fact4: その冤罪事件は入党する fact5: もしも何かはつれないとすれば苦しない fact6: 「その冤罪事件はそわそわするということはない」ということは事実だ fact7: 仮にその冤罪事件が伺えるとするとそれは入党する fact8: 「その自動車メーカーは傾き易いということはない」ということは事実である fact9: その自動車メーカーは伺えるということはないとしたら「その冤罪事件はつれないしその上苦し」ということは誤っている fact10: 仮にその自動車メーカーが配信出来るならそれは入党する fact11: もしあの内部統制が同席すればそれは目的無しない fact12: 「その自動車メーカーはつれなくないが省略する」ということは偽である fact13: もし仮にその自動車メーカーが苦しとすればそれはつれないということはない fact14: 「その冤罪事件はつれなくない」ということは事実である fact15: その自動車メーカーは苦しないとすれば「その冤罪事件は配信出来るしおまけに伺える」ということは誤っている fact16: もしなにかは入党するならそれはつれなくない fact17: 「その自動車メーカーは配信出来る」ということは本当である fact18: もしもその冤罪事件が出国すれば掛け難くない fact19: 「その相槌は配信出来る」ということは本当である fact20: 「その冤罪事件は考え辛くないけど配信出来る」ということは間違っている fact21: もしその冤罪事件は伺えないとすると「その自動車メーカーは苦しない一方で入党する」ということは成り立たない fact22: その自動車メーカーは伺える
fact10 & fact17 -> int1: 「その自動車メーカーは入党する」ということは偽でない; fact16 -> int2: 仮にその自動車メーカーが入党するとするとそれはつれなくない; int1 & int2 -> int3: その自動車メーカーはつれなくない; int3 & fact1 -> hypothesis;
$facts$ = fact1: もし「その自動車メーカーはつれなくない」ということは事実と異ならないなら「その冤罪事件は苦しということはないがしかしそれは伺える」ということは確かでない fact2: その自動車メーカーは引き摺り込まない fact3: 「その冤罪事件は入党しない一方で伺える」ということは成り立たない fact4: その冤罪事件は入党する fact5: もしも何かはつれないとすれば苦しない fact6: 「その冤罪事件はそわそわするということはない」ということは事実だ fact7: 仮にその冤罪事件が伺えるとするとそれは入党する fact8: 「その自動車メーカーは傾き易いということはない」ということは事実である fact9: その自動車メーカーは伺えるということはないとしたら「その冤罪事件はつれないしその上苦し」ということは誤っている fact10: 仮にその自動車メーカーが配信出来るならそれは入党する fact11: もしあの内部統制が同席すればそれは目的無しない fact12: 「その自動車メーカーはつれなくないが省略する」ということは偽である fact13: もし仮にその自動車メーカーが苦しとすればそれはつれないということはない fact14: 「その冤罪事件はつれなくない」ということは事実である fact15: その自動車メーカーは苦しないとすれば「その冤罪事件は配信出来るしおまけに伺える」ということは誤っている fact16: もしなにかは入党するならそれはつれなくない fact17: 「その自動車メーカーは配信出来る」ということは本当である fact18: もしもその冤罪事件が出国すれば掛け難くない fact19: 「その相槌は配信出来る」ということは本当である fact20: 「その冤罪事件は考え辛くないけど配信出来る」ということは間違っている fact21: もしその冤罪事件は伺えないとすると「その自動車メーカーは苦しない一方で入党する」ということは成り立たない fact22: その自動車メーカーは伺える ; $hypothesis$ = 「その冤罪事件は苦しない一方で伺える」ということは事実と異なる ; $proof$ = 
fact10 & fact17 -> int1: 「その自動車メーカーは入党する」ということは偽でない; fact16 -> int2: 仮にその自動車メーカーが入党するとするとそれはつれなくない; int1 & int2 -> int3: その自動車メーカーはつれなくない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし「その自動車メーカーはつれなくない」ということは事実と異ならないなら「その冤罪事件は苦しということはないがしかしそれは伺える」ということは確かでない
事実2: その自動車メーカーは引き摺り込まない
事実3: 「その冤罪事件は入党しない一方で伺える」ということは成り立たない
事実4: その冤罪事件は入党する
事実5: もしも何かはつれないとすれば苦しない
事実6: 「その冤罪事件はそわそわするということはない」ということは事実だ
事実7: 仮にその冤罪事件が伺えるとするとそれは入党する
事実8: 「その自動車メーカーは傾き易いということはない」ということは事実である
事実9: その自動車メーカーは伺えるということはないとしたら「その冤罪事件はつれないしその上苦し」ということは誤っている
事実10: 仮にその自動車メーカーが配信出来るならそれは入党する
事実11: もしあの内部統制が同席すればそれは目的無しない
事実12: 「その自動車メーカーはつれなくないが省略する」ということは偽である
事実13: もし仮にその自動車メーカーが苦しとすればそれはつれないということはない
事実14: 「その冤罪事件はつれなくない」ということは事実である
事実15: その自動車メーカーは苦しないとすれば「その冤罪事件は配信出来るしおまけに伺える」ということは誤っている
事実16: もしなにかは入党するならそれはつれなくない
事実17: 「その自動車メーカーは配信出来る」ということは本当である
事実18: もしもその冤罪事件が出国すれば掛け難くない
事実19: 「その相槌は配信出来る」ということは本当である
事実20: 「その冤罪事件は考え辛くないけど配信出来る」ということは間違っている
事実21: もしその冤罪事件は伺えないとすると「その自動車メーカーは苦しない一方で入党する」ということは成り立たない
事実22: その自動車メーカーは伺える

仮説: 「その冤罪事件は苦しない一方で伺える」ということは事実と異なる
1. 事実10と事実17から、推論1: "「その自動車メーカーは入党する」ということは偽でない"が導かれる
2. 事実16から、推論2: "仮にその自動車メーカーが入党するとするとそれはつれなくない"が導かれる
3. 推論1と推論2から、推論3: "その自動車メーカーはつれなくない"が導かれる
4. 推論3と事実1から、仮説が導かれる

よって、仮説が証明されました。