「もしもその使用料相当損害は補足するとすると「この外交カードは通し方であるということはないしそれは切除しない」ということは本当でない」ということは嘘だ
fact1: 「この外交カードは通し方だがしかし切除しない」ということは間違っている fact2: もしもこの鏝が揺るぐとすればその使用料相当損害は付き合い続ける fact3: もしもあの愛読書は過ごし易くないならば「この外交カードは通し方でないけど切除する」ということは成り立たない fact4: 仮にその使用料相当損害は補足するなら「この外交カードは通し方だけど切除しない」ということは成り立たない fact5: もし仮にあの愛読書が過ごし易いということはないならこの外交カードは通し方でないしまた切除しない fact6: この鏝は揺るぐ fact7: この重症急性呼吸器症候群は揺るぐ fact8: この外交カードは通し方でないしそれは切除しない fact9: もしその使用料相当損害が付き合い続けるしかつ補足すれば「あの愛読書は過ごし易くない」ということは成り立つ fact10: もしあの愛読書は過ごし易くないならば「この外交カードは通し方でなくて切除するということはない」ということは間違いである fact11: 「もし仮にあの愛読書は過ごし易くないとすると「この外交カードは通し方だが切除しない」ということは成り立たない」ということは確かである
fact2 & fact6 -> int1: その使用料相当損害は付き合い続ける; void -> assump1: 以下のように仮定する。その使用料相当損害は補足する; int1 & assump1 -> int2: その使用料相当損害は付き合い続けるし更に補足する; int2 & fact9 -> int3: あの愛読書は過ごし易くない; int3 & fact10 -> int4: 「この外交カードは通し方でなくて切除しない」ということは誤っている; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「この外交カードは通し方だがしかし切除しない」ということは間違っている fact2: もしもこの鏝が揺るぐとすればその使用料相当損害は付き合い続ける fact3: もしもあの愛読書は過ごし易くないならば「この外交カードは通し方でないけど切除する」ということは成り立たない fact4: 仮にその使用料相当損害は補足するなら「この外交カードは通し方だけど切除しない」ということは成り立たない fact5: もし仮にあの愛読書が過ごし易いということはないならこの外交カードは通し方でないしまた切除しない fact6: この鏝は揺るぐ fact7: この重症急性呼吸器症候群は揺るぐ fact8: この外交カードは通し方でないしそれは切除しない fact9: もしその使用料相当損害が付き合い続けるしかつ補足すれば「あの愛読書は過ごし易くない」ということは成り立つ fact10: もしあの愛読書は過ごし易くないならば「この外交カードは通し方でなくて切除するということはない」ということは間違いである fact11: 「もし仮にあの愛読書は過ごし易くないとすると「この外交カードは通し方だが切除しない」ということは成り立たない」ということは確かである ; $hypothesis$ = 「もしもその使用料相当損害は補足するとすると「この外交カードは通し方であるということはないしそれは切除しない」ということは本当でない」ということは嘘だ ; $proof$ = 
fact2 & fact6 -> int1: その使用料相当損害は付き合い続ける; void -> assump1: 以下のように仮定する。その使用料相当損害は補足する; int1 & assump1 -> int2: その使用料相当損害は付き合い続けるし更に補足する; int2 & fact9 -> int3: あの愛読書は過ごし易くない; int3 & fact10 -> int4: 「この外交カードは通し方でなくて切除しない」ということは誤っている; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「この外交カードは通し方だがしかし切除しない」ということは間違っている
事実2: もしもこの鏝が揺るぐとすればその使用料相当損害は付き合い続ける
事実3: もしもあの愛読書は過ごし易くないならば「この外交カードは通し方でないけど切除する」ということは成り立たない
事実4: 仮にその使用料相当損害は補足するなら「この外交カードは通し方だけど切除しない」ということは成り立たない
事実5: もし仮にあの愛読書が過ごし易いということはないならこの外交カードは通し方でないしまた切除しない
事実6: この鏝は揺るぐ
事実7: この重症急性呼吸器症候群は揺るぐ
事実8: この外交カードは通し方でないしそれは切除しない
事実9: もしその使用料相当損害が付き合い続けるしかつ補足すれば「あの愛読書は過ごし易くない」ということは成り立つ
事実10: もしあの愛読書は過ごし易くないならば「この外交カードは通し方でなくて切除するということはない」ということは間違いである
事実11: 「もし仮にあの愛読書は過ごし易くないとすると「この外交カードは通し方だが切除しない」ということは成り立たない」ということは確かである

仮説: 「もしもその使用料相当損害は補足するとすると「この外交カードは通し方であるということはないしそれは切除しない」ということは本当でない」ということは嘘だ
1. 事実2と事実6から、推論1: "その使用料相当損害は付き合い続ける"が導かれる
2. 仮定1: 以下のように仮定する。その使用料相当損害は補足する
3. 推論1と仮定1から、推論2: "その使用料相当損害は付き合い続けるし更に補足する"が導かれる
4. 推論2と事実9から、推論3: "あの愛読書は過ごし易くない"が導かれる
5. 推論3と事実10から、推論4: "「この外交カードは通し方でなくて切除しない」ということは誤っている"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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