この視床は信託目的でない
fact1: 「その各方向は自己課税であるか信じ難くないかあるいは両方ともである」ということは嘘である fact2: もしもあの作業場所は取り掛かり易いとすると「その各方向が白雲洞だけど当該公文書であるということはない」ということは成り立たない fact3: ある物が紹介致さないししかも取り掛かり易くないとしたらそれは自己課税だ fact4: 「その爪郭部は長たらしいか出来易い」ということは事実だ fact5: 「もしあの税制改正はかったるいとしたら「あの千三百九十四接続は疲れ易くない一方で自己課税である」ということは成り立たない」ということは成り立つ fact6: もし仮に「何かはかったるくなくておまけにそれはドライブしない」ということは偽であるとしたらかったるい fact7: 「「あの液冷倒立Ｖ型はリュートであるかまたはそれは奉公しないかあるいは両方ともだ」ということは確かである」ということは間違っている fact8: もしもその爪郭部が長たらしいならばあの領国体制は出来易い fact9: とある物は膜法であるならば「かったるくないしまたドライブしない」ということは誤りである fact10: もしもこの視床が信託目的だとすればそれは近付き難い fact11: 「なにがしかのものは白雲洞であるかあるいは当該公文書でないかどちらもである」ということは間違いであるとすれば「それは取り掛かり易い」ということは正しい fact12: あの作業場所は紹介致さなくておまけに近付き難くない fact13: もし「近付き難い」ものはあるなら「その各方向は白雲洞であるかあるいはそれは当該公文書でないかあるいは両方である」ということは事実と異なる fact14: もし「その各方向は取り掛かり易い」ということは正しいならばあの作業場所は紹介致さないし取り掛かり易くない fact15: もしもこの海軍工廠が荒くれ者でないとすればあの税制改正は膜法であるしまた考え物である fact16: 「もしあの領国体制が出来易いし加えてうら若しとするとこの海軍工廠は荒くれ者だということはない」ということは確かだ fact17: 「この日蘭戦争原爆展は自己課税でない」ということは事実だとしたらあの作業場所が取り掛かり易いしその上それは紹介致す fact18: あの作業場所は自己課税でない fact19: もしもあの領国体制が二週間以内だとするとうら若し fact20: もしも「その爪郭部は出来易い」ということは確かであるならば「あの領国体制は出来易い」ということは成り立つ fact21: あの領国体制は二週間以内である
void -> assump1: 以下のように仮定する。この視床は信託目的だ; fact10 & assump1 -> int1: 「この視床は近付き難い」ということは成り立つ; int1 -> int2: なにがしかのものは近付き難い; int2 & fact13 -> int3: 「その各方向は白雲洞であるかまたは当該公文書でないか両方である」ということは事実でない; fact11 -> int4: もし仮に「その各方向は白雲洞であるか当該公文書でない」ということは成り立たないなら取り掛かり易い; int3 & int4 -> int5: その各方向は取り掛かり易い; int5 & fact14 -> int6: あの作業場所は紹介致さないしかつ取り掛かり易くない; fact3 -> int7: もし仮にあの作業場所は紹介致さなくてその上取り掛かり易いということはないならそれは自己課税である; int6 & int7 -> int8: あの作業場所は自己課税だ; int8 & fact18 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「この視床は信託目的である」ということは誤りでない
fact25 -> int10: もし「あの税制改正はかったるくなくてそれはドライブしない」ということは誤っていればかったるい; fact32 -> int11: もし仮にあの税制改正は膜法であるならば「それはかったるくなくてドライブしない」ということは誤りである; fact26 & fact31 & fact28 -> int12: あの領国体制は出来易い; fact29 & fact30 -> int13: あの領国体制はうら若し; int12 & int13 -> int14: あの領国体制は出来易くて加えてうら若し; fact27 & int14 -> int15: この海軍工廠は荒くれ者でない; fact33 & int15 -> int16: あの税制改正は膜法であるしさらに考え物である; int16 -> int17: あの税制改正は膜法だ; int11 & int17 -> int18: 「あの税制改正はかったるくないしおまけにドライブするということはない」ということは誤っている; int10 & int18 -> int19: あの税制改正はかったるい; fact22 & int19 -> int20: 「あの千三百九十四接続は疲れ易くないがしかしそれは自己課税だ」ということは成り立たない; int20 -> int21: 「「疲れ易くないけど自己課税である」ということは間違いである」物はある;
$facts$ = fact1: 「その各方向は自己課税であるか信じ難くないかあるいは両方ともである」ということは嘘である fact2: もしもあの作業場所は取り掛かり易いとすると「その各方向が白雲洞だけど当該公文書であるということはない」ということは成り立たない fact3: ある物が紹介致さないししかも取り掛かり易くないとしたらそれは自己課税だ fact4: 「その爪郭部は長たらしいか出来易い」ということは事実だ fact5: 「もしあの税制改正はかったるいとしたら「あの千三百九十四接続は疲れ易くない一方で自己課税である」ということは成り立たない」ということは成り立つ fact6: もし仮に「何かはかったるくなくておまけにそれはドライブしない」ということは偽であるとしたらかったるい fact7: 「「あの液冷倒立Ｖ型はリュートであるかまたはそれは奉公しないかあるいは両方ともだ」ということは確かである」ということは間違っている fact8: もしもその爪郭部が長たらしいならばあの領国体制は出来易い fact9: とある物は膜法であるならば「かったるくないしまたドライブしない」ということは誤りである fact10: もしもこの視床が信託目的だとすればそれは近付き難い fact11: 「なにがしかのものは白雲洞であるかあるいは当該公文書でないかどちらもである」ということは間違いであるとすれば「それは取り掛かり易い」ということは正しい fact12: あの作業場所は紹介致さなくておまけに近付き難くない fact13: もし「近付き難い」ものはあるなら「その各方向は白雲洞であるかあるいはそれは当該公文書でないかあるいは両方である」ということは事実と異なる fact14: もし「その各方向は取り掛かり易い」ということは正しいならばあの作業場所は紹介致さないし取り掛かり易くない fact15: もしもこの海軍工廠が荒くれ者でないとすればあの税制改正は膜法であるしまた考え物である fact16: 「もしあの領国体制が出来易いし加えてうら若しとするとこの海軍工廠は荒くれ者だということはない」ということは確かだ fact17: 「この日蘭戦争原爆展は自己課税でない」ということは事実だとしたらあの作業場所が取り掛かり易いしその上それは紹介致す fact18: あの作業場所は自己課税でない fact19: もしもあの領国体制が二週間以内だとするとうら若し fact20: もしも「その爪郭部は出来易い」ということは確かであるならば「あの領国体制は出来易い」ということは成り立つ fact21: あの領国体制は二週間以内である ; $hypothesis$ = この視床は信託目的でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この視床は信託目的だ; fact10 & assump1 -> int1: 「この視床は近付き難い」ということは成り立つ; int1 -> int2: なにがしかのものは近付き難い; int2 & fact13 -> int3: 「その各方向は白雲洞であるかまたは当該公文書でないか両方である」ということは事実でない; fact11 -> int4: もし仮に「その各方向は白雲洞であるか当該公文書でない」ということは成り立たないなら取り掛かり易い; int3 & int4 -> int5: その各方向は取り掛かり易い; int5 & fact14 -> int6: あの作業場所は紹介致さないしかつ取り掛かり易くない; fact3 -> int7: もし仮にあの作業場所は紹介致さなくてその上取り掛かり易いということはないならそれは自己課税である; int6 & int7 -> int8: あの作業場所は自己課税だ; int8 & fact18 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 「その各方向は自己課税であるか信じ難くないかあるいは両方ともである」ということは嘘である
事実2: もしもあの作業場所は取り掛かり易いとすると「その各方向が白雲洞だけど当該公文書であるということはない」ということは成り立たない
事実3: ある物が紹介致さないししかも取り掛かり易くないとしたらそれは自己課税だ
事実4: 「その爪郭部は長たらしいか出来易い」ということは事実だ
事実5: 「もしあの税制改正はかったるいとしたら「あの千三百九十四接続は疲れ易くない一方で自己課税である」ということは成り立たない」ということは成り立つ
事実6: もし仮に「何かはかったるくなくておまけにそれはドライブしない」ということは偽であるとしたらかったるい
事実7: 「「あの液冷倒立Ｖ型はリュートであるかまたはそれは奉公しないかあるいは両方ともだ」ということは確かである」ということは間違っている
事実8: もしもその爪郭部が長たらしいならばあの領国体制は出来易い
事実9: とある物は膜法であるならば「かったるくないしまたドライブしない」ということは誤りである
事実10: もしもこの視床が信託目的だとすればそれは近付き難い
事実11: 「なにがしかのものは白雲洞であるかあるいは当該公文書でないかどちらもである」ということは間違いであるとすれば「それは取り掛かり易い」ということは正しい
事実12: あの作業場所は紹介致さなくておまけに近付き難くない
事実13: もし「近付き難い」ものはあるなら「その各方向は白雲洞であるかあるいはそれは当該公文書でないかあるいは両方である」ということは事実と異なる
事実14: もし「その各方向は取り掛かり易い」ということは正しいならばあの作業場所は紹介致さないし取り掛かり易くない
事実15: もしもこの海軍工廠が荒くれ者でないとすればあの税制改正は膜法であるしまた考え物である
事実16: 「もしあの領国体制が出来易いし加えてうら若しとするとこの海軍工廠は荒くれ者だということはない」ということは確かだ
事実17: 「この日蘭戦争原爆展は自己課税でない」ということは事実だとしたらあの作業場所が取り掛かり易いしその上それは紹介致す
事実18: あの作業場所は自己課税でない
事実19: もしもあの領国体制が二週間以内だとするとうら若し
事実20: もしも「その爪郭部は出来易い」ということは確かであるならば「あの領国体制は出来易い」ということは成り立つ
事実21: あの領国体制は二週間以内である

仮説: この視床は信託目的でない
1. 仮定1: 以下のように仮定する。この視床は信託目的だ
2. 事実10と仮定1から、推論1: "「この視床は近付き難い」ということは成り立つ"が導かれる
3. 推論1から、推論2: "なにがしかのものは近付き難い"が導かれる
4. 推論2と事実13から、推論3: "「その各方向は白雲洞であるかまたは当該公文書でないか両方である」ということは事実でない"が導かれる
5. 事実11から、推論4: "もし仮に「その各方向は白雲洞であるか当該公文書でない」ということは成り立たないなら取り掛かり易い"が導かれる
6. 推論3と推論4から、推論5: "その各方向は取り掛かり易い"が導かれる
7. 推論5と事実14から、推論6: "あの作業場所は紹介致さないしかつ取り掛かり易くない"が導かれる
8. 事実3から、推論7: "もし仮にあの作業場所は紹介致さなくてその上取り掛かり易いということはないならそれは自己課税である"が導かれる
9. 推論6と推論7から、推論8: "あの作業場所は自己課税だ"が導かれる
10. 推論8と事実18から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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