あのコスモポリタンは特定入院料である
fact1: あの磁気は動揺し易い fact2: 動揺し易い物は悪振らなくてまた程無くない fact3: 「すべては得すないしさらにそれはグループ毎だということはない」ということは成り立つ fact4: もし「とある物は短くないかあるいはグループ毎だということはないかまたは両方である」ということは嘘ならばそれは得す fact5: もしも「悪振らないしかつ程無くない」物があればこの曙会はすっごーくない fact6: もしも「なんらかのものは得す」ということは成り立つとすると特定入院料だ fact7: もしも「あのコスモポリタンは得すない」ということは成り立てばこの慶応幼稚舎は得すない fact8: 全ての物はすっごーくない fact9: 仮にその仏名会が得すということはないしその上それはグループ毎でないなら「あのコスモポリタンは特定入院料だということはない」ということは確かである fact10: あらゆる物は得すない fact11: もし仮にあのコスモポリタンが特定入院料である一方でグループ毎でないとすればその仏名会は得すない fact12: その仏名会が得すがしかしグループ毎であるということはないならあのコスモポリタンは特定入院料でない
fact3 -> int1: その仏名会は得すないしその上グループ毎でない; int1 & fact9 -> hypothesis;
あのコスモポリタンは特定入院料である
fact17 -> int2: あのコスモポリタンが得すとすればそれは特定入院料だ; fact14 -> int3: 仮に「あのコスモポリタンは短くないかもしくはグループ毎だということはないかあるいはどちらもだ」ということは成り立たないとしたら得す; fact13 -> int4: もしあの磁気が動揺し易いなら悪振らなくて更に程無くない; int4 & fact16 -> int5: あの磁気は悪振らなくて程無くない; int5 -> int6: 何かは悪振らなくて程無くない; int6 & fact15 -> int7: この曙会はすっごーくない; int7 -> int8: 「すっごーくない」ものはある;
$facts$ = fact1: あの磁気は動揺し易い fact2: 動揺し易い物は悪振らなくてまた程無くない fact3: 「すべては得すないしさらにそれはグループ毎だということはない」ということは成り立つ fact4: もし「とある物は短くないかあるいはグループ毎だということはないかまたは両方である」ということは嘘ならばそれは得す fact5: もしも「悪振らないしかつ程無くない」物があればこの曙会はすっごーくない fact6: もしも「なんらかのものは得す」ということは成り立つとすると特定入院料だ fact7: もしも「あのコスモポリタンは得すない」ということは成り立てばこの慶応幼稚舎は得すない fact8: 全ての物はすっごーくない fact9: 仮にその仏名会が得すということはないしその上それはグループ毎でないなら「あのコスモポリタンは特定入院料だということはない」ということは確かである fact10: あらゆる物は得すない fact11: もし仮にあのコスモポリタンが特定入院料である一方でグループ毎でないとすればその仏名会は得すない fact12: その仏名会が得すがしかしグループ毎であるということはないならあのコスモポリタンは特定入院料でない ; $hypothesis$ = あのコスモポリタンは特定入院料である ; $proof$ = 
fact3 -> int1: その仏名会は得すないしその上グループ毎でない; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: あの磁気は動揺し易い
事実2: 動揺し易い物は悪振らなくてまた程無くない
事実3: 「すべては得すないしさらにそれはグループ毎だということはない」ということは成り立つ
事実4: もし「とある物は短くないかあるいはグループ毎だということはないかまたは両方である」ということは嘘ならばそれは得す
事実5: もしも「悪振らないしかつ程無くない」物があればこの曙会はすっごーくない
事実6: もしも「なんらかのものは得す」ということは成り立つとすると特定入院料だ
事実7: もしも「あのコスモポリタンは得すない」ということは成り立てばこの慶応幼稚舎は得すない
事実8: 全ての物はすっごーくない
事実9: 仮にその仏名会が得すということはないしその上それはグループ毎でないなら「あのコスモポリタンは特定入院料だということはない」ということは確かである
事実10: あらゆる物は得すない
事実11: もし仮にあのコスモポリタンが特定入院料である一方でグループ毎でないとすればその仏名会は得すない
事実12: その仏名会が得すがしかしグループ毎であるということはないならあのコスモポリタンは特定入院料でない

仮説: あのコスモポリタンは特定入院料である
1. 事実3から、推論1: "その仏名会は得すないしその上グループ毎でない"が導かれる
2. 推論1と事実9から、仮説が否定される

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