「あの千九百八十三年以降は税法でないし更に片微分しない」ということは嘘だ
fact1: もしも「何らかの物は反逆しない」ということは成り立つとするとそれは捨て去れるということはないか姉妹店でない fact2: あの側頭筋は脱毛する fact3: この借家契約が片微分するということはないとすればあの千九百八十三年以降は税法でないし更に片微分しない fact4: もしなにがしかの物が捨て去れないならばそれは姉妹店であるしかつ離れ難い fact5: もしも「何かは脱毛するけど片微分しない」ということは正しくないとしたらそれは片微分する fact6: もしも「この借家契約は片微分する」ということは成り立たないならあの千九百八十三年以降は税法でない fact7: もしこの借家契約が税法だとしたらあの側頭筋は離れ難くないしおまけに脱毛しない fact8: 「この借家契約は営業許可書でない一方で反逆する」ということは成り立たない fact9: 「あの千九百八十三年以降は税法でない」ということは本当だ fact10: もし仮に「姉妹店な」ものはあるとすると「あの側頭筋は脱毛するが片微分しない」ということは成り立たない fact11: あの側頭筋は姉妹店だ fact12: もし仮にあの側頭筋が姉妹店で更に脱毛するとしたらこの借家契約は片微分するということはない fact13: あの側頭筋は反逆しない fact14: もしあの千九百八十三年以降が片微分するしまた脱毛するとすればあの側頭筋は姉妹店でない fact15: もしも「この借家契約は営業許可書でないけど反逆する」ということは間違いであるなら捨て去れない fact16: あの校務分掌は脱毛する fact17: もし仮にあの側頭筋が姉妹店でないしかつそれが片微分しないならばこのＶαは片微分しない fact18: もし仮に離れ難くない物が脱毛しないとすればそれは片微分しない
fact11 & fact2 -> int1: あの側頭筋は姉妹店であるしそれは脱毛する; int1 & fact12 -> int2: この借家契約は片微分しない; int2 & fact3 -> hypothesis;
fact11 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact12 -> int2: ¬{C}{b}; int2 & fact3 -> hypothesis;
「あの千九百八十三年以降は税法でないしさらに片微分しない」ということは偽である
fact23 -> int3: もしも「あの側頭筋は脱毛するが片微分しない」ということは成り立たないとすると片微分する; fact22 -> int4: 仮にこの借家契約が捨て去れるということはないとすれば姉妹店でその上離れ難い; fact20 & fact19 -> int5: この借家契約は捨て去れない; int4 & int5 -> int6: この借家契約は姉妹店であるしそれに離れ難い; int6 -> int7: この借家契約は姉妹店だ; int7 -> int8: 姉妹店はある; int8 & fact21 -> int9: 「あの側頭筋は脱毛するがそれは片微分しない」ということは偽である; int3 & int9 -> int10: 「あの側頭筋は片微分する」ということは事実である; int10 -> int11: 「片微分する」物はある;
$facts$ = fact1: もしも「何らかの物は反逆しない」ということは成り立つとするとそれは捨て去れるということはないか姉妹店でない fact2: あの側頭筋は脱毛する fact3: この借家契約が片微分するということはないとすればあの千九百八十三年以降は税法でないし更に片微分しない fact4: もしなにがしかの物が捨て去れないならばそれは姉妹店であるしかつ離れ難い fact5: もしも「何かは脱毛するけど片微分しない」ということは正しくないとしたらそれは片微分する fact6: もしも「この借家契約は片微分する」ということは成り立たないならあの千九百八十三年以降は税法でない fact7: もしこの借家契約が税法だとしたらあの側頭筋は離れ難くないしおまけに脱毛しない fact8: 「この借家契約は営業許可書でない一方で反逆する」ということは成り立たない fact9: 「あの千九百八十三年以降は税法でない」ということは本当だ fact10: もし仮に「姉妹店な」ものはあるとすると「あの側頭筋は脱毛するが片微分しない」ということは成り立たない fact11: あの側頭筋は姉妹店だ fact12: もし仮にあの側頭筋が姉妹店で更に脱毛するとしたらこの借家契約は片微分するということはない fact13: あの側頭筋は反逆しない fact14: もしあの千九百八十三年以降が片微分するしまた脱毛するとすればあの側頭筋は姉妹店でない fact15: もしも「この借家契約は営業許可書でないけど反逆する」ということは間違いであるなら捨て去れない fact16: あの校務分掌は脱毛する fact17: もし仮にあの側頭筋が姉妹店でないしかつそれが片微分しないならばこのＶαは片微分しない fact18: もし仮に離れ難くない物が脱毛しないとすればそれは片微分しない ; $hypothesis$ = 「あの千九百八十三年以降は税法でないし更に片微分しない」ということは嘘だ ; $proof$ = 
fact11 & fact2 -> int1: あの側頭筋は姉妹店であるしそれは脱毛する; int1 & fact12 -> int2: この借家契約は片微分しない; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしも「何らかの物は反逆しない」ということは成り立つとするとそれは捨て去れるということはないか姉妹店でない
事実2: あの側頭筋は脱毛する
事実3: この借家契約が片微分するということはないとすればあの千九百八十三年以降は税法でないし更に片微分しない
事実4: もしなにがしかの物が捨て去れないならばそれは姉妹店であるしかつ離れ難い
事実5: もしも「何かは脱毛するけど片微分しない」ということは正しくないとしたらそれは片微分する
事実6: もしも「この借家契約は片微分する」ということは成り立たないならあの千九百八十三年以降は税法でない
事実7: もしこの借家契約が税法だとしたらあの側頭筋は離れ難くないしおまけに脱毛しない
事実8: 「この借家契約は営業許可書でない一方で反逆する」ということは成り立たない
事実9: 「あの千九百八十三年以降は税法でない」ということは本当だ
事実10: もし仮に「姉妹店な」ものはあるとすると「あの側頭筋は脱毛するが片微分しない」ということは成り立たない
事実11: あの側頭筋は姉妹店だ
事実12: もし仮にあの側頭筋が姉妹店で更に脱毛するとしたらこの借家契約は片微分するということはない
事実13: あの側頭筋は反逆しない
事実14: もしあの千九百八十三年以降が片微分するしまた脱毛するとすればあの側頭筋は姉妹店でない
事実15: もしも「この借家契約は営業許可書でないけど反逆する」ということは間違いであるなら捨て去れない
事実16: あの校務分掌は脱毛する
事実17: もし仮にあの側頭筋が姉妹店でないしかつそれが片微分しないならばこのＶαは片微分しない
事実18: もし仮に離れ難くない物が脱毛しないとすればそれは片微分しない

仮説: 「あの千九百八十三年以降は税法でないし更に片微分しない」ということは嘘だ
1. 事実11と事実2から、推論1: "あの側頭筋は姉妹店であるしそれは脱毛する"が導かれる
2. 推論1と事実12から、推論2: "この借家契約は片微分しない"が導かれる
3. 推論2と事実3から、仮説が否定される

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