この六十フレームはトランペットである
fact1: もし仮にこの六十フレームがトランペットでなくて加えて低下出来ないならあの神経繊維は着陸出来るということはない fact2: あの神経繊維はトランペットでない fact3: 「この六十フレームは着陸出来ない」ということは成り立つ fact4: あの百姓等は着陸出来るということはない fact5: あの神経繊維は切り離し難くないしその上小瓶でない fact6: この六十フレームは変え難くない fact7: もし仮にこの六十フレームがトランペットだけれど着陸出来ないとするとあの神経繊維は低下出来ない fact8: もし仮にこの六十フレームが低下出来ない一方でトランペットだとするとあの神経繊維は着陸出来ない fact9: あの神経繊維は着陸出来るということはなくて低下出来ない fact10: あの奇譚クラブは山菜料理でなくてその上狭くない fact11: あの神経繊維が着陸出来ないしそれが低下出来ないとしたらこの六十フレームはトランペットでない fact12: あの神経繊維は犯人グループでないしＣＦＯでない
fact11 & fact9 -> hypothesis;
fact11 & fact9 -> hypothesis;
$facts$ = fact1: もし仮にこの六十フレームがトランペットでなくて加えて低下出来ないならあの神経繊維は着陸出来るということはない fact2: あの神経繊維はトランペットでない fact3: 「この六十フレームは着陸出来ない」ということは成り立つ fact4: あの百姓等は着陸出来るということはない fact5: あの神経繊維は切り離し難くないしその上小瓶でない fact6: この六十フレームは変え難くない fact7: もし仮にこの六十フレームがトランペットだけれど着陸出来ないとするとあの神経繊維は低下出来ない fact8: もし仮にこの六十フレームが低下出来ない一方でトランペットだとするとあの神経繊維は着陸出来ない fact9: あの神経繊維は着陸出来るということはなくて低下出来ない fact10: あの奇譚クラブは山菜料理でなくてその上狭くない fact11: あの神経繊維が着陸出来ないしそれが低下出来ないとしたらこの六十フレームはトランペットでない fact12: あの神経繊維は犯人グループでないしＣＦＯでない ; $hypothesis$ = この六十フレームはトランペットである ; $proof$ = 
fact11 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮にこの六十フレームがトランペットでなくて加えて低下出来ないならあの神経繊維は着陸出来るということはない
事実2: あの神経繊維はトランペットでない
事実3: 「この六十フレームは着陸出来ない」ということは成り立つ
事実4: あの百姓等は着陸出来るということはない
事実5: あの神経繊維は切り離し難くないしその上小瓶でない
事実6: この六十フレームは変え難くない
事実7: もし仮にこの六十フレームがトランペットだけれど着陸出来ないとするとあの神経繊維は低下出来ない
事実8: もし仮にこの六十フレームが低下出来ない一方でトランペットだとするとあの神経繊維は着陸出来ない
事実9: あの神経繊維は着陸出来るということはなくて低下出来ない
事実10: あの奇譚クラブは山菜料理でなくてその上狭くない
事実11: あの神経繊維が着陸出来ないしそれが低下出来ないとしたらこの六十フレームはトランペットでない
事実12: あの神経繊維は犯人グループでないしＣＦＯでない

仮説: この六十フレームはトランペットである
1. 事実11と事実9から、仮説が否定される

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