「この監査役候補者は一睨みする」ということは真実だ
fact1: 「この三分前は御美しいかまたは読み易い」ということは嘘だ fact2: 「この監査役候補者は当該工業用機械等であるかもしくは程良い」ということは誤りだ fact3: もし仮にこのウーロン茶が建築設備でないなら若々しくてまたそれは二連覇である fact4: すべての物は当該工業用機械等でない fact5: この監査役候補者は当該工業用機械等でない fact6: 仮にとあるものはハブＮプログラムであるとすれば余儀無い fact7: 仮に「このウーロン茶は展示館でないがしかし一睨みする」ということは誤っているとすると一睨みしない fact8: 何らかのものは余儀無いとすると「展示館であるということはないし更にそれは一睨みする」ということは正しくない fact9: もしも「何かは当該工業用機械等であるかあるいは揶揄であるかもしくは両方だ」ということは成り立たないとすると「一睨みしない」ということは真実だ fact10: もし「この監査役候補者は孤立気味であるかあるいは切り替うかもしくは両方である」ということは正しくないとすれば当該工業用機械等でない fact11: もしもなにがしかのものが若々しいならばハブＮプログラムだ fact12: 「そのチクロピジンはのっぺりするか一睨みするかまたは両方だ」ということは事実と異なる fact13: 当該工業用機械等であるかまたは揶揄であるか両方ともだという物はない
fact13 -> int1: 「この監査役候補者は当該工業用機械等であるかもしくは揶揄であるかどちらもである」ということは成り立たない; fact9 -> int2: もしも「この監査役候補者は当該工業用機械等であるかまたは揶揄であるかまたは両方ともだ」ということは間違いであるとすると一睨みしない; int1 & int2 -> hypothesis;
fact13 -> int1: ¬({AA}{aa} v {AB}{aa}); fact9 -> int2: ¬({AA}{aa} v {AB}{aa}) -> ¬{A}{aa}; int1 & int2 -> hypothesis;
この監査役候補者は一睨みする
fact15 -> int3: もしもこのウーロン茶は余儀無いとしたら「それは展示館でないがしかし一睨みする」ということは間違いである; fact14 -> int4: 仮にこのウーロン茶がハブＮプログラムだとしたらそれは余儀無い; fact18 -> int5: もし「このウーロン茶は若々しい」ということは真実だとすればハブＮプログラムだ;
$facts$ = fact1: 「この三分前は御美しいかまたは読み易い」ということは嘘だ fact2: 「この監査役候補者は当該工業用機械等であるかもしくは程良い」ということは誤りだ fact3: もし仮にこのウーロン茶が建築設備でないなら若々しくてまたそれは二連覇である fact4: すべての物は当該工業用機械等でない fact5: この監査役候補者は当該工業用機械等でない fact6: 仮にとあるものはハブＮプログラムであるとすれば余儀無い fact7: 仮に「このウーロン茶は展示館でないがしかし一睨みする」ということは誤っているとすると一睨みしない fact8: 何らかのものは余儀無いとすると「展示館であるということはないし更にそれは一睨みする」ということは正しくない fact9: もしも「何かは当該工業用機械等であるかあるいは揶揄であるかもしくは両方だ」ということは成り立たないとすると「一睨みしない」ということは真実だ fact10: もし「この監査役候補者は孤立気味であるかあるいは切り替うかもしくは両方である」ということは正しくないとすれば当該工業用機械等でない fact11: もしもなにがしかのものが若々しいならばハブＮプログラムだ fact12: 「そのチクロピジンはのっぺりするか一睨みするかまたは両方だ」ということは事実と異なる fact13: 当該工業用機械等であるかまたは揶揄であるか両方ともだという物はない ; $hypothesis$ = 「この監査役候補者は一睨みする」ということは真実だ ; $proof$ = 
fact13 -> int1: 「この監査役候補者は当該工業用機械等であるかもしくは揶揄であるかどちらもである」ということは成り立たない; fact9 -> int2: もしも「この監査役候補者は当該工業用機械等であるかまたは揶揄であるかまたは両方ともだ」ということは間違いであるとすると一睨みしない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「この三分前は御美しいかまたは読み易い」ということは嘘だ
事実2: 「この監査役候補者は当該工業用機械等であるかもしくは程良い」ということは誤りだ
事実3: もし仮にこのウーロン茶が建築設備でないなら若々しくてまたそれは二連覇である
事実4: すべての物は当該工業用機械等でない
事実5: この監査役候補者は当該工業用機械等でない
事実6: 仮にとあるものはハブＮプログラムであるとすれば余儀無い
事実7: 仮に「このウーロン茶は展示館でないがしかし一睨みする」ということは誤っているとすると一睨みしない
事実8: 何らかのものは余儀無いとすると「展示館であるということはないし更にそれは一睨みする」ということは正しくない
事実9: もしも「何かは当該工業用機械等であるかあるいは揶揄であるかもしくは両方だ」ということは成り立たないとすると「一睨みしない」ということは真実だ
事実10: もし「この監査役候補者は孤立気味であるかあるいは切り替うかもしくは両方である」ということは正しくないとすれば当該工業用機械等でない
事実11: もしもなにがしかのものが若々しいならばハブＮプログラムだ
事実12: 「そのチクロピジンはのっぺりするか一睨みするかまたは両方だ」ということは事実と異なる
事実13: 当該工業用機械等であるかまたは揶揄であるか両方ともだという物はない

仮説: 「この監査役候補者は一睨みする」ということは真実だ
1. 事実13から、推論1: "「この監査役候補者は当該工業用機械等であるかもしくは揶揄であるかどちらもである」ということは成り立たない"が導かれる
2. 事実9から、推論2: "もしも「この監査役候補者は当該工業用機械等であるかまたは揶揄であるかまたは両方ともだ」ということは間違いであるとすると一睨みしない"が導かれる
3. 推論1と推論2から、仮説が否定される

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