「「この総務課は汚くないかまたは中山橋であるか両方である」ということは真実である」ということは誤りである
fact1: それは分かり易いけどバンカー内でないというものはない fact2: もしもその物件移転が汚いならばこの二倍弱は解剖後でないかバンカー内でないかもしくは両方ともだ fact3: 使用期限である一方で解剖後でないという物はない fact4: もしも「その天羅はバンカー内でないししかも分かり易くない」ということは成り立たないとするとこの総務課は汚くない fact5: もしも「何らかのものはバンカー内だけど解剖後でない」ということは成り立たないとすると「解剖後だ」ということは真実である fact6: もしもなにがしかのものが分かり易いならばそれは汚い fact7: 「その物件移転が使用期限だしそれに解剖後だ」ということは成り立たない fact8: もし仮に「この二倍弱は物らしいが租借しない」ということは事実と異なればその物件移転は解剖後でない fact9: もし「なんらかの物は使用期限であるけれど解剖後だということはない」ということは間違いだとすれば解剖後だ fact10: もしもこの二倍弱はバンカー内だとすれば「その天羅はバンカー内でないし分かり易くない」ということは間違いだ fact11: もしもこの二倍弱は租借しないとすれば「その物件移転は物らしくない」ということは嘘でない fact12: この総務課はＣＡＡでない fact13: もしも「何らかの物は中山橋でないけど申し上げる」ということは確かでないならそれは分かり易い fact14: この二倍弱が解剖後でないかあるいはバンカー内だということはないかあるいは両方であるならその天羅は物らしくない fact15: もし仮にこの二倍弱はバンカー内でないとしたら「物らしいけれど租借しない」ということは誤っている
void -> assump1: 以下のように仮定する。この二倍弱はバンカー内でない; fact15 & assump1 -> int1: 「この二倍弱は物らしいが租借しない」ということは本当でない; int1 & fact8 -> int2: その物件移転は解剖後でない; fact3 -> int3: 「その物件移転は使用期限だが解剖後でない」ということは成り立たない; fact9 -> int4: もしも「その物件移転は使用期限だがしかし解剖後だということはない」ということは成り立たないなら解剖後である; int3 & int4 -> int5: その物件移転は解剖後である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この二倍弱はバンカー内である; int7 & fact10 -> int8: 「その天羅はバンカー内であるということはないし加えて分かり易くない」ということは誤っている; int8 & fact4 -> int9: この総務課は汚くない; int9 -> hypothesis;
その天羅は物らしくない
fact17 -> int10: もしも「その物件移転は分かり易い」ということは成り立つとすると汚い; fact18 -> int11: もし「その物件移転は中山橋でないがしかし申し上げる」ということは誤っているなら分かり易い;
$facts$ = fact1: それは分かり易いけどバンカー内でないというものはない fact2: もしもその物件移転が汚いならばこの二倍弱は解剖後でないかバンカー内でないかもしくは両方ともだ fact3: 使用期限である一方で解剖後でないという物はない fact4: もしも「その天羅はバンカー内でないししかも分かり易くない」ということは成り立たないとするとこの総務課は汚くない fact5: もしも「何らかのものはバンカー内だけど解剖後でない」ということは成り立たないとすると「解剖後だ」ということは真実である fact6: もしもなにがしかのものが分かり易いならばそれは汚い fact7: 「その物件移転が使用期限だしそれに解剖後だ」ということは成り立たない fact8: もし仮に「この二倍弱は物らしいが租借しない」ということは事実と異なればその物件移転は解剖後でない fact9: もし「なんらかの物は使用期限であるけれど解剖後だということはない」ということは間違いだとすれば解剖後だ fact10: もしもこの二倍弱はバンカー内だとすれば「その天羅はバンカー内でないし分かり易くない」ということは間違いだ fact11: もしもこの二倍弱は租借しないとすれば「その物件移転は物らしくない」ということは嘘でない fact12: この総務課はＣＡＡでない fact13: もしも「何らかの物は中山橋でないけど申し上げる」ということは確かでないならそれは分かり易い fact14: この二倍弱が解剖後でないかあるいはバンカー内だということはないかあるいは両方であるならその天羅は物らしくない fact15: もし仮にこの二倍弱はバンカー内でないとしたら「物らしいけれど租借しない」ということは誤っている ; $hypothesis$ = 「「この総務課は汚くないかまたは中山橋であるか両方である」ということは真実である」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。この二倍弱はバンカー内でない; fact15 & assump1 -> int1: 「この二倍弱は物らしいが租借しない」ということは本当でない; int1 & fact8 -> int2: その物件移転は解剖後でない; fact3 -> int3: 「その物件移転は使用期限だが解剖後でない」ということは成り立たない; fact9 -> int4: もしも「その物件移転は使用期限だがしかし解剖後だということはない」ということは成り立たないなら解剖後である; int3 & int4 -> int5: その物件移転は解剖後である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この二倍弱はバンカー内である; int7 & fact10 -> int8: 「その天羅はバンカー内であるということはないし加えて分かり易くない」ということは誤っている; int8 & fact4 -> int9: この総務課は汚くない; int9 -> hypothesis; __DISPROVED__
事実1: それは分かり易いけどバンカー内でないというものはない
事実2: もしもその物件移転が汚いならばこの二倍弱は解剖後でないかバンカー内でないかもしくは両方ともだ
事実3: 使用期限である一方で解剖後でないという物はない
事実4: もしも「その天羅はバンカー内でないししかも分かり易くない」ということは成り立たないとするとこの総務課は汚くない
事実5: もしも「何らかのものはバンカー内だけど解剖後でない」ということは成り立たないとすると「解剖後だ」ということは真実である
事実6: もしもなにがしかのものが分かり易いならばそれは汚い
事実7: 「その物件移転が使用期限だしそれに解剖後だ」ということは成り立たない
事実8: もし仮に「この二倍弱は物らしいが租借しない」ということは事実と異なればその物件移転は解剖後でない
事実9: もし「なんらかの物は使用期限であるけれど解剖後だということはない」ということは間違いだとすれば解剖後だ
事実10: もしもこの二倍弱はバンカー内だとすれば「その天羅はバンカー内でないし分かり易くない」ということは間違いだ
事実11: もしもこの二倍弱は租借しないとすれば「その物件移転は物らしくない」ということは嘘でない
事実12: この総務課はＣＡＡでない
事実13: もしも「何らかの物は中山橋でないけど申し上げる」ということは確かでないならそれは分かり易い
事実14: この二倍弱が解剖後でないかあるいはバンカー内だということはないかあるいは両方であるならその天羅は物らしくない
事実15: もし仮にこの二倍弱はバンカー内でないとしたら「物らしいけれど租借しない」ということは誤っている

仮説: 「「この総務課は汚くないかまたは中山橋であるか両方である」ということは真実である」ということは誤りである
1. 仮定1: 以下のように仮定する。この二倍弱はバンカー内でない
2. 事実15と仮定1から、推論1: "「この二倍弱は物らしいが租借しない」ということは本当でない"が導かれる
3. 推論1と事実8から、推論2: "その物件移転は解剖後でない"が導かれる
4. 事実3から、推論3: "「その物件移転は使用期限だが解剖後でない」ということは成り立たない"が導かれる
5. 事実9から、推論4: "もしも「その物件移転は使用期限だがしかし解剖後だということはない」ということは成り立たないなら解剖後である"が導かれる
6. 推論3と推論4から、推論5: "その物件移転は解剖後である"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この二倍弱はバンカー内である"が導かれる
9. 推論7と事実10から、推論8: "「その天羅はバンカー内であるということはないし加えて分かり易くない」ということは誤っている"が導かれる
10. 推論8と事実4から、推論9: "この総務課は汚くない"が導かれる
11. 推論9から、仮説が否定される

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