その所有権はホールインワンするということはないしそれにそれは償却超過額でない
fact1: その所有権は不透明性だ fact2: このトウシューズはめんどくない fact3: めんどい物はホールインワンする一方でコンピュータ・ソフトウェアであるということはない fact4: もし仮にこのちびっこがはしたないけれど不透明性であるということはないとすればあの零細企業は掘削だ fact5: このトウシューズが不透明性だけど恐ろしくない fact6: もしもその所有権は掘削であるしそれに償却超過額なら不透明性でない fact7: 「被征服者である」物はある fact8: アクセスし易くない物ははしたないけど不透明性でない fact9: もし何らかのものは掘削でないとするとコンピュータ科学であるけどめんどいということはない fact10: もし「アクセスし易くないかドラマ化しない」ものがあればこのちびっこはアクセスし易くない fact11: 仮に「被征服者な」物があるとしたらあの通商産業局長はアクセスし易くないかまたはドラマ化しないか両方ともだ fact12: 仮にその所有権がめんどいがそれが恐ろしくないならこのトウシューズはコンピュータ科学である fact13: もしも「その所有権は掘削である」ということは成り立つとしたらあの基礎梁等は掘削である fact14: めんどくない物は恐ろしくない fact15: 仮に「掘削な」物はあれば「その所有権は掘削であるかもしくは償却超過額であるか両方ともだ」ということは間違いでない fact16: 「この代わりばんこは償却超過額だ」ということは成り立たない fact17: この零細企業は掘削だしさらにはしたない fact18: 「このトウシューズは恐ろしくない」ということは成り立つ fact19: その所有権は防虫剤でない fact20: もし仮にこのトウシューズがめんどくないなら恐ろしいということはない fact21: 「めんどくない物はコンピュータ科学であるけど恐ろしいということはない」ということは本当だ fact22: 「その所有権はホールインワンしない」ということは本当だ fact23: もし仮にこのトウシューズがコンピュータ科学であるしそれにそれが恐ろしいとするとその所有権は掘削だ fact24: もしもこのトウシューズがコンピュータ科学だけれど恐ろしくないならその所有権は掘削だ fact25: 仮にその所有権はコンピュータ科学だし償却超過額であるとすると恐ろしいということはない
fact21 -> int1: 仮にこのトウシューズがめんどくないとしたらコンピュータ科学であるしそれは恐ろしくない; int1 & fact2 -> int2: このトウシューズはコンピュータ科学である一方で恐ろしくない; int2 & fact24 -> int3: その所有権は掘削である; void -> assump1: 以下のように仮定する。その所有権は償却超過額だ; int3 & assump1 -> int4: 「その所有権が掘削だし償却超過額である」ということは確かである; int4 & fact6 -> int5: その所有権は不透明性でない; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: その所有権は償却超過額でない; int7 & fact22 -> hypothesis;
「「その所有権はホールインワンしなくてそれは償却超過額でない」ということは正しくない」ということは成り立つ
fact26 -> int8: この零細企業は掘削である;
$facts$ = fact1: その所有権は不透明性だ fact2: このトウシューズはめんどくない fact3: めんどい物はホールインワンする一方でコンピュータ・ソフトウェアであるということはない fact4: もし仮にこのちびっこがはしたないけれど不透明性であるということはないとすればあの零細企業は掘削だ fact5: このトウシューズが不透明性だけど恐ろしくない fact6: もしもその所有権は掘削であるしそれに償却超過額なら不透明性でない fact7: 「被征服者である」物はある fact8: アクセスし易くない物ははしたないけど不透明性でない fact9: もし何らかのものは掘削でないとするとコンピュータ科学であるけどめんどいということはない fact10: もし「アクセスし易くないかドラマ化しない」ものがあればこのちびっこはアクセスし易くない fact11: 仮に「被征服者な」物があるとしたらあの通商産業局長はアクセスし易くないかまたはドラマ化しないか両方ともだ fact12: 仮にその所有権がめんどいがそれが恐ろしくないならこのトウシューズはコンピュータ科学である fact13: もしも「その所有権は掘削である」ということは成り立つとしたらあの基礎梁等は掘削である fact14: めんどくない物は恐ろしくない fact15: 仮に「掘削な」物はあれば「その所有権は掘削であるかもしくは償却超過額であるか両方ともだ」ということは間違いでない fact16: 「この代わりばんこは償却超過額だ」ということは成り立たない fact17: この零細企業は掘削だしさらにはしたない fact18: 「このトウシューズは恐ろしくない」ということは成り立つ fact19: その所有権は防虫剤でない fact20: もし仮にこのトウシューズがめんどくないなら恐ろしいということはない fact21: 「めんどくない物はコンピュータ科学であるけど恐ろしいということはない」ということは本当だ fact22: 「その所有権はホールインワンしない」ということは本当だ fact23: もし仮にこのトウシューズがコンピュータ科学であるしそれにそれが恐ろしいとするとその所有権は掘削だ fact24: もしもこのトウシューズがコンピュータ科学だけれど恐ろしくないならその所有権は掘削だ fact25: 仮にその所有権はコンピュータ科学だし償却超過額であるとすると恐ろしいということはない ; $hypothesis$ = その所有権はホールインワンするということはないしそれにそれは償却超過額でない ; $proof$ = 
fact21 -> int1: 仮にこのトウシューズがめんどくないとしたらコンピュータ科学であるしそれは恐ろしくない; int1 & fact2 -> int2: このトウシューズはコンピュータ科学である一方で恐ろしくない; int2 & fact24 -> int3: その所有権は掘削である; void -> assump1: 以下のように仮定する。その所有権は償却超過額だ; int3 & assump1 -> int4: 「その所有権が掘削だし償却超過額である」ということは確かである; int4 & fact6 -> int5: その所有権は不透明性でない; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: その所有権は償却超過額でない; int7 & fact22 -> hypothesis; __PROVED__
事実1: その所有権は不透明性だ
事実2: このトウシューズはめんどくない
事実3: めんどい物はホールインワンする一方でコンピュータ・ソフトウェアであるということはない
事実4: もし仮にこのちびっこがはしたないけれど不透明性であるということはないとすればあの零細企業は掘削だ
事実5: このトウシューズが不透明性だけど恐ろしくない
事実6: もしもその所有権は掘削であるしそれに償却超過額なら不透明性でない
事実7: 「被征服者である」物はある
事実8: アクセスし易くない物ははしたないけど不透明性でない
事実9: もし何らかのものは掘削でないとするとコンピュータ科学であるけどめんどいということはない
事実10: もし「アクセスし易くないかドラマ化しない」ものがあればこのちびっこはアクセスし易くない
事実11: 仮に「被征服者な」物があるとしたらあの通商産業局長はアクセスし易くないかまたはドラマ化しないか両方ともだ
事実12: 仮にその所有権がめんどいがそれが恐ろしくないならこのトウシューズはコンピュータ科学である
事実13: もしも「その所有権は掘削である」ということは成り立つとしたらあの基礎梁等は掘削である
事実14: めんどくない物は恐ろしくない
事実15: 仮に「掘削な」物はあれば「その所有権は掘削であるかもしくは償却超過額であるか両方ともだ」ということは間違いでない
事実16: 「この代わりばんこは償却超過額だ」ということは成り立たない
事実17: この零細企業は掘削だしさらにはしたない
事実18: 「このトウシューズは恐ろしくない」ということは成り立つ
事実19: その所有権は防虫剤でない
事実20: もし仮にこのトウシューズがめんどくないなら恐ろしいということはない
事実21: 「めんどくない物はコンピュータ科学であるけど恐ろしいということはない」ということは本当だ
事実22: 「その所有権はホールインワンしない」ということは本当だ
事実23: もし仮にこのトウシューズがコンピュータ科学であるしそれにそれが恐ろしいとするとその所有権は掘削だ
事実24: もしもこのトウシューズがコンピュータ科学だけれど恐ろしくないならその所有権は掘削だ
事実25: 仮にその所有権はコンピュータ科学だし償却超過額であるとすると恐ろしいということはない

仮説: その所有権はホールインワンするということはないしそれにそれは償却超過額でない
1. 事実21から、推論1: "仮にこのトウシューズがめんどくないとしたらコンピュータ科学であるしそれは恐ろしくない"が導かれる
2. 推論1と事実2から、推論2: "このトウシューズはコンピュータ科学である一方で恐ろしくない"が導かれる
3. 推論2と事実24から、推論3: "その所有権は掘削である"が導かれる
4. 仮定1: 以下のように仮定する。その所有権は償却超過額だ
5. 推論3と仮定1から、推論4: "「その所有権が掘削だし償却超過額である」ということは確かである"が導かれる
6. 推論4と事実6から、推論5: "その所有権は不透明性でない"が導かれる
7. 推論5と事実1から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その所有権は償却超過額でない"が導かれる
9. 推論7と事実22から、仮説が導かれる

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