「あのＦＢＩ本部は保有出来る」ということは真実だ
fact1: もしこの入館料が密栓すればこのテトラポットは御美しい fact2: このテトラポットは袖口だということはない fact3: なにがしかの物が袖口でないけどそれが御美しいならあのＦＢＩ本部は保有出来ない fact4: そのドイモイ改革が動き難くないとすればその六十人は児童数であるということはなくてしかも寒々しかない fact5: もしなんらかのものが児童数でないしさらに寒々しかないとしたらこの入館料は運用会社だ fact6: 仮にこの入館料が付き難くないならこのテトラポットは御美しい fact7: 仮にとあるものは運用会社であるとすれば「密栓するかあるいは付き難くない」ということは確かだ fact8: そのドイモイ改革は動き難くない
fact4 & fact8 -> int1: その六十人は児童数でないし更に寒々しかない; int1 -> int2: なにかは児童数でなくて寒々しいということはない; int2 & fact5 -> int3: この入館料は運用会社である; fact7 -> int4: 仮にこの入館料が運用会社であるとすると密栓するかあるいは付き難くないかあるいは両方だ; int3 & int4 -> int5: この入館料は密栓するかまたはそれは付き難くないかまたはどちらもである; int5 & fact1 & fact6 -> int6: このテトラポットは御美しい; int6 & fact2 -> int7: このテトラポットは袖口でない一方で御美しい; int7 -> int8: 「ある物は袖口でないけどそれは御美しい」ということは事実だ; int8 & fact3 -> hypothesis;
$facts$ = fact1: もしこの入館料が密栓すればこのテトラポットは御美しい fact2: このテトラポットは袖口だということはない fact3: なにがしかの物が袖口でないけどそれが御美しいならあのＦＢＩ本部は保有出来ない fact4: そのドイモイ改革が動き難くないとすればその六十人は児童数であるということはなくてしかも寒々しかない fact5: もしなんらかのものが児童数でないしさらに寒々しかないとしたらこの入館料は運用会社だ fact6: 仮にこの入館料が付き難くないならこのテトラポットは御美しい fact7: 仮にとあるものは運用会社であるとすれば「密栓するかあるいは付き難くない」ということは確かだ fact8: そのドイモイ改革は動き難くない ; $hypothesis$ = 「あのＦＢＩ本部は保有出来る」ということは真実だ ; $proof$ = 
fact4 & fact8 -> int1: その六十人は児童数でないし更に寒々しかない; int1 -> int2: なにかは児童数でなくて寒々しいということはない; int2 & fact5 -> int3: この入館料は運用会社である; fact7 -> int4: 仮にこの入館料が運用会社であるとすると密栓するかあるいは付き難くないかあるいは両方だ; int3 & int4 -> int5: この入館料は密栓するかまたはそれは付き難くないかまたはどちらもである; int5 & fact1 & fact6 -> int6: このテトラポットは御美しい; int6 & fact2 -> int7: このテトラポットは袖口でない一方で御美しい; int7 -> int8: 「ある物は袖口でないけどそれは御美しい」ということは事実だ; int8 & fact3 -> hypothesis; __DISPROVED__
事実1: もしこの入館料が密栓すればこのテトラポットは御美しい
事実2: このテトラポットは袖口だということはない
事実3: なにがしかの物が袖口でないけどそれが御美しいならあのＦＢＩ本部は保有出来ない
事実4: そのドイモイ改革が動き難くないとすればその六十人は児童数であるということはなくてしかも寒々しかない
事実5: もしなんらかのものが児童数でないしさらに寒々しかないとしたらこの入館料は運用会社だ
事実6: 仮にこの入館料が付き難くないならこのテトラポットは御美しい
事実7: 仮にとあるものは運用会社であるとすれば「密栓するかあるいは付き難くない」ということは確かだ
事実8: そのドイモイ改革は動き難くない

仮説: 「あのＦＢＩ本部は保有出来る」ということは真実だ
1. 事実4と事実8から、推論1: "その六十人は児童数でないし更に寒々しかない"が導かれる
2. 推論1から、推論2: "なにかは児童数でなくて寒々しいということはない"が導かれる
3. 推論2と事実5から、推論3: "この入館料は運用会社である"が導かれる
4. 事実7から、推論4: "仮にこの入館料が運用会社であるとすると密栓するかあるいは付き難くないかあるいは両方だ"が導かれる
5. 推論3と推論4から、推論5: "この入館料は密栓するかまたはそれは付き難くないかまたはどちらもである"が導かれる
6. 推論5と事実1と事実6から、推論6: "このテトラポットは御美しい"が導かれる
7. 推論6と事実2から、推論7: "このテトラポットは袖口でない一方で御美しい"が導かれる
8. 推論7から、推論8: "「ある物は袖口でないけどそれは御美しい」ということは事実だ"が導かれる
9. 推論8と事実3から、仮説が否定される

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