あの十二島地頭職は共有しなくて蓄積され易くない
fact1: もしもなんらかのものは辛抱強いならば「取り引き予定量でなくて蓄積され易くない」ということは成り立たない fact2: 仮にあの十二島地頭職はＴＡＥなら「それは共有しないし蓄積され易くない」ということは成り立たない fact3: その築地回廊は契約金額でないけど財形だ fact4: もしその築地回廊が契約金額でないがそれは財形であるとするとスイッチ類でない fact5: その築地回廊は財形だ fact6: 仮に何らかの物がＴＡＥでないとすればそれは共有しないしかつ蓄積され易くない fact7: 「もし仮にその築地回廊がスイッチ類でないならばあの十二島地頭職はＴＡＥである」ということは本当だ
fact4 & fact3 -> int1: その築地回廊はスイッチ類でない; int1 & fact7 -> int2: 「あの十二島地頭職はＴＡＥだ」ということは事実である; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: ¬{B}{a}; int1 & fact7 -> int2: {A}{b}; int2 & fact2 -> hypothesis;
もしもその柴田修理は辛抱強いとすると「それは取り引き予定量でなくて蓄積され易くない」ということは偽である
fact8 -> hypothesis;
$facts$ = fact1: もしもなんらかのものは辛抱強いならば「取り引き予定量でなくて蓄積され易くない」ということは成り立たない fact2: 仮にあの十二島地頭職はＴＡＥなら「それは共有しないし蓄積され易くない」ということは成り立たない fact3: その築地回廊は契約金額でないけど財形だ fact4: もしその築地回廊が契約金額でないがそれは財形であるとするとスイッチ類でない fact5: その築地回廊は財形だ fact6: 仮に何らかの物がＴＡＥでないとすればそれは共有しないしかつ蓄積され易くない fact7: 「もし仮にその築地回廊がスイッチ類でないならばあの十二島地頭職はＴＡＥである」ということは本当だ ; $hypothesis$ = あの十二島地頭職は共有しなくて蓄積され易くない ; $proof$ = 
fact4 & fact3 -> int1: その築地回廊はスイッチ類でない; int1 & fact7 -> int2: 「あの十二島地頭職はＴＡＥだ」ということは事実である; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものは辛抱強いならば「取り引き予定量でなくて蓄積され易くない」ということは成り立たない
事実2: 仮にあの十二島地頭職はＴＡＥなら「それは共有しないし蓄積され易くない」ということは成り立たない
事実3: その築地回廊は契約金額でないけど財形だ
事実4: もしその築地回廊が契約金額でないがそれは財形であるとするとスイッチ類でない
事実5: その築地回廊は財形だ
事実6: 仮に何らかの物がＴＡＥでないとすればそれは共有しないしかつ蓄積され易くない
事実7: 「もし仮にその築地回廊がスイッチ類でないならばあの十二島地頭職はＴＡＥである」ということは本当だ

仮説: あの十二島地頭職は共有しなくて蓄積され易くない
1. 事実4と事実3から、推論1: "その築地回廊はスイッチ類でない"が導かれる
2. 推論1と事実7から、推論2: "「あの十二島地頭職はＴＡＥだ」ということは事実である"が導かれる
3. 推論2と事実2から、仮説が否定される

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