そのレーザービームは寄る辺無くない
fact1: もしもあの周辺技術が相済まないとするとあの当該届け出は着替え為さらないかもしくは侵入し易いかあるいは両方ともだ fact2: このジョグダイヤルは相済まない fact3: もし仮に「あるものは一杯するけどガラス容器でない」ということは成り立たないとするとそれは一杯しない fact4: もしもあの当該届け出が着替え為さらないならあの周辺技術は相済むかあるいはそれは侵入し易い fact5: あの周辺技術は相済まない fact6: もし仮にあの当該届け出が着替え為さるということはないかまたはそれは侵入し易いかあるいは両方ともだとすれば「そのレーザービームは寄る辺無い」ということは真実だ fact7: あるものが一杯しないとすればいじけるということはないけど別居状態だ fact8: それは一杯するけどガラス容器でないという物はない fact9: あの当該届け出は寄る辺無くないか着替え為さるかどちらもである fact10: そのレーザービームは寄る辺無いかまたは相済むかまたはどちらもである fact11: そのレーザービームは相済む fact12: 「この版画用紙は侵入し易い」ということは確かでない fact13: そのレーザービームは着替え為さらない fact14: もし仮にとある物がいじけるということはないがしかし別居状態だとすればそれは黄色っぽい fact15: もしもあの周辺技術が黄色っぽいならそのレーザービームは確認事務でないけれどそれは相済む fact16: その契約書中は侵入し易い fact17: もしもあの当該届け出が侵入し易いならそのレーザービームは寄る辺無い
fact1 & fact5 -> int1: あの当該届け出は着替え為さらないかそれは侵入し易い; int1 & fact6 -> hypothesis;
fact1 & fact5 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact6 -> hypothesis;
そのレーザービームは寄る辺無くない
fact22 -> int2: 「あの当該届け出は一杯するけどそれはガラス容器でない」ということは成り立つということはない; fact18 -> int3: もしも「あの当該届け出は一杯するがしかしガラス容器でない」ということは偽ならそれは一杯しない; int2 & int3 -> int4: あの当該届け出は一杯しない; fact19 -> int5: もしあの当該届け出は一杯しないとすれば「それはいじけなくて更に別居状態である」ということは間違っていない; int4 & int5 -> int6: あの当該届け出はいじけないがしかし別居状態だ; int6 -> int7: 全てはいじけないけど別居状態である; int7 -> int8: あの周辺技術はいじけないけど別居状態だ; fact20 -> int9: あの周辺技術がいじけないがしかし別居状態ならば「黄色っぽい」ということは事実と異ならない; int8 & int9 -> int10: あの周辺技術は黄色っぽい; int10 & fact21 -> int11: そのレーザービームは確認事務でないがしかし相済む;
$facts$ = fact1: もしもあの周辺技術が相済まないとするとあの当該届け出は着替え為さらないかもしくは侵入し易いかあるいは両方ともだ fact2: このジョグダイヤルは相済まない fact3: もし仮に「あるものは一杯するけどガラス容器でない」ということは成り立たないとするとそれは一杯しない fact4: もしもあの当該届け出が着替え為さらないならあの周辺技術は相済むかあるいはそれは侵入し易い fact5: あの周辺技術は相済まない fact6: もし仮にあの当該届け出が着替え為さるということはないかまたはそれは侵入し易いかあるいは両方ともだとすれば「そのレーザービームは寄る辺無い」ということは真実だ fact7: あるものが一杯しないとすればいじけるということはないけど別居状態だ fact8: それは一杯するけどガラス容器でないという物はない fact9: あの当該届け出は寄る辺無くないか着替え為さるかどちらもである fact10: そのレーザービームは寄る辺無いかまたは相済むかまたはどちらもである fact11: そのレーザービームは相済む fact12: 「この版画用紙は侵入し易い」ということは確かでない fact13: そのレーザービームは着替え為さらない fact14: もし仮にとある物がいじけるということはないがしかし別居状態だとすればそれは黄色っぽい fact15: もしもあの周辺技術が黄色っぽいならそのレーザービームは確認事務でないけれどそれは相済む fact16: その契約書中は侵入し易い fact17: もしもあの当該届け出が侵入し易いならそのレーザービームは寄る辺無い ; $hypothesis$ = そのレーザービームは寄る辺無くない ; $proof$ = 
fact1 & fact5 -> int1: あの当該届け出は着替え為さらないかそれは侵入し易い; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもあの周辺技術が相済まないとするとあの当該届け出は着替え為さらないかもしくは侵入し易いかあるいは両方ともだ
事実2: このジョグダイヤルは相済まない
事実3: もし仮に「あるものは一杯するけどガラス容器でない」ということは成り立たないとするとそれは一杯しない
事実4: もしもあの当該届け出が着替え為さらないならあの周辺技術は相済むかあるいはそれは侵入し易い
事実5: あの周辺技術は相済まない
事実6: もし仮にあの当該届け出が着替え為さるということはないかまたはそれは侵入し易いかあるいは両方ともだとすれば「そのレーザービームは寄る辺無い」ということは真実だ
事実7: あるものが一杯しないとすればいじけるということはないけど別居状態だ
事実8: それは一杯するけどガラス容器でないという物はない
事実9: あの当該届け出は寄る辺無くないか着替え為さるかどちらもである
事実10: そのレーザービームは寄る辺無いかまたは相済むかまたはどちらもである
事実11: そのレーザービームは相済む
事実12: 「この版画用紙は侵入し易い」ということは確かでない
事実13: そのレーザービームは着替え為さらない
事実14: もし仮にとある物がいじけるということはないがしかし別居状態だとすればそれは黄色っぽい
事実15: もしもあの周辺技術が黄色っぽいならそのレーザービームは確認事務でないけれどそれは相済む
事実16: その契約書中は侵入し易い
事実17: もしもあの当該届け出が侵入し易いならそのレーザービームは寄る辺無い

仮説: そのレーザービームは寄る辺無くない
1. 事実1と事実5から、推論1: "あの当該届け出は着替え為さらないかそれは侵入し易い"が導かれる
2. 推論1と事実6から、仮説が否定される

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