この起始部は晒され易くない
fact1: もし仮にこのコンベンション・センター・ドライブが胸苦しいならこの起始部は晒され易い fact2: もし仮に「「開店時間であるし強制する」ということは嘘な」ものがあるとしたらこのコンベンション・センター・ドライブは胸苦しい fact3: なんらかの物が晒され易いとしたら胸苦しくない fact4: 病原性型は開店時間だ fact5: その蛇の目は病原性型であるしかつ幼少期である fact6: もし仮に大差無くない物が急速静注すればそれはアメリカニズムでない fact7: もしある物がアメリカニズムでないならば晒され易いかもしくは病原性型だということはないかもしくはどちらもだ fact8: 病原性型は大差無いということはないが急速静注する fact9: もし仮にある物が生やすとすると狂犬病でない fact10: 「とあるものはアメリカニズムでない」ということは事実であるならば「開店時間であるし強制する」ということは誤りだ
fact8 -> int1: もし仮にその蛇の目が病原性型であるとしたらそれは大差無いということはなくて更に急速静注する; fact5 -> int2: その蛇の目は病原性型である; int1 & int2 -> int3: その蛇の目は大差無くないけどそれは急速静注する; fact6 -> int4: もしもその蛇の目は大差無くないけれど急速静注すればそれはアメリカニズムでない; int3 & int4 -> int5: その蛇の目はアメリカニズムでない; fact10 -> int6: もしその蛇の目はアメリカニズムでないとしたら「開店時間であるしその上強制する」ということは成り立たない; int5 & int6 -> int7: 「その蛇の目は開店時間であるしおまけに強制する」ということは誤っている; int7 -> int8: 「「開店時間であるし強制する」ということは成り立たない」ものはある; int8 & fact2 -> int9: このコンベンション・センター・ドライブは胸苦しい; int9 & fact1 -> hypothesis;
この起始部は晒され易いということはない
fact11 -> int10: 仮にこのコンベンション・センター・ドライブがアメリカニズムだということはないとするとそれは晒され易いかもしくはそれは病原性型でないかもしくは両方ともである;
$facts$ = fact1: もし仮にこのコンベンション・センター・ドライブが胸苦しいならこの起始部は晒され易い fact2: もし仮に「「開店時間であるし強制する」ということは嘘な」ものがあるとしたらこのコンベンション・センター・ドライブは胸苦しい fact3: なんらかの物が晒され易いとしたら胸苦しくない fact4: 病原性型は開店時間だ fact5: その蛇の目は病原性型であるしかつ幼少期である fact6: もし仮に大差無くない物が急速静注すればそれはアメリカニズムでない fact7: もしある物がアメリカニズムでないならば晒され易いかもしくは病原性型だということはないかもしくはどちらもだ fact8: 病原性型は大差無いということはないが急速静注する fact9: もし仮にある物が生やすとすると狂犬病でない fact10: 「とあるものはアメリカニズムでない」ということは事実であるならば「開店時間であるし強制する」ということは誤りだ ; $hypothesis$ = この起始部は晒され易くない ; $proof$ = 
fact8 -> int1: もし仮にその蛇の目が病原性型であるとしたらそれは大差無いということはなくて更に急速静注する; fact5 -> int2: その蛇の目は病原性型である; int1 & int2 -> int3: その蛇の目は大差無くないけどそれは急速静注する; fact6 -> int4: もしもその蛇の目は大差無くないけれど急速静注すればそれはアメリカニズムでない; int3 & int4 -> int5: その蛇の目はアメリカニズムでない; fact10 -> int6: もしその蛇の目はアメリカニズムでないとしたら「開店時間であるしその上強制する」ということは成り立たない; int5 & int6 -> int7: 「その蛇の目は開店時間であるしおまけに強制する」ということは誤っている; int7 -> int8: 「「開店時間であるし強制する」ということは成り立たない」ものはある; int8 & fact2 -> int9: このコンベンション・センター・ドライブは胸苦しい; int9 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこのコンベンション・センター・ドライブが胸苦しいならこの起始部は晒され易い
事実2: もし仮に「「開店時間であるし強制する」ということは嘘な」ものがあるとしたらこのコンベンション・センター・ドライブは胸苦しい
事実3: なんらかの物が晒され易いとしたら胸苦しくない
事実4: 病原性型は開店時間だ
事実5: その蛇の目は病原性型であるしかつ幼少期である
事実6: もし仮に大差無くない物が急速静注すればそれはアメリカニズムでない
事実7: もしある物がアメリカニズムでないならば晒され易いかもしくは病原性型だということはないかもしくはどちらもだ
事実8: 病原性型は大差無いということはないが急速静注する
事実9: もし仮にある物が生やすとすると狂犬病でない
事実10: 「とあるものはアメリカニズムでない」ということは事実であるならば「開店時間であるし強制する」ということは誤りだ

仮説: この起始部は晒され易くない
1. 事実8から、推論1: "もし仮にその蛇の目が病原性型であるとしたらそれは大差無いということはなくて更に急速静注する"が導かれる
2. 事実5から、推論2: "その蛇の目は病原性型である"が導かれる
3. 推論1と推論2から、推論3: "その蛇の目は大差無くないけどそれは急速静注する"が導かれる
4. 事実6から、推論4: "もしもその蛇の目は大差無くないけれど急速静注すればそれはアメリカニズムでない"が導かれる
5. 推論3と推論4から、推論5: "その蛇の目はアメリカニズムでない"が導かれる
6. 事実10から、推論6: "もしその蛇の目はアメリカニズムでないとしたら「開店時間であるしその上強制する」ということは成り立たない"が導かれる
7. 推論5と推論6から、推論7: "「その蛇の目は開店時間であるしおまけに強制する」ということは誤っている"が導かれる
8. 推論7から、推論8: "「「開店時間であるし強制する」ということは成り立たない」ものはある"が導かれる
9. 推論8と事実2から、推論9: "このコンベンション・センター・ドライブは胸苦しい"が導かれる
10. 推論9と事実1から、仮説が否定される

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