あのクリスマス用は逆切れするということはないかもしくは街らしいかもしくは両方である
fact1: 「あのクリスマス用は伝わり易い」ということは確かである fact2: もし仮に何かは貴方らしくないとすると「伝わり易いかまたは狡っ辛い」ということは事実と異なる fact3: もしも「なんらかの物は挟撃する」ということは真実だとすれば「逆切れしないか街らしい」ということは真実でない fact4: 仮に何らかの物が挟撃するということはないならば逆切れしないかもしくは街らしいかあるいは両方だ fact5: もし仮に「なんらかの物は伝わり易いかあるいは狡っ辛い」ということは成り立たないならばそれは挟撃しない fact6: もしも「その変更認定申請は通じ易くない」ということは確かであるならそれは御若くない一方で貴方らしい fact7: 仮にその変更認定申請が御若くないけど貴方らしいとしたらあの合同後は貴方らしい fact8: 仮にあのクリスマス用が挟撃するとするとそれは逆切れする fact9: このＳＢが処罰出来ないならその変更認定申請は通じ易くない fact10: もし仮にあの合同後が売れ残るしそれが貴方らしいならあのクリスマス用は貴方らしくない fact11: あのクリスマス用は逆切れする fact12: 何もかもは売れ残るしそれは遊離する fact13: あの不完了体は街らしい fact14: 仮に「このＳＢは乳臭くない一方で狭める」ということは間違っているなら処罰出来ない fact15: あのクリスマス用は挟撃するし伝わり易い
fact15 -> int1: あのクリスマス用は挟撃する; fact3 -> int2: もし仮に「あのクリスマス用は挟撃する」ということは偽でないとすると「それは逆切れしないか街らしいかあるいはどちらもだ」ということは成り立たない; int1 & int2 -> hypothesis;
あのクリスマス用は逆切れしないかまたはそれは街らしいかもしくは両方だ
fact16 -> int3: もしもあのクリスマス用が挟撃しないとしたらそれは逆切れするということはないかそれは街らしいかまたは両方ともだ; fact18 -> int4: もし「あのクリスマス用は伝わり易いかそれは狡っ辛い」ということは成り立たないとするとそれは挟撃しない; fact19 -> int5: もしあのクリスマス用は貴方らしくないなら「伝わり易いか狡っ辛い」ということは成り立たない; fact23 -> int6: あの合同後は売れ残るしまた遊離する; int6 -> int7: あの合同後は売れ残る;
$facts$ = fact1: 「あのクリスマス用は伝わり易い」ということは確かである fact2: もし仮に何かは貴方らしくないとすると「伝わり易いかまたは狡っ辛い」ということは事実と異なる fact3: もしも「なんらかの物は挟撃する」ということは真実だとすれば「逆切れしないか街らしい」ということは真実でない fact4: 仮に何らかの物が挟撃するということはないならば逆切れしないかもしくは街らしいかあるいは両方だ fact5: もし仮に「なんらかの物は伝わり易いかあるいは狡っ辛い」ということは成り立たないならばそれは挟撃しない fact6: もしも「その変更認定申請は通じ易くない」ということは確かであるならそれは御若くない一方で貴方らしい fact7: 仮にその変更認定申請が御若くないけど貴方らしいとしたらあの合同後は貴方らしい fact8: 仮にあのクリスマス用が挟撃するとするとそれは逆切れする fact9: このＳＢが処罰出来ないならその変更認定申請は通じ易くない fact10: もし仮にあの合同後が売れ残るしそれが貴方らしいならあのクリスマス用は貴方らしくない fact11: あのクリスマス用は逆切れする fact12: 何もかもは売れ残るしそれは遊離する fact13: あの不完了体は街らしい fact14: 仮に「このＳＢは乳臭くない一方で狭める」ということは間違っているなら処罰出来ない fact15: あのクリスマス用は挟撃するし伝わり易い ; $hypothesis$ = あのクリスマス用は逆切れするということはないかもしくは街らしいかもしくは両方である ; $proof$ = 
fact15 -> int1: あのクリスマス用は挟撃する; fact3 -> int2: もし仮に「あのクリスマス用は挟撃する」ということは偽でないとすると「それは逆切れしないか街らしいかあるいはどちらもだ」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「あのクリスマス用は伝わり易い」ということは確かである
事実2: もし仮に何かは貴方らしくないとすると「伝わり易いかまたは狡っ辛い」ということは事実と異なる
事実3: もしも「なんらかの物は挟撃する」ということは真実だとすれば「逆切れしないか街らしい」ということは真実でない
事実4: 仮に何らかの物が挟撃するということはないならば逆切れしないかもしくは街らしいかあるいは両方だ
事実5: もし仮に「なんらかの物は伝わり易いかあるいは狡っ辛い」ということは成り立たないならばそれは挟撃しない
事実6: もしも「その変更認定申請は通じ易くない」ということは確かであるならそれは御若くない一方で貴方らしい
事実7: 仮にその変更認定申請が御若くないけど貴方らしいとしたらあの合同後は貴方らしい
事実8: 仮にあのクリスマス用が挟撃するとするとそれは逆切れする
事実9: このＳＢが処罰出来ないならその変更認定申請は通じ易くない
事実10: もし仮にあの合同後が売れ残るしそれが貴方らしいならあのクリスマス用は貴方らしくない
事実11: あのクリスマス用は逆切れする
事実12: 何もかもは売れ残るしそれは遊離する
事実13: あの不完了体は街らしい
事実14: 仮に「このＳＢは乳臭くない一方で狭める」ということは間違っているなら処罰出来ない
事実15: あのクリスマス用は挟撃するし伝わり易い

仮説: あのクリスマス用は逆切れするということはないかもしくは街らしいかもしくは両方である
1. 事実15から、推論1: "あのクリスマス用は挟撃する"が導かれる
2. 事実3から、推論2: "もし仮に「あのクリスマス用は挟撃する」ということは偽でないとすると「それは逆切れしないか街らしいかあるいはどちらもだ」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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