「「自動車部品メーカーな」ものはある」ということは嘘である
fact1: あのオリエント急行は増え難くてまた帰属す fact2: 「長ーい」ものはある fact3: このモンタージュ写真は起こせるしその上アクセスし易い fact4: あの感服は今春だ fact5: あのオリエント急行はアクセスし易くて更に当たり難い fact6: 仮にこのストレスサインが曇り無しないならこの婿は人懐っこくないし操作し易くない fact7: あのＡＩＤＳ治療薬はアクセスし易い fact8: あのオリエント急行はアクセスし易い fact9: あの思いの丈は絶命する fact10: あのオリエント急行はアクセスし易くてかつそれは自動車部品メーカーだ fact11: このアカデミアはアクセスし易い fact12: 「あのオリエント急行は遣り続けるしその上手分けする」ということは成り立つ fact13: あのオリエント急行は常染色体上であるし加えて中継する fact14: あのオリエント急行は選考する fact15: もしもこの婿は人懐っこくないし操作し易くないとすればそれは否定し難い fact16: 「「めんどい」ということは成り立つ」ものはある fact17: 「アクセスし易い」ものはある fact18: あのオリエント急行は上がる
fact10 -> int1: 「あのオリエント急行は自動車部品メーカーである」ということは本当だ; int1 -> hypothesis;
この婿は否定し難いしアクセスし易い
$facts$ = fact1: あのオリエント急行は増え難くてまた帰属す fact2: 「長ーい」ものはある fact3: このモンタージュ写真は起こせるしその上アクセスし易い fact4: あの感服は今春だ fact5: あのオリエント急行はアクセスし易くて更に当たり難い fact6: 仮にこのストレスサインが曇り無しないならこの婿は人懐っこくないし操作し易くない fact7: あのＡＩＤＳ治療薬はアクセスし易い fact8: あのオリエント急行はアクセスし易い fact9: あの思いの丈は絶命する fact10: あのオリエント急行はアクセスし易くてかつそれは自動車部品メーカーだ fact11: このアカデミアはアクセスし易い fact12: 「あのオリエント急行は遣り続けるしその上手分けする」ということは成り立つ fact13: あのオリエント急行は常染色体上であるし加えて中継する fact14: あのオリエント急行は選考する fact15: もしもこの婿は人懐っこくないし操作し易くないとすればそれは否定し難い fact16: 「「めんどい」ということは成り立つ」ものはある fact17: 「アクセスし易い」ものはある fact18: あのオリエント急行は上がる ; $hypothesis$ = 「「自動車部品メーカーな」ものはある」ということは嘘である ; $proof$ = 
fact10 -> int1: 「あのオリエント急行は自動車部品メーカーである」ということは本当だ; int1 -> hypothesis; __DISPROVED__
事実1: あのオリエント急行は増え難くてまた帰属す
事実2: 「長ーい」ものはある
事実3: このモンタージュ写真は起こせるしその上アクセスし易い
事実4: あの感服は今春だ
事実5: あのオリエント急行はアクセスし易くて更に当たり難い
事実6: 仮にこのストレスサインが曇り無しないならこの婿は人懐っこくないし操作し易くない
事実7: あのＡＩＤＳ治療薬はアクセスし易い
事実8: あのオリエント急行はアクセスし易い
事実9: あの思いの丈は絶命する
事実10: あのオリエント急行はアクセスし易くてかつそれは自動車部品メーカーだ
事実11: このアカデミアはアクセスし易い
事実12: 「あのオリエント急行は遣り続けるしその上手分けする」ということは成り立つ
事実13: あのオリエント急行は常染色体上であるし加えて中継する
事実14: あのオリエント急行は選考する
事実15: もしもこの婿は人懐っこくないし操作し易くないとすればそれは否定し難い
事実16: 「「めんどい」ということは成り立つ」ものはある
事実17: 「アクセスし易い」ものはある
事実18: あのオリエント急行は上がる

仮説: 「「自動車部品メーカーな」ものはある」ということは嘘である
1. 事実10から、推論1: "「あのオリエント急行は自動車部品メーカーである」ということは本当だ"が導かれる
2. 推論1から、仮説が否定される

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