あの魔法街は固定する
fact1: 「「修正しない」ということは真実な」物はある fact2: もしも「修正しない」ものがあるとするとあのＷＰＡは図々しいしそれに菓子類である fact3: し易くない物は塵であるし加えて固定する fact4: もし「なんらかのものは図々しいけれど指名手配するということはない」ということは成り立たないならば指名手配する fact5: もし「し易い」ものがあればその栄養サポートチームは指名手配しないし儚くない fact6: もし仮にその猫殺しは菓子類であるとしたら「あの魔法街は固定するということはない」ということは正しい fact7: その栄養サポートチームは固定するとしたら「あの魔法街は固定する」ということは確かである fact8: 仮にその栄養サポートチームが喧しくないならばその猫殺しが図々しいしその上菓子類である fact9: もしも「あのＷＰＡは図々しい」ということは真実だとするとあの展開上は喧しい fact10: 仮にその栄養サポートチームが指名手配しなくてその上それが儚くないなら喧しくない fact11: もし「その猫殺しは儚くないがしかし指名手配する」ということは成り立たないとしたらその栄養サポートチームはし易い fact12: 「儚い」ものはある fact13: 「その民本主義はし易い」ということは事実だ fact14: もしもその猫殺しが指名手配するとすればその栄養サポートチームは儚いかまたはし易くないかまたはどちらもだ
fact13 -> int1: 何らかのものはし易い; int1 & fact5 -> int2: 「その栄養サポートチームは指名手配しないし儚くない」ということは真実だ; int2 & fact10 -> int3: その栄養サポートチームは喧しくない; int3 & fact8 -> int4: その猫殺しは図々しくておまけにそれは菓子類である; int4 -> int5: その猫殺しは菓子類である; int5 & fact6 -> hypothesis;
あの老化変化は塵であるしまたそれは固定する
fact17 -> int6: もしあの老化変化はし易くないとするとそれは塵で固定する; fact16 -> int7: もし仮に「その猫殺しは図々しいけれどそれは指名手配しない」ということは偽ならば指名手配する;
$facts$ = fact1: 「「修正しない」ということは真実な」物はある fact2: もしも「修正しない」ものがあるとするとあのＷＰＡは図々しいしそれに菓子類である fact3: し易くない物は塵であるし加えて固定する fact4: もし「なんらかのものは図々しいけれど指名手配するということはない」ということは成り立たないならば指名手配する fact5: もし「し易い」ものがあればその栄養サポートチームは指名手配しないし儚くない fact6: もし仮にその猫殺しは菓子類であるとしたら「あの魔法街は固定するということはない」ということは正しい fact7: その栄養サポートチームは固定するとしたら「あの魔法街は固定する」ということは確かである fact8: 仮にその栄養サポートチームが喧しくないならばその猫殺しが図々しいしその上菓子類である fact9: もしも「あのＷＰＡは図々しい」ということは真実だとするとあの展開上は喧しい fact10: 仮にその栄養サポートチームが指名手配しなくてその上それが儚くないなら喧しくない fact11: もし「その猫殺しは儚くないがしかし指名手配する」ということは成り立たないとしたらその栄養サポートチームはし易い fact12: 「儚い」ものはある fact13: 「その民本主義はし易い」ということは事実だ fact14: もしもその猫殺しが指名手配するとすればその栄養サポートチームは儚いかまたはし易くないかまたはどちらもだ ; $hypothesis$ = あの魔法街は固定する ; $proof$ = 
fact13 -> int1: 何らかのものはし易い; int1 & fact5 -> int2: 「その栄養サポートチームは指名手配しないし儚くない」ということは真実だ; int2 & fact10 -> int3: その栄養サポートチームは喧しくない; int3 & fact8 -> int4: その猫殺しは図々しくておまけにそれは菓子類である; int4 -> int5: その猫殺しは菓子類である; int5 & fact6 -> hypothesis; __DISPROVED__
事実1: 「「修正しない」ということは真実な」物はある
事実2: もしも「修正しない」ものがあるとするとあのＷＰＡは図々しいしそれに菓子類である
事実3: し易くない物は塵であるし加えて固定する
事実4: もし「なんらかのものは図々しいけれど指名手配するということはない」ということは成り立たないならば指名手配する
事実5: もし「し易い」ものがあればその栄養サポートチームは指名手配しないし儚くない
事実6: もし仮にその猫殺しは菓子類であるとしたら「あの魔法街は固定するということはない」ということは正しい
事実7: その栄養サポートチームは固定するとしたら「あの魔法街は固定する」ということは確かである
事実8: 仮にその栄養サポートチームが喧しくないならばその猫殺しが図々しいしその上菓子類である
事実9: もしも「あのＷＰＡは図々しい」ということは真実だとするとあの展開上は喧しい
事実10: 仮にその栄養サポートチームが指名手配しなくてその上それが儚くないなら喧しくない
事実11: もし「その猫殺しは儚くないがしかし指名手配する」ということは成り立たないとしたらその栄養サポートチームはし易い
事実12: 「儚い」ものはある
事実13: 「その民本主義はし易い」ということは事実だ
事実14: もしもその猫殺しが指名手配するとすればその栄養サポートチームは儚いかまたはし易くないかまたはどちらもだ

仮説: あの魔法街は固定する
1. 事実13から、推論1: "何らかのものはし易い"が導かれる
2. 推論1と事実5から、推論2: "「その栄養サポートチームは指名手配しないし儚くない」ということは真実だ"が導かれる
3. 推論2と事実10から、推論3: "その栄養サポートチームは喧しくない"が導かれる
4. 推論3と事実8から、推論4: "その猫殺しは図々しくておまけにそれは菓子類である"が導かれる
5. 推論4から、推論5: "その猫殺しは菓子類である"が導かれる
6. 推論5と事実6から、仮説が否定される

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