その危機介入は堅苦しくない
fact1: 「もし仮にその径がレイヤードであるししかも受傷するとしたらあの特別養護老人ホーム等はレイヤードでない」ということは確かだ fact2: その径は堅苦しいが過払い金であるということはない fact3: もしもその径は対抗し得る一方で堅苦しいということはないならそれは冗談ぽい fact4: もしその径が冗談ぽいとするとその危機介入は木目細かいけどそれは対抗し得ない fact5: この譜面は堅苦しい fact6: 「その危機介入は本丸東面であるしかつそれは戻り易い」ということは誤りだ fact7: もしも何かは木目細かいしさらにそれは対抗し得れば堅苦しい fact8: その径は冗談ぽい fact9: 医局が行使しないとしたらそれは書込み線だ fact10: えぐいものは大学教育研究センターでないけど冗談ぽい fact11: ある物は大学教育研究センターであるということはないとすれば「冗談ぽいしおまけに堅苦しい」ということは本当である fact12: 仮に「「「本丸東面であるしおまけに戻り易い」ということは成り立つということはない」ものはある」ということは真実であるとすればその径は結合し易くない fact13: 結合し易いということはない物はレイヤードだしかつ受傷する fact14: 何らかのものはレイヤードでないとすれば「えぐくないがポケットＱである」ということは本当でない fact15: もし仮にその危機介入が大学教育研究センターでない一方で冗談ぽいとすると堅苦しくない fact16: その危機介入は冗談ぽくない fact17: もしもその危機介入が木目細かいしそれは対抗し得れば「それは堅苦しくない」ということは間違いである fact18: もしもその危機介入が冗談ぽいがしかし木目細かくないならばそれは対抗し得る fact19: 仮に「なんらかのものはえぐくないがしかしポケットＱだ」ということは間違いならばそれは大学教育研究センターでない fact20: もしなんらかの物が木目細かいがそれは対抗し得るということはないならば「堅苦しい」ということは確かだ
fact4 & fact8 -> int1: その危機介入は木目細かいがそれは対抗し得ない; fact20 -> int2: もしもその危機介入は木目細かいがしかし対抗し得ないとすれば堅苦しい; int1 & int2 -> hypothesis;
fact4 & fact8 -> int1: ({AA}{b} & ¬{AB}{b}); fact20 -> int2: ({AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
あの特別養護老人ホーム等は冗談ぽい
fact23 -> int3: あの特別養護老人ホーム等が大学教育研究センターでないとしたらそれは冗談ぽいしおまけにそれは堅苦しい; fact21 -> int4: 「あの特別養護老人ホーム等はえぐくないがしかしそれはポケットＱである」ということは成り立たないとすると大学教育研究センターでない; fact26 -> int5: あの特別養護老人ホーム等はレイヤードであるということはないとすると「えぐくないけどポケットＱだ」ということは成り立たない; fact27 -> int6: その径が結合し易くないとしたらレイヤードであるしまたそれは受傷する; fact25 -> int7: 「「本丸東面であるしそれに戻り易い」ということは本当でない」ものはある; int7 & fact22 -> int8: その径は結合し易くない; int6 & int8 -> int9: その径はレイヤードであるししかもそれは受傷する; fact24 & int9 -> int10: あの特別養護老人ホーム等はレイヤードでない; int5 & int10 -> int11: 「あの特別養護老人ホーム等はえぐくないがしかしそれはポケットＱだ」ということは確かでない; int4 & int11 -> int12: あの特別養護老人ホーム等は大学教育研究センターでない; int3 & int12 -> int13: あの特別養護老人ホーム等が冗談ぽいしその上堅苦しい; int13 -> hypothesis;
$facts$ = fact1: 「もし仮にその径がレイヤードであるししかも受傷するとしたらあの特別養護老人ホーム等はレイヤードでない」ということは確かだ fact2: その径は堅苦しいが過払い金であるということはない fact3: もしもその径は対抗し得る一方で堅苦しいということはないならそれは冗談ぽい fact4: もしその径が冗談ぽいとするとその危機介入は木目細かいけどそれは対抗し得ない fact5: この譜面は堅苦しい fact6: 「その危機介入は本丸東面であるしかつそれは戻り易い」ということは誤りだ fact7: もしも何かは木目細かいしさらにそれは対抗し得れば堅苦しい fact8: その径は冗談ぽい fact9: 医局が行使しないとしたらそれは書込み線だ fact10: えぐいものは大学教育研究センターでないけど冗談ぽい fact11: ある物は大学教育研究センターであるということはないとすれば「冗談ぽいしおまけに堅苦しい」ということは本当である fact12: 仮に「「「本丸東面であるしおまけに戻り易い」ということは成り立つということはない」ものはある」ということは真実であるとすればその径は結合し易くない fact13: 結合し易いということはない物はレイヤードだしかつ受傷する fact14: 何らかのものはレイヤードでないとすれば「えぐくないがポケットＱである」ということは本当でない fact15: もし仮にその危機介入が大学教育研究センターでない一方で冗談ぽいとすると堅苦しくない fact16: その危機介入は冗談ぽくない fact17: もしもその危機介入が木目細かいしそれは対抗し得れば「それは堅苦しくない」ということは間違いである fact18: もしもその危機介入が冗談ぽいがしかし木目細かくないならばそれは対抗し得る fact19: 仮に「なんらかのものはえぐくないがしかしポケットＱだ」ということは間違いならばそれは大学教育研究センターでない fact20: もしなんらかの物が木目細かいがそれは対抗し得るということはないならば「堅苦しい」ということは確かだ ; $hypothesis$ = その危機介入は堅苦しくない ; $proof$ = 
fact4 & fact8 -> int1: その危機介入は木目細かいがそれは対抗し得ない; fact20 -> int2: もしもその危機介入は木目細かいがしかし対抗し得ないとすれば堅苦しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「もし仮にその径がレイヤードであるししかも受傷するとしたらあの特別養護老人ホーム等はレイヤードでない」ということは確かだ
事実2: その径は堅苦しいが過払い金であるということはない
事実3: もしもその径は対抗し得る一方で堅苦しいということはないならそれは冗談ぽい
事実4: もしその径が冗談ぽいとするとその危機介入は木目細かいけどそれは対抗し得ない
事実5: この譜面は堅苦しい
事実6: 「その危機介入は本丸東面であるしかつそれは戻り易い」ということは誤りだ
事実7: もしも何かは木目細かいしさらにそれは対抗し得れば堅苦しい
事実8: その径は冗談ぽい
事実9: 医局が行使しないとしたらそれは書込み線だ
事実10: えぐいものは大学教育研究センターでないけど冗談ぽい
事実11: ある物は大学教育研究センターであるということはないとすれば「冗談ぽいしおまけに堅苦しい」ということは本当である
事実12: 仮に「「「本丸東面であるしおまけに戻り易い」ということは成り立つということはない」ものはある」ということは真実であるとすればその径は結合し易くない
事実13: 結合し易いということはない物はレイヤードだしかつ受傷する
事実14: 何らかのものはレイヤードでないとすれば「えぐくないがポケットＱである」ということは本当でない
事実15: もし仮にその危機介入が大学教育研究センターでない一方で冗談ぽいとすると堅苦しくない
事実16: その危機介入は冗談ぽくない
事実17: もしもその危機介入が木目細かいしそれは対抗し得れば「それは堅苦しくない」ということは間違いである
事実18: もしもその危機介入が冗談ぽいがしかし木目細かくないならばそれは対抗し得る
事実19: 仮に「なんらかのものはえぐくないがしかしポケットＱだ」ということは間違いならばそれは大学教育研究センターでない
事実20: もしなんらかの物が木目細かいがそれは対抗し得るということはないならば「堅苦しい」ということは確かだ

仮説: その危機介入は堅苦しくない
1. 事実4と事実8から、推論1: "その危機介入は木目細かいがそれは対抗し得ない"が導かれる
2. 事実20から、推論2: "もしもその危機介入は木目細かいがしかし対抗し得ないとすれば堅苦しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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