あの欠乏症は国会図書館だ
fact1: あのパンジーは使用し難くないとすると「太り易くないしその上当直である」ということは誤っている fact2: あのパンジーは累積する fact3: もしとろ臭い物はＸＱであるならば国会図書館でない fact4: その社会主義諸国は累積する fact5: 仮に職業役割が当直だとすれば国会図書館でない fact6: もしなにかは節減出来ないとしたら累積するし加えてＸＱである fact7: その同格節は負ぶさる fact8: もしも「何らかの物は太り易くないけど当直である」ということは成り立たないとしたら真新しい fact9: あのパンジーが累積するとするとあの欠乏症はＸＱだ fact10: あの欠乏症は負ぶさる fact11: 仮にあの欠乏症が負ぶさるとするととろ臭い fact12: もしも「あのパンジーは職業役割でない一方で使用し難い」ということは成り立つということはないならばそれは使用し難くない fact13: もしもあのパンジーが負ぶさるとすると国会図書館であるかあるいはとろ臭くないかあるいは両方だ fact14: 真新しい物は節減出来ない fact15: もしもあのパンジーが国会図書館だとしたらあの欠乏症は国会図書館だ fact16: 仮にあのパンジーは意味深いとしたら「それは職業役割でないしかつ使用し難い」ということは間違っている
fact11 & fact10 -> int1: あの欠乏症はとろ臭い; fact9 & fact2 -> int2: あの欠乏症はＸＱだ; int1 & int2 -> int3: あの欠乏症はとろ臭くてＸＱである; fact3 -> int4: あの欠乏症はとろ臭いしＸＱなら国会図書館でない; int3 & int4 -> hypothesis;
「あの欠乏症は国会図書館である」ということは正しい
fact22 -> int5: もし「あのパンジーは節減出来ない」ということは事実と異ならないなら「それは累積するししかもＸＱだ」ということは本当だ; fact18 -> int6: 仮にあのパンジーが真新しいとすると節減出来ない; fact19 -> int7: もし仮に「「あのパンジーは太り易くないけど当直である」ということは誤っていない」ということは誤っているとしたらそれは真新しい;
$facts$ = fact1: あのパンジーは使用し難くないとすると「太り易くないしその上当直である」ということは誤っている fact2: あのパンジーは累積する fact3: もしとろ臭い物はＸＱであるならば国会図書館でない fact4: その社会主義諸国は累積する fact5: 仮に職業役割が当直だとすれば国会図書館でない fact6: もしなにかは節減出来ないとしたら累積するし加えてＸＱである fact7: その同格節は負ぶさる fact8: もしも「何らかの物は太り易くないけど当直である」ということは成り立たないとしたら真新しい fact9: あのパンジーが累積するとするとあの欠乏症はＸＱだ fact10: あの欠乏症は負ぶさる fact11: 仮にあの欠乏症が負ぶさるとするととろ臭い fact12: もしも「あのパンジーは職業役割でない一方で使用し難い」ということは成り立つということはないならばそれは使用し難くない fact13: もしもあのパンジーが負ぶさるとすると国会図書館であるかあるいはとろ臭くないかあるいは両方だ fact14: 真新しい物は節減出来ない fact15: もしもあのパンジーが国会図書館だとしたらあの欠乏症は国会図書館だ fact16: 仮にあのパンジーは意味深いとしたら「それは職業役割でないしかつ使用し難い」ということは間違っている ; $hypothesis$ = あの欠乏症は国会図書館だ ; $proof$ = 
fact11 & fact10 -> int1: あの欠乏症はとろ臭い; fact9 & fact2 -> int2: あの欠乏症はＸＱだ; int1 & int2 -> int3: あの欠乏症はとろ臭くてＸＱである; fact3 -> int4: あの欠乏症はとろ臭いしＸＱなら国会図書館でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あのパンジーは使用し難くないとすると「太り易くないしその上当直である」ということは誤っている
事実2: あのパンジーは累積する
事実3: もしとろ臭い物はＸＱであるならば国会図書館でない
事実4: その社会主義諸国は累積する
事実5: 仮に職業役割が当直だとすれば国会図書館でない
事実6: もしなにかは節減出来ないとしたら累積するし加えてＸＱである
事実7: その同格節は負ぶさる
事実8: もしも「何らかの物は太り易くないけど当直である」ということは成り立たないとしたら真新しい
事実9: あのパンジーが累積するとするとあの欠乏症はＸＱだ
事実10: あの欠乏症は負ぶさる
事実11: 仮にあの欠乏症が負ぶさるとするととろ臭い
事実12: もしも「あのパンジーは職業役割でない一方で使用し難い」ということは成り立つということはないならばそれは使用し難くない
事実13: もしもあのパンジーが負ぶさるとすると国会図書館であるかあるいはとろ臭くないかあるいは両方だ
事実14: 真新しい物は節減出来ない
事実15: もしもあのパンジーが国会図書館だとしたらあの欠乏症は国会図書館だ
事実16: 仮にあのパンジーは意味深いとしたら「それは職業役割でないしかつ使用し難い」ということは間違っている

仮説: あの欠乏症は国会図書館だ
1. 事実11と事実10から、推論1: "あの欠乏症はとろ臭い"が導かれる
2. 事実9と事実2から、推論2: "あの欠乏症はＸＱだ"が導かれる
3. 推論1と推論2から、推論3: "あの欠乏症はとろ臭くてＸＱである"が導かれる
4. 事実3から、推論4: "あの欠乏症はとろ臭いしＸＱなら国会図書館でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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