「その軟骨骨折はシエラ号でないしベーコンエッグだということはない」ということは成り立たない
fact1: あの増改築等は路銀だ fact2: 何らかの物が諫むならそれは裏付けするということはない fact3: 仮に「その軟骨骨折はシエラ号だ」ということは本当であるならばそれは路銀でない fact4: 「シエラ号はベーコンエッグでないしそれに路銀でない」ということは成り立つ fact5: あるものが御強請りするとしたら事前・事後テストでなくてしかも引き易くない fact6: ホスト分子はシエラ号でないしベーコンエッグでない fact7: 仮に何らかのものは庶物だということはないなら「「あのＸＣは貸し出しであるけどどうしても欲しくない」ということは誤りである」ということは本当だ fact8: その軟骨骨折が路銀であるとするとそれはベーコンエッグでなくてそれにそれはシエラ号でない fact9: 「その八岳山はシエラ号である」ということは成り立つ fact10: もし仮にあの増改築等がホスト分子であるならばあの軟骨骨折は路銀である fact11: その軟骨骨折は路銀でないししかもそれはシエラ号だということはない fact12: ホスト分子はシエラ号でない fact13: その軟骨骨折はシエラ号でない fact14: もし何らかの物はホスト分子でないならば「シエラ号でないしベーコンエッグでない」ということは成り立たない fact15: もし何らかの物が自動更新すれば言い触らさない fact16: 「あの増改築等はベーコンエッグである」ということは本当だ fact17: もし仮にその軟骨骨折が路銀ならあの増改築等はベーコンエッグである fact18: 「庶物でない」物はある fact19: もし仮になにかはオーベッド船長であるならばそれは県内各地でないしそれはトリハロメタンでない fact20: もしもあの増改築等は路銀であるとすると「その軟骨骨折はホスト分子である」ということは本当だ fact21: もしなにがしかの物は貸し出しでないとすると路銀であるがしかし冷え易くない fact22: もしもその軟骨骨折がホスト分子ならばシエラ号でない
fact6 -> int1: もしその軟骨骨折はホスト分子だとすれば「それはシエラ号でなくて加えてベーコンエッグでない」ということは確かだ; fact20 & fact1 -> int2: 「その軟骨骨折はホスト分子である」ということは事実だ; int1 & int2 -> hypothesis;
fact6 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact20 & fact1 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
仮にその軟骨骨折がオーベッド船長だとしたらそれは県内各地でなくておまけにトリハロメタンでない
fact23 -> hypothesis;
$facts$ = fact1: あの増改築等は路銀だ fact2: 何らかの物が諫むならそれは裏付けするということはない fact3: 仮に「その軟骨骨折はシエラ号だ」ということは本当であるならばそれは路銀でない fact4: 「シエラ号はベーコンエッグでないしそれに路銀でない」ということは成り立つ fact5: あるものが御強請りするとしたら事前・事後テストでなくてしかも引き易くない fact6: ホスト分子はシエラ号でないしベーコンエッグでない fact7: 仮に何らかのものは庶物だということはないなら「「あのＸＣは貸し出しであるけどどうしても欲しくない」ということは誤りである」ということは本当だ fact8: その軟骨骨折が路銀であるとするとそれはベーコンエッグでなくてそれにそれはシエラ号でない fact9: 「その八岳山はシエラ号である」ということは成り立つ fact10: もし仮にあの増改築等がホスト分子であるならばあの軟骨骨折は路銀である fact11: その軟骨骨折は路銀でないししかもそれはシエラ号だということはない fact12: ホスト分子はシエラ号でない fact13: その軟骨骨折はシエラ号でない fact14: もし何らかの物はホスト分子でないならば「シエラ号でないしベーコンエッグでない」ということは成り立たない fact15: もし何らかの物が自動更新すれば言い触らさない fact16: 「あの増改築等はベーコンエッグである」ということは本当だ fact17: もし仮にその軟骨骨折が路銀ならあの増改築等はベーコンエッグである fact18: 「庶物でない」物はある fact19: もし仮になにかはオーベッド船長であるならばそれは県内各地でないしそれはトリハロメタンでない fact20: もしもあの増改築等は路銀であるとすると「その軟骨骨折はホスト分子である」ということは本当だ fact21: もしなにがしかの物は貸し出しでないとすると路銀であるがしかし冷え易くない fact22: もしもその軟骨骨折がホスト分子ならばシエラ号でない ; $hypothesis$ = 「その軟骨骨折はシエラ号でないしベーコンエッグだということはない」ということは成り立たない ; $proof$ = 
fact6 -> int1: もしその軟骨骨折はホスト分子だとすれば「それはシエラ号でなくて加えてベーコンエッグでない」ということは確かだ; fact20 & fact1 -> 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: もしもあの増改築等は路銀であるとすると「その軟骨骨折はホスト分子である」ということは本当だ
事実21: もしなにがしかの物は貸し出しでないとすると路銀であるがしかし冷え易くない
事実22: もしもその軟骨骨折がホスト分子ならばシエラ号でない

仮説: 「その軟骨骨折はシエラ号でないしベーコンエッグだということはない」ということは成り立たない
1. 事実6から、推論1: "もしその軟骨骨折はホスト分子だとすれば「それはシエラ号でなくて加えてベーコンエッグでない」ということは確かだ"が導かれる
2. 事実20と事実1から、推論2: "「その軟骨骨折はホスト分子である」ということは事実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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