あの酸・塩基は両側性である
fact1: もしも「あの酸・塩基はオリジナルグッズだ」ということは事実だとしたらそれは頑是無い fact2: もし仮にとある物は損金処理するとしたら「それは両側性だ」ということは真実だ fact3: あの酸・塩基は電送する fact4: あの流動性知能は両側性である fact5: もしもこのコバルト色が両側性だとしたらそれは押送船だ fact6: あの酸・塩基は立て難い fact7: なんらかの物が軽減するとすればそれは恵み深い fact8: あの酸・塩基は損金処理するし加えてオリジナルグッズである
fact8 -> int1: あの酸・塩基は損金処理する; fact2 -> int2: もしあの酸・塩基が損金処理するとしたら両側性だ; int1 & int2 -> hypothesis;
$facts$ = fact1: もしも「あの酸・塩基はオリジナルグッズだ」ということは事実だとしたらそれは頑是無い fact2: もし仮にとある物は損金処理するとしたら「それは両側性だ」ということは真実だ fact3: あの酸・塩基は電送する fact4: あの流動性知能は両側性である fact5: もしもこのコバルト色が両側性だとしたらそれは押送船だ fact6: あの酸・塩基は立て難い fact7: なんらかの物が軽減するとすればそれは恵み深い fact8: あの酸・塩基は損金処理するし加えてオリジナルグッズである ; $hypothesis$ = あの酸・塩基は両側性である ; $proof$ = 
fact8 -> int1: あの酸・塩基は損金処理する; fact2 -> int2: もしあの酸・塩基が損金処理するとしたら両側性だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「あの酸・塩基はオリジナルグッズだ」ということは事実だとしたらそれは頑是無い
事実2: もし仮にとある物は損金処理するとしたら「それは両側性だ」ということは真実だ
事実3: あの酸・塩基は電送する
事実4: あの流動性知能は両側性である
事実5: もしもこのコバルト色が両側性だとしたらそれは押送船だ
事実6: あの酸・塩基は立て難い
事実7: なんらかの物が軽減するとすればそれは恵み深い
事実8: あの酸・塩基は損金処理するし加えてオリジナルグッズである

仮説: あの酸・塩基は両側性である
1. 事実8から、推論1: "あの酸・塩基は損金処理する"が導かれる
2. 事実2から、推論2: "もしあの酸・塩基が損金処理するとしたら両側性だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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