「あの田地証文は解約出来ない」ということは誤りである
fact1: 「その深凹版印刷はセットアップするけどＭワンＣでない」ということは誤りであるとするとこの大津事件は胡散臭い fact2: 何かはＤＶＤ‐ＲＡＭ／Ｒドライブだとしたら「それはセットアップするけどＭワンＣでない」ということは間違いだ fact3: その深凹版印刷はセットアップする fact4: もし仮にその深凹版印刷がセットアップするとしたらその隠喩はＭワンＣである fact5: 仮に何らかの物がＭワンＣでないかそれはセットアップするかあるいは両方なら解約出来る fact6: 仮にある物がＤＶＤ‐ＲＡＭ／ＲドライブであるかまたはＭワンＣだとするとあの田地証文は解約出来ない
fact4 & fact3 -> int1: その隠喩はＭワンＣである; int1 -> int2: その隠喩はＤＶＤ‐ＲＡＭ／ＲドライブであるかＭワンＣであるかまたはどちらもだ; int2 -> int3: 「ＤＶＤ‐ＲＡＭ／ＲドライブであるかＭワンＣであるかまたはどちらもな」物はある; int3 & fact6 -> hypothesis;
この大津事件は胡散臭い
fact8 -> int4: 仮にその深凹版印刷はＤＶＤ‐ＲＡＭ／Ｒドライブであるとすれば「それはセットアップするし加えてＭワンＣでない」ということは間違っている;
$facts$ = fact1: 「その深凹版印刷はセットアップするけどＭワンＣでない」ということは誤りであるとするとこの大津事件は胡散臭い fact2: 何かはＤＶＤ‐ＲＡＭ／Ｒドライブだとしたら「それはセットアップするけどＭワンＣでない」ということは間違いだ fact3: その深凹版印刷はセットアップする fact4: もし仮にその深凹版印刷がセットアップするとしたらその隠喩はＭワンＣである fact5: 仮に何らかの物がＭワンＣでないかそれはセットアップするかあるいは両方なら解約出来る fact6: 仮にある物がＤＶＤ‐ＲＡＭ／ＲドライブであるかまたはＭワンＣだとするとあの田地証文は解約出来ない ; $hypothesis$ = 「あの田地証文は解約出来ない」ということは誤りである ; $proof$ = 
fact4 & fact3 -> int1: その隠喩はＭワンＣである; int1 -> int2: その隠喩はＤＶＤ‐ＲＡＭ／ＲドライブであるかＭワンＣであるかまたはどちらもだ; int2 -> int3: 「ＤＶＤ‐ＲＡＭ／ＲドライブであるかＭワンＣであるかまたはどちらもな」物はある; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: 「その深凹版印刷はセットアップするけどＭワンＣでない」ということは誤りであるとするとこの大津事件は胡散臭い
事実2: 何かはＤＶＤ‐ＲＡＭ／Ｒドライブだとしたら「それはセットアップするけどＭワンＣでない」ということは間違いだ
事実3: その深凹版印刷はセットアップする
事実4: もし仮にその深凹版印刷がセットアップするとしたらその隠喩はＭワンＣである
事実5: 仮に何らかの物がＭワンＣでないかそれはセットアップするかあるいは両方なら解約出来る
事実6: 仮にある物がＤＶＤ‐ＲＡＭ／ＲドライブであるかまたはＭワンＣだとするとあの田地証文は解約出来ない

仮説: 「あの田地証文は解約出来ない」ということは誤りである
1. 事実4と事実3から、推論1: "その隠喩はＭワンＣである"が導かれる
2. 推論1から、推論2: "その隠喩はＤＶＤ‐ＲＡＭ／ＲドライブであるかＭワンＣであるかまたはどちらもだ"が導かれる
3. 推論2から、推論3: "「ＤＶＤ‐ＲＡＭ／ＲドライブであるかＭワンＣであるかまたはどちらもな」物はある"が導かれる
4. 推論3と事実6から、仮説が否定される

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