「「もし大きくないとしたら一場面でないかもしくは弛み無くないかあるいは両方ともである」ものはある」ということは正しくない
fact1: もし仮に「あのＡＢＭは大きくない」ということは成り立つとするとそれは一場面であるかもしくはそれは弛み無くないか両方だ fact2: もしもとあるものが大きいということはないとするとそれは一場面であるかまたは弛み無くないかあるいはどちらもである fact3: もしなにがしかのものが大きいということはないとするとそれは一場面でないかあるいは弛み無いかまたは両方である fact4: 「仮に引き替えないならば京都所司代でないかもしくは批評しないかまたは両方な」ものはある fact5: 「もし大きいとしたら一場面でないかもしくは弛み無くない」物はある fact6: 「仮に七十七参照でないなら戻し易くないか転居しないかまたは両方な」物はある fact7: 何らかの物が大きいということはないならばそれは一場面でないかそれは弛み無くない fact8: 大きいものは一場面でないかあるいは弛み無くないかまたは両方ともである fact9: 骨っぽいということはないものは図々しかないか壊れ難いということはないかもしくはどちらもである fact10: 「大きくないとすれば一場面であるかもしくは弛み無いということはない」物はある fact11: 「仮に大きくないとすると一場面でないかもしくは弛み無いかもしくはどちらもである」ものはある fact12: 「もしも「白っぽくない」ということは成り立てば満ち溢れないかもしくは御猿でない」物はある fact13: もしもあのＡＢＭが大きいとしたら一場面でないかまたは弛み無くない fact14: もし何らかのものが欠陥商品だということはないとすればそれは実況録音でないかあるいはそれは一場面でないかもしくは両方ともだ fact15: 「役らしくないとすると御祭りするということはないかもしくは長生き出来るということはないかもしくは両方である」ものはある fact16: もしあのＡＢＭが大きくないならそれは一場面でないか弛み無いか両方である fact17: 「仮に分娩しないとすれば諜報でないかまたは白帆でないか両方ともな」ものはある fact18: 何かは増補しないとすると素描するかフォーマットでない
fact7 -> int1: あのＡＢＭが大きくないとすれば一場面でないかあるいは弛み無くないかどちらもである; int1 -> hypothesis;
もしもあのＡＢＭが欠陥商品であるということはないとすれば実況録音でないかもしくはそれは一場面でない
fact19 -> hypothesis;
$facts$ = fact1: もし仮に「あのＡＢＭは大きくない」ということは成り立つとするとそれは一場面であるかもしくはそれは弛み無くないか両方だ fact2: もしもとあるものが大きいということはないとするとそれは一場面であるかまたは弛み無くないかあるいはどちらもである fact3: もしなにがしかのものが大きいということはないとするとそれは一場面でないかあるいは弛み無いかまたは両方である fact4: 「仮に引き替えないならば京都所司代でないかもしくは批評しないかまたは両方な」ものはある fact5: 「もし大きいとしたら一場面でないかもしくは弛み無くない」物はある fact6: 「仮に七十七参照でないなら戻し易くないか転居しないかまたは両方な」物はある fact7: 何らかの物が大きいということはないならばそれは一場面でないかそれは弛み無くない fact8: 大きいものは一場面でないかあるいは弛み無くないかまたは両方ともである fact9: 骨っぽいということはないものは図々しかないか壊れ難いということはないかもしくはどちらもである fact10: 「大きくないとすれば一場面であるかもしくは弛み無いということはない」物はある fact11: 「仮に大きくないとすると一場面でないかもしくは弛み無いかもしくはどちらもである」ものはある fact12: 「もしも「白っぽくない」ということは成り立てば満ち溢れないかもしくは御猿でない」物はある fact13: もしもあのＡＢＭが大きいとしたら一場面でないかまたは弛み無くない fact14: もし何らかのものが欠陥商品だということはないとすればそれは実況録音でないかあるいはそれは一場面でないかもしくは両方ともだ fact15: 「役らしくないとすると御祭りするということはないかもしくは長生き出来るということはないかもしくは両方である」ものはある fact16: もしあのＡＢＭが大きくないならそれは一場面でないか弛み無いか両方である fact17: 「仮に分娩しないとすれば諜報でないかまたは白帆でないか両方ともな」ものはある fact18: 何かは増補しないとすると素描するかフォーマットでない ; $hypothesis$ = 「「もし大きくないとしたら一場面でないかもしくは弛み無くないかあるいは両方ともである」ものはある」ということは正しくない ; $proof$ = 
fact7 -> int1: あのＡＢＭが大きくないとすれば一場面でないかあるいは弛み無くないかどちらもである; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に「あのＡＢＭは大きくない」ということは成り立つとするとそれは一場面であるかもしくはそれは弛み無くないか両方だ
事実2: もしもとあるものが大きいということはないとするとそれは一場面であるかまたは弛み無くないかあるいはどちらもである
事実3: もしなにがしかのものが大きいということはないとするとそれは一場面でないかあるいは弛み無いかまたは両方である
事実4: 「仮に引き替えないならば京都所司代でないかもしくは批評しないかまたは両方な」ものはある
事実5: 「もし大きいとしたら一場面でないかもしくは弛み無くない」物はある
事実6: 「仮に七十七参照でないなら戻し易くないか転居しないかまたは両方な」物はある
事実7: 何らかの物が大きいということはないならばそれは一場面でないかそれは弛み無くない
事実8: 大きいものは一場面でないかあるいは弛み無くないかまたは両方ともである
事実9: 骨っぽいということはないものは図々しかないか壊れ難いということはないかもしくはどちらもである
事実10: 「大きくないとすれば一場面であるかもしくは弛み無いということはない」物はある
事実11: 「仮に大きくないとすると一場面でないかもしくは弛み無いかもしくはどちらもである」ものはある
事実12: 「もしも「白っぽくない」ということは成り立てば満ち溢れないかもしくは御猿でない」物はある
事実13: もしもあのＡＢＭが大きいとしたら一場面でないかまたは弛み無くない
事実14: もし何らかのものが欠陥商品だということはないとすればそれは実況録音でないかあるいはそれは一場面でないかもしくは両方ともだ
事実15: 「役らしくないとすると御祭りするということはないかもしくは長生き出来るということはないかもしくは両方である」ものはある
事実16: もしあのＡＢＭが大きくないならそれは一場面でないか弛み無いか両方である
事実17: 「仮に分娩しないとすれば諜報でないかまたは白帆でないか両方ともな」ものはある
事実18: 何かは増補しないとすると素描するかフォーマットでない

仮説: 「「もし大きくないとしたら一場面でないかもしくは弛み無くないかあるいは両方ともである」ものはある」ということは正しくない
1. 事実7から、推論1: "あのＡＢＭが大きくないとすれば一場面でないかあるいは弛み無くないかどちらもである"が導かれる
2. 推論1から、仮説が否定される

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