「「あの労基法等は効果確認でなくてまた甘酸っぱくない」ということは本当である」ということは嘘だ
fact1: あの抗原量は効果確認であるかあるいは齎し易いかあるいは両方である fact2: あの労基法等は問題化するということはないかもしくはそれは敬意であるかまたはどちらもである fact3: 「あのスチールヘッドは重用する」ということは本当だ fact4: もしもあのスチールヘッドが今世でないかグリコサミノグリカンでないとすればあの自在菩薩はグリコサミノグリカンでない fact5: もし仮にあのスチールヘッドが重用するとすれば今世でないかもしくはそれはグリコサミノグリカンでない fact6: もし仮にその七島は染め影像でないかまたは眩いかあるいは両方ともであるなら敬意でない fact7: あの自在菩薩が打っ潰さないしおまけに御考えでないならあの労基法等は打っ潰さない fact8: もし仮にあの労基法等が問題化しないか敬意であるかまたは両方であるとすればそれは効果確認であるということはない fact9: あの労基法等が効果確認ならばその東三条殿は効果確認だ fact10: あの労基法等は甘酸っぱくない fact11: 仮に何かは極楽往生出来ないかまたはそれは御考えであるかもしくはどちらもだとするとそれは打っ潰さない fact12: 甘酸っぱい物はサービス資産でないかまたは敬意であるかあるいは両方だ fact13: あの労基法等はしんどいかもしくは甘酸っぱいかもしくは両方ともである fact14: 仮にとあるものが打っ潰すということはないならば効果確認であるかそれは荒々しい fact15: もし仮にそのキャスターはグリコサミノグリカンだとすると「あのスチールヘッドは犯し易いが極楽往生出来ない」ということは成り立たない fact16: 仮に「あのスチールヘッドは犯し易いがしかしそれは極楽往生出来ない」ということは嘘だとするとあの自在菩薩は荒々しい fact17: 仮にあの自在菩薩がグリコサミノグリカンでないならあの労基法等は御考えだし犯し易い fact18: もし「あの労基法等は荒々しい」ということは確かならばその東三条殿は効果確認だ
fact8 & fact2 -> int1: あの労基法等は効果確認だということはない; int1 & fact10 -> hypothesis;
fact8 & fact2 -> int1: ¬{B}{a}; int1 & fact10 -> hypothesis;
その東三条殿はサービス資産でないかまたは敬意であるかもしくは両方である
fact25 -> int2: その東三条殿が甘酸っぱいとすればそれはサービス資産でないかまたは敬意であるかどちらもだ; fact19 -> int3: あの労基法等が打っ潰さないとしたらそれは効果確認であるかあるいは荒々しいかまたは両方だ; fact20 -> int4: もし仮にあの労基法等が極楽往生出来るということはないか御考えであるとするとそれは打っ潰さない; fact24 & fact21 -> int5: あのスチールヘッドは今世でないかそれはグリコサミノグリカンでない; fact27 & int5 -> int6: あの自在菩薩はグリコサミノグリカンだということはない; fact23 & int6 -> int7: あの労基法等は御考えだししかも犯し易い; int7 -> int8: あの労基法等は御考えだ; int8 -> int9: あの労基法等は極楽往生出来ないかあるいは御考えだ; int4 & int9 -> int10: あの労基法等は打っ潰さない; int3 & int10 -> int11: あの労基法等は効果確認であるかそれは荒々しい; int11 & fact26 & fact22 -> int12: その東三条殿は効果確認である;
$facts$ = fact1: あの抗原量は効果確認であるかあるいは齎し易いかあるいは両方である fact2: あの労基法等は問題化するということはないかもしくはそれは敬意であるかまたはどちらもである fact3: 「あのスチールヘッドは重用する」ということは本当だ fact4: もしもあのスチールヘッドが今世でないかグリコサミノグリカンでないとすればあの自在菩薩はグリコサミノグリカンでない fact5: もし仮にあのスチールヘッドが重用するとすれば今世でないかもしくはそれはグリコサミノグリカンでない fact6: もし仮にその七島は染め影像でないかまたは眩いかあるいは両方ともであるなら敬意でない fact7: あの自在菩薩が打っ潰さないしおまけに御考えでないならあの労基法等は打っ潰さない fact8: もし仮にあの労基法等が問題化しないか敬意であるかまたは両方であるとすればそれは効果確認であるということはない fact9: あの労基法等が効果確認ならばその東三条殿は効果確認だ fact10: あの労基法等は甘酸っぱくない fact11: 仮に何かは極楽往生出来ないかまたはそれは御考えであるかもしくはどちらもだとするとそれは打っ潰さない fact12: 甘酸っぱい物はサービス資産でないかまたは敬意であるかあるいは両方だ fact13: あの労基法等はしんどいかもしくは甘酸っぱいかもしくは両方ともである fact14: 仮にとあるものが打っ潰すということはないならば効果確認であるかそれは荒々しい fact15: もし仮にそのキャスターはグリコサミノグリカンだとすると「あのスチールヘッドは犯し易いが極楽往生出来ない」ということは成り立たない fact16: 仮に「あのスチールヘッドは犯し易いがしかしそれは極楽往生出来ない」ということは嘘だとするとあの自在菩薩は荒々しい fact17: 仮にあの自在菩薩がグリコサミノグリカンでないならあの労基法等は御考えだし犯し易い fact18: もし「あの労基法等は荒々しい」ということは確かならばその東三条殿は効果確認だ ; $hypothesis$ = 「「あの労基法等は効果確認でなくてまた甘酸っぱくない」ということは本当である」ということは嘘だ ; $proof$ = 
fact8 & fact2 -> int1: あの労基法等は効果確認だということはない; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: あの抗原量は効果確認であるかあるいは齎し易いかあるいは両方である
事実2: あの労基法等は問題化するということはないかもしくはそれは敬意であるかまたはどちらもである
事実3: 「あのスチールヘッドは重用する」ということは本当だ
事実4: もしもあのスチールヘッドが今世でないかグリコサミノグリカンでないとすればあの自在菩薩はグリコサミノグリカンでない
事実5: もし仮にあのスチールヘッドが重用するとすれば今世でないかもしくはそれはグリコサミノグリカンでない
事実6: もし仮にその七島は染め影像でないかまたは眩いかあるいは両方ともであるなら敬意でない
事実7: あの自在菩薩が打っ潰さないしおまけに御考えでないならあの労基法等は打っ潰さない
事実8: もし仮にあの労基法等が問題化しないか敬意であるかまたは両方であるとすればそれは効果確認であるということはない
事実9: あの労基法等が効果確認ならばその東三条殿は効果確認だ
事実10: あの労基法等は甘酸っぱくない
事実11: 仮に何かは極楽往生出来ないかまたはそれは御考えであるかもしくはどちらもだとするとそれは打っ潰さない
事実12: 甘酸っぱい物はサービス資産でないかまたは敬意であるかあるいは両方だ
事実13: あの労基法等はしんどいかもしくは甘酸っぱいかもしくは両方ともである
事実14: 仮にとあるものが打っ潰すということはないならば効果確認であるかそれは荒々しい
事実15: もし仮にそのキャスターはグリコサミノグリカンだとすると「あのスチールヘッドは犯し易いが極楽往生出来ない」ということは成り立たない
事実16: 仮に「あのスチールヘッドは犯し易いがしかしそれは極楽往生出来ない」ということは嘘だとするとあの自在菩薩は荒々しい
事実17: 仮にあの自在菩薩がグリコサミノグリカンでないならあの労基法等は御考えだし犯し易い
事実18: もし「あの労基法等は荒々しい」ということは確かならばその東三条殿は効果確認だ

仮説: 「「あの労基法等は効果確認でなくてまた甘酸っぱくない」ということは本当である」ということは嘘だ
1. 事実8と事実2から、推論1: "あの労基法等は効果確認だということはない"が導かれる
2. 推論1と事実10から、仮説が否定される

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