この本分は第三項でない
fact1: 「「つべたいし結わえ付ける」ということは誤りな」ものはある fact2: 「「その水族は結わえ付けないがしかし第三項だ」ということは成り立つ」ということは成り立たない fact3: 「その水族はつべたくないが結わえ付ける」ということは間違っている fact4: もし仮に「「つべたくないけど結わえ付ける」ということは嘘な」ものがあるとすればあの本分は第三項である fact5: もしあの主翼は御労しくないなら「サーブするしまた確からしいということはない」ということは誤りである fact6: 仮に「とある物はつべたい」ということは成り立つとしたらこの本分は第三項である fact7: もしこの翻訳者が当て付けがましくらないとしたらこの本分はチェックすが自分らしくない fact8: 「その水族はつべたいしそれは結わえ付ける」ということは誤りだ fact9: もしもあるものがチェックすとすればそれは六十九式戦闘機でなくてそれに第三項でない fact10: 何らかのものはつべたくないがしかし結わえ付ける
fact3 -> int1: 「「つべたいということはなくてしかも結わえ付ける」ということは偽である」物はある; int1 & fact4 -> hypothesis;
fact3 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact4 -> hypothesis;
「この本分は第三項だ」ということは本当でない
fact11 -> int2: もしもこの本分がチェックすとすると六十九式戦闘機でないしそれに第三項であるということはない;
$facts$ = fact1: 「「つべたいし結わえ付ける」ということは誤りな」ものはある fact2: 「「その水族は結わえ付けないがしかし第三項だ」ということは成り立つ」ということは成り立たない fact3: 「その水族はつべたくないが結わえ付ける」ということは間違っている fact4: もし仮に「「つべたくないけど結わえ付ける」ということは嘘な」ものがあるとすればあの本分は第三項である fact5: もしあの主翼は御労しくないなら「サーブするしまた確からしいということはない」ということは誤りである fact6: 仮に「とある物はつべたい」ということは成り立つとしたらこの本分は第三項である fact7: もしこの翻訳者が当て付けがましくらないとしたらこの本分はチェックすが自分らしくない fact8: 「その水族はつべたいしそれは結わえ付ける」ということは誤りだ fact9: もしもあるものがチェックすとすればそれは六十九式戦闘機でなくてそれに第三項でない fact10: 何らかのものはつべたくないがしかし結わえ付ける ; $hypothesis$ = この本分は第三項でない ; $proof$ = 
fact3 -> int1: 「「つべたいということはなくてしかも結わえ付ける」ということは偽である」物はある; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「「つべたいし結わえ付ける」ということは誤りな」ものはある
事実2: 「「その水族は結わえ付けないがしかし第三項だ」ということは成り立つ」ということは成り立たない
事実3: 「その水族はつべたくないが結わえ付ける」ということは間違っている
事実4: もし仮に「「つべたくないけど結わえ付ける」ということは嘘な」ものがあるとすればあの本分は第三項である
事実5: もしあの主翼は御労しくないなら「サーブするしまた確からしいということはない」ということは誤りである
事実6: 仮に「とある物はつべたい」ということは成り立つとしたらこの本分は第三項である
事実7: もしこの翻訳者が当て付けがましくらないとしたらこの本分はチェックすが自分らしくない
事実8: 「その水族はつべたいしそれは結わえ付ける」ということは誤りだ
事実9: もしもあるものがチェックすとすればそれは六十九式戦闘機でなくてそれに第三項でない
事実10: 何らかのものはつべたくないがしかし結わえ付ける

仮説: この本分は第三項でない
1. 事実3から、推論1: "「「つべたいということはなくてしかも結わえ付ける」ということは偽である」物はある"が導かれる
2. 推論1と事実4から、仮説が否定される

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