「このマクロビオティックは着陸出来るけれどそれは社交ダンスでない」ということは間違っている
fact1: あのディアは豪族でおまけにそれは止み難い fact2: 仮にあのディアが所らしいけれど着易くないならばこの損害賠償債権は利用し難い fact3: もしあるものが結腸癌で更にそれが冷め難いとすれば二〜三週間後であるということはない fact4: もし仮に「このマクロビオティックは懐かししそれに経過記録だ」ということは事実でないなら「経過記録だということはない」ということは成り立つ fact5: このマクロビオティックは懐かししさらにそれは着陸出来る fact6: もしあのディアは豪族であるとすれば着易くない fact7: 豪族が社交ダンスだとすれば有害化学物質でない fact8: 豪族は所らしいが着易くない fact9: この損害賠償債権は経過記録でその上それは懐かし fact10: もし仮にとある物は有害化学物質でないなら「それは経過記録だということはなくてかつそれは懐かしない」ということは誤りである fact11: 「このマクロビオティックは軟らかい」ということは事実だ fact12: もし仮に有害化学物質が経過記録なら利用し難くない fact13: もし何らかの物は着陸出来るとしたら「所らしくない」ということは嘘でない fact14: もし仮に「何かは所らしいしそれは有害化学物質である」ということは事実と異なるとしたら「有害化学物質でない」ということは成り立つ fact15: この損害賠償債権は豪族である fact16: 仮にこの損害賠償債権は有害化学物質でないとしたら「このマクロビオティックは着陸出来る一方でそれは社交ダンスでない」ということは間違いである
fact9 -> int1: 「この損害賠償債権は経過記録だ」ということは成り立つ; void -> assump1: 以下のように仮定する。この損害賠償債権は有害化学物質である; int1 & assump1 -> int2: この損害賠償債権は有害化学物質だし加えて経過記録だ; fact12 -> int3: この損害賠償債権は有害化学物質だし経過記録であるとすればそれは利用し難くない; int2 & int3 -> int4: この損害賠償債権は利用し難くない; fact8 -> int5: もし仮にあのディアは豪族であるとすれば所らしい一方で着易くない; fact1 -> int6: あのディアは豪族だ; int5 & int6 -> int7: あのディアは所らしいけれど着易くない; fact2 & int7 -> int8: 「この損害賠償債権は利用し難い」ということは誤りでない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この損害賠償債権は有害化学物質でない; int10 & fact16 -> hypothesis;
その御務めは利用し難くない
fact17 -> int11: もし仮にその御務めは有害化学物質でないなら「それは経過記録であるということはなくて更に懐かしない」ということは間違いだ;
$facts$ = fact1: あのディアは豪族でおまけにそれは止み難い fact2: 仮にあのディアが所らしいけれど着易くないならばこの損害賠償債権は利用し難い fact3: もしあるものが結腸癌で更にそれが冷め難いとすれば二〜三週間後であるということはない fact4: もし仮に「このマクロビオティックは懐かししそれに経過記録だ」ということは事実でないなら「経過記録だということはない」ということは成り立つ fact5: このマクロビオティックは懐かししさらにそれは着陸出来る fact6: もしあのディアは豪族であるとすれば着易くない fact7: 豪族が社交ダンスだとすれば有害化学物質でない fact8: 豪族は所らしいが着易くない fact9: この損害賠償債権は経過記録でその上それは懐かし fact10: もし仮にとある物は有害化学物質でないなら「それは経過記録だということはなくてかつそれは懐かしない」ということは誤りである fact11: 「このマクロビオティックは軟らかい」ということは事実だ fact12: もし仮に有害化学物質が経過記録なら利用し難くない fact13: もし何らかの物は着陸出来るとしたら「所らしくない」ということは嘘でない fact14: もし仮に「何かは所らしいしそれは有害化学物質である」ということは事実と異なるとしたら「有害化学物質でない」ということは成り立つ fact15: この損害賠償債権は豪族である fact16: 仮にこの損害賠償債権は有害化学物質でないとしたら「このマクロビオティックは着陸出来る一方でそれは社交ダンスでない」ということは間違いである ; $hypothesis$ = 「このマクロビオティックは着陸出来るけれどそれは社交ダンスでない」ということは間違っている ; $proof$ = 
fact9 -> int1: 「この損害賠償債権は経過記録だ」ということは成り立つ; void -> assump1: 以下のように仮定する。この損害賠償債権は有害化学物質である; int1 & assump1 -> int2: この損害賠償債権は有害化学物質だし加えて経過記録だ; fact12 -> int3: この損害賠償債権は有害化学物質だし経過記録であるとすればそれは利用し難くない; int2 & int3 -> int4: この損害賠償債権は利用し難くない; fact8 -> int5: もし仮にあのディアは豪族であるとすれば所らしい一方で着易くない; fact1 -> int6: あのディアは豪族だ; int5 & int6 -> int7: あのディアは所らしいけれど着易くない; fact2 & int7 -> int8: 「この損害賠償債権は利用し難い」ということは誤りでない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この損害賠償債権は有害化学物質でない; int10 & fact16 -> hypothesis; __PROVED__
事実1: あのディアは豪族でおまけにそれは止み難い
事実2: 仮にあのディアが所らしいけれど着易くないならばこの損害賠償債権は利用し難い
事実3: もしあるものが結腸癌で更にそれが冷め難いとすれば二〜三週間後であるということはない
事実4: もし仮に「このマクロビオティックは懐かししそれに経過記録だ」ということは事実でないなら「経過記録だということはない」ということは成り立つ
事実5: このマクロビオティックは懐かししさらにそれは着陸出来る
事実6: もしあのディアは豪族であるとすれば着易くない
事実7: 豪族が社交ダンスだとすれば有害化学物質でない
事実8: 豪族は所らしいが着易くない
事実9: この損害賠償債権は経過記録でその上それは懐かし
事実10: もし仮にとある物は有害化学物質でないなら「それは経過記録だということはなくてかつそれは懐かしない」ということは誤りである
事実11: 「このマクロビオティックは軟らかい」ということは事実だ
事実12: もし仮に有害化学物質が経過記録なら利用し難くない
事実13: もし何らかの物は着陸出来るとしたら「所らしくない」ということは嘘でない
事実14: もし仮に「何かは所らしいしそれは有害化学物質である」ということは事実と異なるとしたら「有害化学物質でない」ということは成り立つ
事実15: この損害賠償債権は豪族である
事実16: 仮にこの損害賠償債権は有害化学物質でないとしたら「このマクロビオティックは着陸出来る一方でそれは社交ダンスでない」ということは間違いである

仮説: 「このマクロビオティックは着陸出来るけれどそれは社交ダンスでない」ということは間違っている
1. 事実9から、推論1: "「この損害賠償債権は経過記録だ」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。この損害賠償債権は有害化学物質である
3. 推論1と仮定1から、推論2: "この損害賠償債権は有害化学物質だし加えて経過記録だ"が導かれる
4. 事実12から、推論3: "この損害賠償債権は有害化学物質だし経過記録であるとすればそれは利用し難くない"が導かれる
5. 推論2と推論3から、推論4: "この損害賠償債権は利用し難くない"が導かれる
6. 事実8から、推論5: "もし仮にあのディアは豪族であるとすれば所らしい一方で着易くない"が導かれる
7. 事実1から、推論6: "あのディアは豪族だ"が導かれる
8. 推論5と推論6から、推論7: "あのディアは所らしいけれど着易くない"が導かれる
9. 事実2と推論7から、推論8: "「この損害賠償債権は利用し難い」ということは誤りでない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この損害賠償債権は有害化学物質でない"が導かれる
12. 推論10と事実16から、仮説が導かれる

よって、仮説が証明されました。