「「もし「取り付け工事でなくておまけにドミノでない」ということは成り立たないなら遣り直す」ものはある」ということは偽である
fact1: 「もし仮に公布・施行するなら冗談っぽい」ものはある fact2: 「「「取り付け工事でないしドミノである」ということは事実だ」ということは成り立たないなら遣り直す」ものはある fact3: 「もし仮に取り付け工事だとすると遣り直す」ものはある fact4: 「この自由貿易協定は取り付け工事だ」ということは事実ならば遣り直す fact5: 「もし仮に「聞き入れるけど物悲しくない」ということは誤りであるなら「手堅い」ということは真実である」ものはある fact6: もし仮に「この自由貿易協定はドミノであるということはないがそれは整理出来る」ということは事実と異なるならそれは辛抱強い fact7: もしもこの自由貿易協定が取り付け工事でなくて加えてドミノでないとすれば遣り直す fact8: 仮になにがしかのものはヒロインであるということはないしかつ焼け焦げないならばそれは濡れ鼠である fact9: 「もし仮に取り付け工事でなくてドミノでないとすると遣り直す」物はある fact10: もしも「ある物は取り付け工事でなくてドミノでない」ということは成り立たないとしたら遣り直す fact11: 仮になにかは就籍でなくてまた成り難くないとすればそれは農業共同化である fact12: 「「取り掛かり易いしその上北部方面でない」ということは間違っているとしたら児童同士である」物はある fact13: 「「何らかのものは伝わり易くないしすこくない」ということは事実と異なるとすると「それは整い始める」ということは真実である」ということは確かである
fact10 -> int1: 仮に「この自由貿易協定は取り付け工事でないしその上ドミノでない」ということは成り立たないなら遣り直す; int1 -> hypothesis;
fact10 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に公布・施行するなら冗談っぽい」ものはある fact2: 「「「取り付け工事でないしドミノである」ということは事実だ」ということは成り立たないなら遣り直す」ものはある fact3: 「もし仮に取り付け工事だとすると遣り直す」ものはある fact4: 「この自由貿易協定は取り付け工事だ」ということは事実ならば遣り直す fact5: 「もし仮に「聞き入れるけど物悲しくない」ということは誤りであるなら「手堅い」ということは真実である」ものはある fact6: もし仮に「この自由貿易協定はドミノであるということはないがそれは整理出来る」ということは事実と異なるならそれは辛抱強い fact7: もしもこの自由貿易協定が取り付け工事でなくて加えてドミノでないとすれば遣り直す fact8: 仮になにがしかのものはヒロインであるということはないしかつ焼け焦げないならばそれは濡れ鼠である fact9: 「もし仮に取り付け工事でなくてドミノでないとすると遣り直す」物はある fact10: もしも「ある物は取り付け工事でなくてドミノでない」ということは成り立たないとしたら遣り直す fact11: 仮になにかは就籍でなくてまた成り難くないとすればそれは農業共同化である fact12: 「「取り掛かり易いしその上北部方面でない」ということは間違っているとしたら児童同士である」物はある fact13: 「「何らかのものは伝わり易くないしすこくない」ということは事実と異なるとすると「それは整い始める」ということは真実である」ということは確かである ; $hypothesis$ = 「「もし「取り付け工事でなくておまけにドミノでない」ということは成り立たないなら遣り直す」ものはある」ということは偽である ; $proof$ = 
fact10 -> int1: 仮に「この自由貿易協定は取り付け工事でないしその上ドミノでない」ということは成り立たないなら遣り直す; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に公布・施行するなら冗談っぽい」ものはある
事実2: 「「「取り付け工事でないしドミノである」ということは事実だ」ということは成り立たないなら遣り直す」ものはある
事実3: 「もし仮に取り付け工事だとすると遣り直す」ものはある
事実4: 「この自由貿易協定は取り付け工事だ」ということは事実ならば遣り直す
事実5: 「もし仮に「聞き入れるけど物悲しくない」ということは誤りであるなら「手堅い」ということは真実である」ものはある
事実6: もし仮に「この自由貿易協定はドミノであるということはないがそれは整理出来る」ということは事実と異なるならそれは辛抱強い
事実7: もしもこの自由貿易協定が取り付け工事でなくて加えてドミノでないとすれば遣り直す
事実8: 仮になにがしかのものはヒロインであるということはないしかつ焼け焦げないならばそれは濡れ鼠である
事実9: 「もし仮に取り付け工事でなくてドミノでないとすると遣り直す」物はある
事実10: もしも「ある物は取り付け工事でなくてドミノでない」ということは成り立たないとしたら遣り直す
事実11: 仮になにかは就籍でなくてまた成り難くないとすればそれは農業共同化である
事実12: 「「取り掛かり易いしその上北部方面でない」ということは間違っているとしたら児童同士である」物はある
事実13: 「「何らかのものは伝わり易くないしすこくない」ということは事実と異なるとすると「それは整い始める」ということは真実である」ということは確かである

仮説: 「「もし「取り付け工事でなくておまけにドミノでない」ということは成り立たないなら遣り直す」ものはある」ということは偽である
1. 事実10から、推論1: "仮に「この自由貿易協定は取り付け工事でないしその上ドミノでない」ということは成り立たないなら遣り直す"が導かれる
2. 推論1から、仮説が否定される

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